[gringo] 10/20: debian/control: update description and add lpconvert

[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 9667d0940165f960c62fcad811c408e2099e547f
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Dec 9 08:56:56 2016 +0100

    debian/control: update description and add lpconvert
---
 debian/control | 20 ++++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

diff --git a/debian/control b/debian/control
index da0a733..f0d63f7 100644
--- a/debian/control
+++ b/debian/control
@@ -29,10 +29,18 @@ Description: grounding tools for (disjunctive) logic programs
  .
  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.
-  - reify: small utility that reifies logic program, given in smodels
-    format.  It produces a set of facts that can be processed further
+  - 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
+    solving.
+  - 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.

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