The funsat package

[Tags: bsd3, library, program]

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

Versions0.4, 0.5, 0.5.1, 0.5.2, 0.6.0, 0.6.1, 0.6.2
Dependenciesarray, base, bitset, containers, fgl, mtl, parse-dimacs, parsec, pretty, QuickCheck, random, time
LicenseLGPL
AuthorDenis Bueno
MaintainerDenis Bueno <dbueno@gmail.com>
Stabilityalpha
CategoryAlgorithms
Executablesfunsat
Upload dateFri Jun 6 14:45:44 UTC 2008
Uploaded byDenisBueno
Downloads590 total (53 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees