Just good ol' minisat with some quality of life improvements and weak/strong assumptions
Primary LanguageC++MIT LicenseMIT