/SAT-solver

Basic SAT solver implemented in Haskell via DPLL algorithm.

Primary LanguageHaskell

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