SAT solver unsatisfiability proof checker written in Lambda Prolog
Primary LanguagePython
No one’s star this repository yet.