gringo 4.5.3-1 source package in Ubuntu
Changelog
gringo (4.5.3-1) unstable; urgency=medium * Imported Upstream version 4.5.3 -- Thomas Krennwallner <email address hidden> Sat, 26 Sep 2015 09:31:03 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gringo_4.5.3-1.dsc | 2.0 KiB | cd350862fc4e1b2284193ff43498048efcbda61e91b7cd67e914994570c1129d |
gringo_4.5.3.orig.tar.gz | 1.6 MiB | feb53913e697052e45c0d3a75ab9d2bb097abf6751caf452df3afa4376298825 |
gringo_4.5.3-1.debian.tar.xz | 6.3 KiB | f59e90743e3162286f29e29ad71ca18c6356c0b279ca2f1bbf5e05164775c116 |
Available diffs
- diff from 4.5.1-1 to 4.5.3-1 (25.5 KiB)
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.
- reify: small utility that reifies logic program, given in smodels
format. It produces a set of facts that can be processed further
with gringo.
- gringo-dbgsym: debug symbols for package gringo
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.