2 releases
| 0.1.1 | Oct 18, 2020 |
|---|---|
| 0.1.0 | Oct 17, 2020 |
#9 in #max-sat
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
Dependencies
~4–5.5MB
~96K SLoC