A simple DPLL implementation written in Haskell.
Primary LanguageHaskell
No issues in this repository yet.