sat-simple

A high-level wrapper over minisat.

A high-level wrapper over minisat.

This package differs from @ersatz@ in few ways:

• The interface resembles ST monad, with SAT monad and literals Lit are indexed by a scope s type argument.

• sat-simple uses minisat's library in incremental way, instead of encoding to DIMACS format and spawning processes. (ersatz can be made to use minisat library as well, but it cannot use incrementality AFAICT).

• sat-simple has less encodings built-in

• sat-simple is hopefully is indeed simpler to use.