📦 gringo

6 pages

C

  • clingo(1)a combination of clasp and gringo✨

G

  • gringo(1)a grounder for non-ground logic programs✨

I

L

  • lpconvert(1)converter between gringo's aspif and smodels format✨

O

R

  • reify(1)a small utility that reifies logic programs✨