SAT-solver Basic SAT solver implemented in Haskell via DPLL algorithm. Runtime example: runhaskell dimacs.hs "formula_inputEx.txt" "solution.txt" Prequisites: Haskell ghc version 8.0.2