2 releases
| 0.1.1 | Oct 18, 2020 |
|---|---|
| 0.1.0 | Oct 17, 2020 |
#28 in #satisfiability
45 downloads per month
Used in solhop
6KB
95 lines
msat
MaxSAT Solver.
Coming soon!
This projetct is still in development. The APIs can change before the first stable release v1.0.0.
License
lib.rs:
MaxSAT Solver
Dependencies
~5MB
~90K SLoC