mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-16 03:24:07 +00:00
7 lines
313 B
Plaintext
7 lines
313 B
Plaintext
|
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/
|