Just good ol' minisat with some quality of life improvements and weak/strong assumptions
Primary LanguageC++MIT LicenseMIT
No issues in this repository yet.