Ubuntu
gringo package

gringo 4.2.1-4 source package in Ubuntu

Changelog

gringo (4.2.1-4) unstable; urgency=low


  * Bug fix: "add ppc64el to architecture list for libtbb-dev to fix
    FTBFS", thanks to Logan Rosen (Closes: #735005).

 -- Thomas Krennwallner <email address hidden>  Sun, 12 Jan 2014 19:22:44 +0100

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 Pocket Published Component Section
Trusty release universe interpreters

Downloads

File Size SHA-256 Checksum
gringo_4.2.1-4.dsc 2.0 KiB d066ff00c66ca4f7e1c088f1519082c0af9e7164a354378a30059b97eb8edbb1
gringo_4.2.1.orig.tar.gz 601.3 KiB 24da7958ca6c4f41a3df43ca786059926057289d5f01bfd22e6d9483977c0581
gringo_4.2.1-4.debian.tar.gz 8.7 KiB 3d75b50e1024c77d5005b169cee1cb4cc8b5436b76e95db1c2a0b6a5d6b1dfb6

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.
  - iclingo: an incremental answer set programming system, which is
    based on the idea that the grounder as well as the solver are
    implemented in a stateful way. Thus, both keep their previous states
    while increasing an incremental parameter. As regards grounding, at
    each incremental step, the goal is to produce only ground rules
    stemming from the current program slice, without re-producing
    previous ground rules. The ground program slices are then gradually
    passed to the solver that accumulates ground rules and computes
    answer sets for them.
  - oclingo: a system for reactive answer set programming, extending
    gringo and clasp for handling external modules provided at runtime
    by a controller.