Branch: master
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.adf
example2.adf
example3.adf
example4.adf
example5.adf
example6.adf
pyglaf.py
s-stable-models.py

README.md

The following tools are required:

To compute all S-stable models of ADF example3.adf, use the following command-line:

$ s-stable-models.fy example3.asp | clasp 0

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

clasp version 3.1.1
Reading from stdin
Solving...
Answer: 1
true(p)
Answer: 2
true(a)
SATISFIABLE

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