CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.
Primary LanguageRustOtherNOASSERTION