Binary package “gringo” in ubuntu xenial
grounding tools for (disjunctive) logic programs
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.
.
This package contains the following tools:
.
- gringo: creates lparse-compatible variable-free programs.
- clingo: stands for clasp on gringo and combines both systems in
a monolithic way. Its input language is that of gringo and its
output corresponds to that of clasp.
- reify: small utility that reifies logic program, given in smodels
format. It produces a set of facts that can be processed further
with gringo.
Source package
Published versions
- gringo 4.5.4-1 in amd64 (Proposed)
- gringo 4.5.4-1 in amd64 (Release)
- gringo 4.5.4-1 in arm64 (Proposed)
- gringo 4.5.4-1 in arm64 (Release)
- gringo 4.5.4-1 in armhf (Proposed)
- gringo 4.5.4-1 in armhf (Release)
- gringo 4.5.4-1 in i386 (Proposed)
- gringo 4.5.4-1 in i386 (Release)
- gringo 4.5.4-1 in powerpc (Proposed)
- gringo 4.5.4-1 in powerpc (Release)
- gringo 4.5.4-1 in ppc64el (Proposed)
- gringo 4.5.4-1 in ppc64el (Release)
- gringo 4.5.4-1 in s390x (Proposed)
- gringo 4.5.4-1 in s390x (Release)