File: README

package info (click to toggle)
gringo 4.4.0-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 8,260 kB
  • ctags: 10,755
  • sloc: cpp: 55,049; python: 629; yacc: 569; sh: 124; makefile: 23
file content (9 lines) | stat: -rw-r--r-- 401 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
 
This example shows how to use the atoms method to inspect a model found by
clasp.  You can inspect the answer set as well as the assignment that lead to
the model.  Note that there are no guarantees regarding atoms not part of an
answer set because due to simplifications some of them might be removed from
the assignment altogether.

Example calls:
    clingo onmodel-py.lp
    clingo onmodel-lua.lp