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 small utility that reifies logic program, 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.0:

  * fixed grounding of recursive aggregates
  * fixed usage of lua_next
  * fixed bug when applying constant definitions
  * updated underlying clasp to version 3.1.1
  * added support for negation in front of relation literals
  * added option --update-domains to cleanup gringo's domains
    using clasp's top-level assignment when solving incrementally
  * added domain inspection to scripting interface
  * added term parser to scripting interface
  * added support for python 3 (experimental)
  * added support for one elementary tuples
  * added support for unary - operator in front of functions and symbols
  * added support for recursive nonmonotone aggregate via translation
  * added program reify to reify logic programs
  * added option to rewrite minimize constaints for use with reify
  * changed inbuilt iclingo mode
    (breaks backwards compatibility)
  * changed handling of pools, intervals, and undefined operations according to AG
    (breaks backwards compatibility)
  * changed handling of ==, it is treated like = now
  * changed SolveFuture.interrupt to SolveFuture.cancel
    (breaks backwards compatibility)