Class MaxSatExample

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

public class MaxSatExample extends Object
Illustrates the use of MaxSAT solvers.
Author:
Matthias Thimm