gringo-4.5.4


  • 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.