-*- 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