[gringo] 03/07: Add Breaks: aspcud (<= 1.9.0-2). Add reify description.

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit 1b54dc2fa8c414cb6caa1112a4d43bab26e6f86c
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Jul 11 09:32:40 2015 +0200

    Add Breaks: aspcud (<= 1.9.0-2).
    Add reify description.
---
 debian/control | 17 ++++-------------
 1 file changed, 4 insertions(+), 13 deletions(-)

diff --git a/debian/control b/debian/control
index e3c72a9..eee9220 100644
--- a/debian/control
+++ b/debian/control
@@ -22,7 +22,7 @@ Depends: ${shlibs:Depends}, ${misc:Depends}
 Recommends: clasp
 Replaces: clingo, iclingo
 Conflicts: clingo, iclingo
-Breaks: aspcud (<= 2012.10.24-6)
+Breaks: aspcud (<= 1.9.0-2)
 Description: 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
@@ -34,15 +34,6 @@ Description: grounding tools for (disjunctive) logic 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.
+  - reify: small utility that reifies logic program, given in smodels
+    format.  It produces a set of facts that can be processed further
+    with gringo.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git