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 (8 lines) | stat: -rw-r--r-- 316 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
 
This example shows how to use the enumeration assumption. Note that calls to
solve are only repeatable if this assumption is enabled. If it is disabled, an
(implementation dependend) subset of the clauses learnt during enumeration of
solutions is kept.

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