The incremental-sat-solver package

[Tags: bsd3, library]

This Haskell library provides an implementation of the Davis-Putnam-Logemann-Loveland algorithm (cf. http://en.wikipedia.org/wiki/DPLL_algorithm) for the boolean satisfiability problem. It not only allows to solve boolean formulas in one go but also to add constraints and query bindings of variables incrementally.


Properties

Versions0.1, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.1.7
Dependenciesbase, containers, mtl
LicenseBSD3
AuthorSebastian Fischer
Maintainersebf@informatik.uni-kiel.de
Stabilityexperimental
CategoryAlgorithms
Home pagehttp://github.com/sebfisch/incremental-sat-solver
Bug trackermailto:sebf@informatik.uni-kiel.de
Source repositoryhead: git clone git://github.com/sebfisch/incremental-sat-solver.git
Upload dateSat Jan 31 21:48:08 UTC 2009
Uploaded bySebastianFischer
Downloads571 total (45 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees