A toy DPLL based SAT solver written in Rust.
$ git clone https://github.com/taiyoslime/rs3
$ cd rs3
$ cargo build --release
supports DIMACS CNF format as input.
$ cargo --release run -- examples/1.cnf
(snip)
s SATISFIABLE
v -1 -2 3 4
$ cargo --release run -- examples/2.cnf
(snip)
s UNSATISFIABLE