gringo 4.5.1-1 source package in Ubuntu
Changelog
gringo (4.5.1-1) unstable; urgency=medium * Imported Upstream version 4.5.1 * Add reify.1 manpage -- Thomas Krennwallner <email address hidden> Mon, 13 Jul 2015 09:01:56 +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.1-1.dsc | 2.0 KiB | 55c85bbf9b1c10ab461d5a2e8d5162b74f436c262d47e326e573b76eda4ad3ef |
gringo_4.5.1.orig.tar.gz | 1.6 MiB | 942be5977070859dc164347368248c1d22c451a55c2fd002081fa9abe0b5c50c |
gringo_4.5.1-1.debian.tar.xz | 6.3 KiB | 553faf5491cc2eb957aad2041e1fd7ffb4b351a8f43f4be50616ff1e156441ba |
Available diffs
- diff from 4.5.0-1 to 4.5.1-1 (43.3 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.