FRDCSA
Minor
Internal
External
Git
Packages
gringo-4.5.4
Jump To:
Parent Description
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.