Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
README.md
example1.asp
example2.asp
example3.asp
example4.asp
example5.asp
example6.asp
example7.asp
example8.asp
f-aggregates.py
scc.py

README.md

The following tools are required:

To compute all F-stable models of program example1.asp, use the following command-line:

$ ./f-aggregates.py example1.asp | clasp 0

If everything is OK, you should see the following output:

clasp version 3.1.1
Reading from stdin
Solving...
Answer: 1
var(exists,x1,1) var(exists,x2,2) var(forall,y1,2) var(forall,y2,3) int(5) unequal true(forall,y2,3) true(forall,y1,2) true(exists,x1,1)
SATISFIABLE

Models       : 1     
Calls        : 1
Time         : 0.001s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.000s

If command 'gringo' is not in the PATH, use the -g flag:

$ ./f-aggregates.py -g /path/to/gringo example1.asp

Flags for gringo can also be specified (at the end of the command line).