1 unstable release
0.1.0 | Oct 18, 2020 |
---|
#30 in #satisfiability
10KB
162 lines
SolHOP
TODO
License
lib.rs
:
SAT and MaxSAT Solver
Dependencies
~8MB
~140K SLoC
0.1.0 | Oct 18, 2020 |
---|
#30 in #satisfiability
10KB
162 lines
TODO
lib.rs
:
SAT and MaxSAT Solver
~8MB
~140K SLoC