1 unstable release

0.1.0 Oct 18, 2020

#30 in #satisfiability

MIT license

10KB
162 lines

SolHOP

TODO

License

MIT


lib.rs:

SAT and MaxSAT Solver

Dependencies

~8MB
~140K SLoC