Package org.tweetyproject.lp.asp.examples

package org.tweetyproject.lp.asp.examples

Classes

Class	Description
AggregateExample	Some more examples on how aggregates work.
ASPExample	Example code for creating basic ASP programs and calling solvers and grounders.
ASPParserExample	Examples for parsing programs in Clingo and DLV syntax and using the respective solvers to solve them.
GrounderExample	GrounderExample class
OptimizeExample	An example for using optimization statements, taken from the clingo guide, chapter 3.1.13 https://github.com/potassco/guide.