Package org.tweetyproject.lp.asp.examples
-
Class Summary Class Description AggregateExample Some more examples on how aggregates work.ASPCore2ParserExample Examples for parsing simple ELP programs and for using Clingo to solve them.ASPExample Example code for creating ASP programs and calling the clingo solver.OptimizeExample An example for using optimization statements, taken from the clingo guide, chapter 3.1.13 https://github.com/potassco/guide.