A modern and easy to read CDCL SAT solver written in Rust.
Primary LanguageRustGNU General Public License v3.0GPL-3.0