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/
