Scuttle
A multi-objective MaxSAT solver with multiple algorithms implemented.
- Coverage
- 75.49%
154 out of 204 items documented0 out of 98 items with examples - Size
- Source code size: 1.19 MB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 2.9 MB This is the summed size of all files generated by rustdoc for all configured targets
- Links
-
chrjabs/scuttle
5 1 0 - crates.io
- Dependencies
- Versions
- Owners
-