1 unstable release
| 0.1.0 | Apr 6, 2019 |
|---|
#37 in #sat-solver
5.5MB
204 lines
Acheron
Acheron is a SAT solver written in Rust. It implements DPLL with pure-literal elimination.
| 0.1.0 | Apr 6, 2019 |
|---|
#37 in #sat-solver
5.5MB
204 lines
Acheron is a SAT solver written in Rust. It implements DPLL with pure-literal elimination.