The funsat package

Funsat is a native Haskell SAT solver that uses modern techniques for solving SAT instances. Current features include two-watched literals, conflict-directed learning, non-chronological backtracking, a VSIDS-like dynamic variable ordering, and restarts. It is possible to use funsat both as a library and as a standalone executable.

Properties

Versions	0.4, 0.5, 0.5.1, 0.5.2, 0.6.0, 0.6.1, 0.6.2
Dependencies	array, base, bitset, containers, fgl, mtl, parse-dimacs, parsec, pretty, QuickCheck, random, time
License	LGPL
Author	Denis Bueno
Maintainer	Denis Bueno <dbueno@gmail.com>
Stability	alpha
Category	Algorithms
Executables	funsat
Upload date	Fri Jun 6 14:45:44 UTC 2008
Uploaded by	DenisBueno
Built on	ghc-6.8
Build failure	ghc-6.10 (log), ghc-6.12 (log)

Modules

Control
- Monad
  - Control.Monad.MonadST
DPLL
- DPLL.Monad
Funsat
- Funsat.Solver
Text
- Text.Tabular

Downloads

funsat-0.4.tar.gz (Cabal source package)
package description (included in the package)