Class ASPExample
- java.lang.Object
-
- org.tweetyproject.lp.asp.examples.ASPExample
-
public class ASPExample extends java.lang.Object
Example code for creating ASP programs and calling the clingo solver. SeeASPCore2ParserExample
for how to quickly parse the same examples using the parser. Tested with clingo 5.2.2- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description ASPExample()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
-