A debuggable automatic theorem prover for boolean satisfiability problems (SAT).
Primary LanguageRustMIT LicenseMIT