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
gelfondize.py

README.md

The following tools are required:

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

$ ./gelfondize.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
p(1) p(2) p(4)
Answer: 2

Answer: 3
p(1)
Answer: 4
p(2)
SATISFIABLE

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

To use wasp as the back-end ASP solver, run the following:

$ ./gelfondize.py example1.asp | wasp -n=0
WASP 2.0

{}
{p(2)}
{p(2), p(1), p(4)}
{p(1)}

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

$ ./gelfondize.py -g /path/to/gringo example1.asp

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