Download Latest Version clingo-4.5.4-source.tar.gz (1.7 MB)
Email in envelope

Get an email when there's a new version of Potassco

Home / gringo / 4.5.2
Name Modified Size InfoDownloads / Week
Parent folder
gringo-4.5.2-source.tar.gz 2015-08-05 1.7 MB
0
gringo-4.5.2-win64.zip 2015-08-05 2.5 MB
0
gringo-4.5.2-linux-x86_64.tar.gz 2015-08-05 3.6 MB
0
gringo-4.5.2-macos-10.9.tar.gz 2015-08-05 6.6 MB
0
README 2015-08-05 1.2 kB
0
Totals: 5 Items   14.4 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.2:

  * fixed memory leak in python API when enumerating models
  * updated to clasp version 3.1.3
Source: README, updated 2015-08-05