1 unstable release
| 0.1.0 | Oct 18, 2020 |
|---|
#41 in #sat
10KB
162 lines
SolHOP
TODO
License
lib.rs:
SAT and MaxSAT Solver
Dependencies
~6.5–8.5MB
~147K SLoC
| 0.1.0 | Oct 18, 2020 |
|---|
#41 in #sat
10KB
162 lines
TODO
lib.rs:
SAT and MaxSAT Solver
~6.5–8.5MB
~147K SLoC