gringo binary package in Ubuntu Xenial powerpc
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-12-21 10:44:50 UTC | Published | Ubuntu Xenial powerpc | release | universe | interpreters | Optional | 4.5.4-1 | ||
|
|||||||||
Deleted | Ubuntu Xenial powerpc | proposed | universe | interpreters | Optional | 4.5.4-1 | |||
|
|||||||||
2015-12-21 10:45:06 UTC | Superseded | Ubuntu Xenial powerpc | release | universe | interpreters | Optional | 4.5.3-1 | ||
|
|||||||||
2015-12-22 12:10:09 UTC | Deleted | Ubuntu Xenial powerpc | proposed | universe | interpreters | Optional | 4.5.3-1 | ||
|
|||||||||
2015-10-25 05:50:38 UTC | Superseded | Ubuntu Xenial powerpc | release | universe | interpreters | Optional | 4.5.1-1 | ||
|