Uses of Class
org.sat4j.tools.ModelIterator

Packages that use ModelIterator

Package	Description
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of ModelIterator in org.sat4j.tools

Subclasses of ModelIterator in org.sat4j.tools

Modifier and Type	Class and Description
class	ModelIteratorToSATAdapter This class allow to use the ModelIterator class as a solver.