Ubuntu
gringo package

gringo 5.6.2-0ubuntu1 source package in Ubuntu

Changelog

gringo (5.6.2-0ubuntu1) noble; urgency=medium

  [ Matthias Klose ]
  * New upstream version.
  * Fix build with Python 3.12. Closes: #1061316.
  * Fix build with new catch2 version. Closes: #1054688.
  * Fix build with GCC 13.
  * Explicitly mention the build system.

  [ Graham Inggs ]
  * Add (Build-)Depends: python3-cffi.
  * Reduce thread count for test_clingo_app.
  * Skip hanging test_clingo_app for now.

 -- Matthias Klose <email address hidden>  Fri, 26 Jan 2024 11:05:00 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Noble
Original maintainer:
Debian Science Team
Architectures:
any
Section:
interpreters
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
gringo_5.6.2.orig.tar.gz 4.8 MiB 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be
gringo_5.6.2-0ubuntu1.debian.tar.xz 21.4 KiB cab640d14b1c47068a497b172f2fd7d335d4b5570b5bbf76572d09b02ba0051b
gringo_5.6.2-0ubuntu1.dsc 2.1 KiB 7e48dfa8e6855d6f963bb50966908830cf5321b3f8084a0b4b9b46f7f6bf3c7a

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