7443d345f9
Port changes: * Maintainer reset based on 6.5 months timeout * Use DISTVERSION * Add LICENSE_FILE * Add USES=python:2.7 * Remove '+' from '+=' where they aren't needed * Update WWW to anew address PR: 225131 Submitted by: Nathan <ndowens.fbsd@yandex.com> Approved by: vsevolod@FreeBSD.org (maintainer's timeout 6.5 months)
7 lines
302 B
Plaintext
7 lines
302 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: https://potassco.org/
|