A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Primary LanguageRustMIT LicenseMIT
No one’s star this repository yet.