A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Primary LanguageRustOtherNOASSERTION