gringo 4.2.1-4 source package in Ubuntu
Changelog
gringo (4.2.1-4) unstable; urgency=low * Bug fix: "add ppc64el to architecture list for libtbb-dev to fix FTBFS", thanks to Logan Rosen (Closes: #735005). -- Thomas Krennwallner <email address hidden> Sun, 12 Jan 2014 19:22:44 +0100
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Trusty | release | universe | interpreters |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gringo_4.2.1-4.dsc | 2.0 KiB | d066ff00c66ca4f7e1c088f1519082c0af9e7164a354378a30059b97eb8edbb1 |
gringo_4.2.1.orig.tar.gz | 601.3 KiB | 24da7958ca6c4f41a3df43ca786059926057289d5f01bfd22e6d9483977c0581 |
gringo_4.2.1-4.debian.tar.gz | 8.7 KiB | 3d75b50e1024c77d5005b169cee1cb4cc8b5436b76e95db1c2a0b6a5d6b1dfb6 |
Available diffs
- diff from 4.2.1-3ubuntu1 (in Ubuntu) to 4.2.1-4 (636 bytes)
No changes file available.
Binary packages built by this source
- gringo: 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.
- iclingo: an incremental answer set programming system, which is
based on the idea that the grounder as well as the solver are
implemented in a stateful way. Thus, both keep their previous states
while increasing an incremental parameter. As regards grounding, at
each incremental step, the goal is to produce only ground rules
stemming from the current program slice, without re-producing
previous ground rules. The ground program slices are then gradually
passed to the solver that accumulates ground rules and computes
answer sets for them.
- oclingo: a system for reactive answer set programming, extending
gringo and clasp for handling external modules provided at runtime
by a controller.