Ubuntu
gringo package

gringo 3.0.3-4 source package in Ubuntu

Changelog

gringo (3.0.3-4) unstable; urgency=low

  * control: Combine gringo, clingo, and iclingo binary packages into gringo.
   + Conflicts and Replaces clingo and iclingo.
  * copyright: Convert to DEP-5 format and add missing licenses.
  * rules: Add override_dh_installchangelogs for CHANGES file.
  * install: Install gringo, clingo and iclingo.
  * Refresh gringo-makefile.patch; do not install anything here.

gringo (3.0.3-3) unstable; urgency=low

  * Initial upload (Closes: #605879)

gringo (3.0.3-2) unstable; urgency=low

  * Upload to mentors.debian.net.

gringo (3.0.3-1~maverick1) maverick; urgency=low

  * New upstream release.
  
  * Fix changelog entries.

gringo (3.0.2-2~maverick1) maverick; urgency=low

  * Tag distro-series.

  * Fix Standards-Version and Priority.
  
  * Suggest potassco-guide.

  * Fix missing changelog.
  
  * Add additional authors to copyright.

gringo (3.0.2-1) lucid; urgency=low

  * New upstream release.

gringo (3.0.1-2) lucid; urgency=low

  * Build with system-wide liblua5.1-dev.

gringo (3.0.1-1) lucid; urgency=low

  * New upstream release.

gringo (2.0.5-6) lucid; urgency=low

  * Switch to dpkg-source 3.0 (quilt) format.
  
  * Fix lintian warning debhelper-but-no-misc-depends: add ${misc:Depends} to potassco-guide.

gringo (2.0.5-5) lucid; urgency=low

  * Added watch file.

  * Added Vcs-Bzr to control.

gringo (2.0.5-4) lucid; urgency=low

  * Set Architecture of all binary packages to "any".

gringo (2.0.5-3) lucid; urgency=low

  * Set Architecture of all binary packages to "all".

gringo (2.0.5-2) lucid; urgency=low

  * Moved to Ubuntu PPA.

gringo (2.0.5-1) unstable; urgency=low

  * Initial release.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  04 May 2011 09:29:11 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Oneiric
Original maintainer:
Thomas Krennwallner
Architectures:
any
Section:
interpreters
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
gringo_3.0.3.orig.tar.gz 524.6 KiB 79e31fbfb1967496a0b3ce391caa86b931d7b74bb22fd822140c2ec0e320cab9
gringo_3.0.3-4.debian.tar.gz 7.0 KiB 7109a0aaa02bccf645725d346a8bec894de1869ee2b63bf5c1a52706db6ff81e
gringo_3.0.3-4.dsc 1.1 KiB 43c78187539d30af8e6aad5fdcb62ab296237e0554d0b0b30362df6ef639981b

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: creates lparse-compatbile 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
    implemented on top of clingo. It 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.