incremental-sat-solver for Mac Publisher's description
from Sebastian Fischer
Simple, Incremental SAT Solving as a Haskell library
incremental-sat-solver is a free and open source Haskell library that provides an implementation of the Davis-Putnam-Logemann-Loveland algorithm for the boolean satisfiability problem.
incremental-sat-solver not only allows to solve boolean formulas in one go but also to add constraints and query bindings of variables incrementally.
System Requirements:В· GHC
Program Release Status: Minor Update
Program Install Support: Install and Uninstall