diff options
Diffstat (limited to 'math/gringo/pkg-descr')
| -rw-r--r-- | math/gringo/pkg-descr | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/math/gringo/pkg-descr b/math/gringo/pkg-descr new file mode 100644 index 000000000000..8bf206b69cce --- /dev/null +++ b/math/gringo/pkg-descr @@ -0,0 +1,6 @@ +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/ |