Class OptimizeExample
- java.lang.Object
-
- org.tweetyproject.lp.asp.examples.OptimizeExample
-
public class OptimizeExample extends java.lang.Object
An example for using optimization statements, taken from the clingo guide, chapter 3.1.13 https://github.com/potassco/guide.- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description OptimizeExample()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws java.io.IOException, ParseException, SolverException
- Throws:
java.io.IOException
ParseException
SolverException
-
-