Class MinimalInconsistentSubsetExample

java.lang.Object
org.tweetyproject.logics.pl.examples.MinimalInconsistentSubsetExample

public class MinimalInconsistentSubsetExample extends Object
Example code illustrating the use of MUS enumerators.
Author:
Matthias Thimm