A basic SAT solver implementation for the Logics in Informatics course
Primary LanguageC++MIT LicenseMIT