Lib
.rs
›
Science
›
Math
#
sat-solver
#
sat
#
solver
bin+lib
acheron
Owned
by
Robbie McKinstry
.
Install
API reference
GitHub repo
(
robbiemckinstry
)
1 unstable release
0.1.0
Apr 6, 2019
#
40
in
#sat
MIT
license
5.5MB
204
lines
A simple SAT solver
Dependencies
clap
2.32
im
12.3