Class ASPParserExample

java.lang.Object
org.tweetyproject.lp.asp.examples.ASPParserExample

public class ASPParserExample extends Object
Examples for parsing programs in Clingo and DLV syntax and using the respective solvers to solve them.
Tested with clingo 5.4.0 and DLV dec-17-2012
Author:
Anna Gessler