msat 0.1.1

MaxSAT Solver

Coverage
100%
2 out of 2 items documented0 out of 1 items with examples
Size
Source code size: 13.09 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 1.64 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 27s Average build duration of successful builds.
all releases: 27s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
solhop/msat
0 0 0
crates.io
Dependencies
- rsat =0.1.12 normal
- solhop-types =0.1.0 normal
Versions
- 0.1.1 (2020-10-18)
- 0.1.0 (2020-10-17)
Owners

msat

MaxSAT Solver.

Coming soon!

This projetct is still in development. The APIs can change before the first stable release v1.0.0.

License