gringo-dbgsym 4.5.4-4 (arm64 binary) in ubuntu zesty
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.
Details
- Package version:
- 4.5.4-4
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
arm64 build of gringo 4.5.4-4 in ubuntu zesty PROPOSED produced
these files:
- gringo-dbgsym_4.5.4-4_arm64.ddeb (19.3 MiB)
Package relationships
- Depends on: