Potassco Files

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 that 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
  - 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/

Changes in gringo/clingo 4.5.1:

  * ground term parser returns None/nil for undefined terms now
  * added warning if a global variable occurs in a tuple of an aggregate element
  * added auto detection of libraries
  * changed option --update-domains into API function Control:cleanup_domains
  * fixed domain cleanup when used with minimize constraints
  * fixed grounding of recursive disjunctions (regression in 4.5.0)
  * fixed Control.stats in lua bindings
  * fixed a bug in clingo that would print 0-ary classically negated atoms wrongly