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
This repository is not active