Ubuntu
gringo package

gringo 5.4.1-3ubuntu3 source package in Ubuntu

Changelog

gringo (5.4.1-3ubuntu3) jammy; urgency=medium

  * d/p/use-system-catch-for-glibc-2.34-compat.patch: Fix FTBFS with glibc-2.34
    - Add catch and catch2 build-depends
    - Make use of system provided catch and catch2 libraries

 -- Lukas Märdian <email address hidden>  Wed, 19 Jan 2022 12:46:14 +0100

Upload details

Uploaded by:
Lukas Märdian
Uploaded to:
Jammy
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
interpreters
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Kinetic release universe interpreters
Jammy release universe interpreters

Downloads

File Size SHA-256 Checksum
gringo_5.4.1.orig.tar.gz 2.7 MiB ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02
gringo_5.4.1-3ubuntu3.debian.tar.xz 24.6 KiB 8d606271b96cac1c4ab8a4685d9a3c0a4d89118485462ea8febe50f5169726eb
gringo_5.4.1-3ubuntu3.dsc 2.2 KiB 0b54c1706fb21f8d6cf5d272feb94b4c8430f5284004c8b4ca587d3e83650d42

View changes file

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