Description
Provides a Haskell bundle of the Minisat SAT solver. SAT solvers determine whether a logical formula can be satisfied, which is useful for constraint solving and verification.
It is useful for research tools, analyzers, planners, package solving, and applications that encode problems as boolean constraints. It is a developer library, not a general graphical solver.