gringo 5.4.1-3.1 source package in Ubuntu
Changelog
gringo (5.4.1-3.1) unstable; urgency=low * Non-maintainer upload. * Build using the default gcc. (Closes: #1023682) * Add patch from Lukas Märdian to use the system catch/catch2. (Closes: #1017161) * Fix the testsuite for Python no longer supporting 'rU' in open(). * Remove the symbols file. (Closes: #963054, #1015422) -- Adrian Bunk <email address hidden> Sat, 19 Nov 2022 12:33:48 +0200
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 | |
---|---|---|---|---|
Mantic | release | universe | interpreters | |
Lunar | release | universe | interpreters |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gringo_5.4.1-3.1.dsc | 2.1 KiB | 0597322ea1414ee31e101d7b1a9617166519991a7ab11a06a34855ab77895a84 |
gringo_5.4.1.orig.tar.gz | 2.7 MiB | ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 |
gringo_5.4.1-3.1.debian.tar.xz | 21.1 KiB | 3b40f14945cd7d7e614200da06c501372680c7b555032c6fe601f654f50d23e9 |
Available diffs
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: a grounder that, given an input program with first-order
variables, computes an equivalent ground (variable-free) program in
aspif format. Its output can be processed further with answer set
solver clasp. Starting with gringo series 5, its output is no longer
directly compatible with solvers like smodels or cmodels reading
smodels format. Use lpconvert for translating aspif format to
smodels format.
- clingo: combines both gringo and clasp into a monolithic system.
This way it offers more control over the grounding and solving
process than gringo and clasp can offer individually: multi-shot
solving.
- lpconvert: converter between gringo's aspif and smodels format.
- reify: small utility that reifies logic programs given in aspif
format. It produces a set of facts, which can be processed further
with gringo.
- gringo-dbgsym: debug symbols for gringo