FRDCSA
Minor
Internal
External
Git
Packages
clingo-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.