Class MimusMusEnumerator

java.lang.Object
All Implemented Interfaces:
BeliefSetConsistencyTester<PlFormula>, ConsistencyTester<BeliefSet<PlFormula,?>>, MusEnumerator<PlFormula>

public class MimusMusEnumerator extends PlMusEnumerator
Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html). Tested with version 1.0.5.
Author:
Matthias Thimm