dbueno / funsat
- Source
- Commits
- Network (2)
- Issues (0)
- Downloads (5)
- Wiki (1)
- Graphs
-
Branch:
gen-resolution-trace
An efficient, embeddable DPLL SAT solver in Haskell
funsat /
| name | age | message | |
|---|---|---|---|
 |
.gitignore | Loading commit data...  |
|
| |
ClauseTrie.hs | ||
 |
Control/ | ||
| |
Data/ | ||
| |
Funsat/ | ||
| |
LICENSE | ||
| |
Main.hs | ||
| |
Makefile | ||
| |
Permute.hs | ||
| |
README | ||
| |
README.benchmark | ||
| |
Setup.hs | Fri Jun 06 07:32:36 -0700 2008 | |
| |
Text/ | ||
| |
bench-results/ | Thu May 08 06:24:36 -0700 2008 | |
| |
bench/ | ||
| |
bitset/ | ||
| |
bm.sh | ||
| |
cnf/ | ||
| |
doc/ | Fri Jun 06 14:43:14 -0700 2008 | |
| |
dsat.prof.current | ||
| |
fiblib/ | ||
| |
funsat.cabal | ||
| |
sat-micro/ | ||
| |
sm | ||
| |
test | ||
| |
tests.sh | ||
| |
tests/ | ||
| |
todo.org |
README
-*- 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
