[gringo] 16/20: NEWS.Debian: describe aspif output format change

[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 3695275e7c741d4954ab81e8825238225290e03a
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Dec 11 10:13:53 2016 +0100

    NEWS.Debian: describe aspif output format change
---
 debian/NEWS.Debian | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/debian/NEWS.Debian b/debian/NEWS.Debian
new file mode 100644
index 0000000..c870da2
--- /dev/null
+++ b/debian/NEWS.Debian
@@ -0,0 +1,12 @@
+gringo (5.1.0-1) unstable; urgency=medium
+
+    The gringo and reify programs drop direct support for smodels output
+    format and use the new asp intermediate format (aspif) instead.  The
+    clasp solver automatically supports aspif starting with version 3.2.0
+    and later.  If you need to ground a logic program to smodels format,
+    you can translate aspif to smodels format with the lpconvert tool,
+    which is part of this package.  See also
+    <http://www.cs.uni-potsdam.de/wv/pdfformat/gekakaosscwa16b.pdf> for a
+    detailed description of the asp intermediate format.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>, Sun, 11 Dec 2016 09:51:56 +0100

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