2 releases
| 0.1.1 | Oct 18, 2020 |
|---|---|
| 0.1.0 | Oct 17, 2020 |
#28 in #satisfiability
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
~4.5–6.5MB
~116K SLoC