Ubuntu
gringo package

gringo 4.2.1-2 source package in Ubuntu

Changelog

gringo (4.2.1-2) unstable; urgency=low


  * debian/control: FTBFS on ia64 sparc powerpc, Build-Depends is now
    g++-4.8 >= 4.8.0.
  * debian/rules: Set CXX to g++-4.8.

 -- Thomas Krennwallner <email address hidden>  Tue, 17 Dec 2013 07:07:54 +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

Downloads

File Size SHA-256 Checksum
gringo_4.2.1-2.dsc 2.0 KiB 53ba068598a645a9cd1a51adc0048b40d7f90dff997e870e0b21a2a250c1022e
gringo_4.2.1.orig.tar.gz 601.3 KiB 24da7958ca6c4f41a3df43ca786059926057289d5f01bfd22e6d9483977c0581
gringo_4.2.1-2.debian.tar.gz 8.5 KiB 995ddd57189d16ea7fde9e9fb55e263db966d5374337acf71685b0629316e3d5

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