1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
Gringo is a grounder that, given an input program with first-order variables,
computes an equivalent ground (variable-free) program. Its output can be
processed further with answer set solvers like clasp, cmodels, or smodels.
Clingo combines both gringo and clasp into a monolithic system. This way it
offers more control over the grounding and solving process than gringo and
clasp can offer individually - e.g., incremental grounding and solving.
The Python gringo module offers the functionality of clingo in form of a Python
module.
Please consult the following resources for further information:
- CHANGES: changes between different releases
- INSTALL: installation instructions and software requirements
- NOTES: some notes on gringo/clingo's input language
- examples: a folder with examples each having a focus on certain features
(many examples require clingo)
For more information please visit the project website:
http://potassco.sourceforge.net/
|
