| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| gringo-4.5.3-linux-x86_64.tar.gz | 2015-09-21 | 3.6 MB | |
| gringo-4.5.3-macos-10.9.tar.gz | 2015-09-21 | 6.6 MB | |
| gringo-4.5.3-source.tar.gz | 2015-09-21 | 1.7 MB | |
| gringo-4.5.3-win64.zip | 2015-09-21 | 2.7 MB | |
| README | 2015-09-21 | 1.3 kB | |
| Totals: 5 Items | 14.6 MB | 0 | |
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 and Lua gringo modules offer the functionality of clingo in the
respective scripting language.
Reify is a small utility that reifies logic programs given in smodels format.
It produces a set of facts, which can be processed further with gringo.
Please consult the following resources for further information:
- CHANGES: changes between different releases
- INSTALL: installation instructions and software requirements
- 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/
Changes in gringo/clingo 4.5.3:
* fixed regression w.r.t gringo 4.4 in translation of conditional literals
* fixed projection in incremental programs
* fixed bug with (double) negative literals in minimize constraints