blob: 8bf206b69ccec7f863f0a6118c57da8a1c515129 (
plain) (
tree)
|
|
Current answer set solvers work on variable-free programs. Hence, a grounder is
needed that, given an input program with first-order variables, computes an
equivalent ground (variable-free) program. Gringo is such a grounder. Its
output can be processed further with clasp.
WWW: http://potassco.sourceforge.net/
|
