Uses of Class
org.sat4j.tools.AbstractMinimalModel

Packages that use AbstractMinimalModel

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

Uses of AbstractMinimalModel in org.sat4j.tools

Subclasses of AbstractMinimalModel in org.sat4j.tools

Modifier and Type	Class and Description
class	Minimal4CardinalityModel Computes models with a minimal number (with respect to cardinality) of negative literals.
class	Minimal4InclusionModel Computes models with a minimal subset (with respect to set inclusion) of negative literals.