Package | Description |
---|---|
net.sf.tweety.logics.pl.sat |
Modifier and Type | Class and Description |
---|---|
class |
MarcoMusEnumerator
Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/).
|
class |
MimusMusEnumerator
Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html).
|