Package | Description |
---|---|
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.
|