@hackage funsat0.5

A modern DPLL-style SAT solver

-- mode: outline --

  • A DPLL-style SAT solver in pure Haskell Install using the typical Cabal procedure:

$ ./Setup.lhs configure $ ./Setup.lhs build

This will produce a binary called funsat at ./dist/build/funsat/funsat and a standalone library interface for the solver. If you feel like profiling the code, uncomment the profiling executable in funsat.cabal, and a profiling binary will automatically be built in ./dist/build/funsat-prof/funsat-prof.

** Dependencies All the dependences are cabal-ised and available from hackage. URLs below.

They're also available in subdirectories.

*** parse-dimacs [cnf] A haskell CNF file parser.

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parse-dimacs

*** bitset [bitset] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bitset