gringo 5.1.0-4 source package in Ubuntu


gringo (5.1.0-4) unstable; urgency=medium

  * fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
    _FPU_GETCW and friends are undefined on this arch

 -- Thomas Krennwallner <email address hidden>  Tue, 20 Dec 2016 05:10:36 +0100

Upload details

Uploaded by:
Debian Science Team on 2016-12-20
Uploaded to:
Original maintainer:
Debian Science Team
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Zesty release on 2017-02-22 universe interpreters


File Size SHA-256 Checksum
gringo_5.1.0-4.dsc 2.0 KiB 93447246b63ff1595b91c49526d84add3734290d79147566c3408fadd92265ad
gringo_5.1.0.orig.tar.gz 2.1 MiB c1afa83142d727d18bdab68fd6d7e1341dcb25d2e9a1aea3abc672ecbae6c72a
gringo_5.1.0-4.debian.tar.xz 13.2 KiB fa638cca967fe08fedcdae60165b980c9515325542fd5ac802290ffb5958f02c

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
  - 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