A simple SAT solver
Primary LanguageRust
Acheron is a SAT solver written in Rust. It implements DPLL with pure-literal elimination.