/Certified-SAT-solver

This is a certified (verified) boolean formula solver (SAT solver).

Primary LanguageCoqCreative Commons Zero v1.0 UniversalCC0-1.0

No issues in this repository yet.