SE547: BDDs: Logical Satisfaction [7/22] Previous pageContentsNext page

Logical satisfaction is solved by SAT-solvers.

High-quality production SAT-solvers exist Chaff, zChaff, ... See

We have success stories of using zChaff to solve problems with more than one million variables and 10 million clauses.
    -- zChaff web site

A common simple solution is binary decision diagrams.

Try it... contains a BDD-based file:simplebdd/test/ [source] [doc-public] [doc-private] class.

Previous pageContentsNext page