1 unstable release

0.1.0 Apr 6, 2019

#36 in #sat

MIT license

5.5MB
204 lines


A simple SAT solver

Dependencies