[SCM] conflict-driven nogood learning answer set solver branch, master, updated. 6940d3aaf6013a9217d09863720b672f3ebeb755
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Tue Jan 31 07:07:55 UTC 2012
The following commit has been merged in the master branch:
commit bbd953aac839b1fc9f16ef9f0448ab84b1614630
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Sun Jan 29 20:46:35 2012 +0100
New upstream release.
diff --git a/debian/changelog b/debian/changelog
index f285505..b70be98 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+clasp (2.0.5-1) unstable; urgency=low
+
+ * New upstream release.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at> Sun, 29 Jan 2012 20:27:04 +0100
+
clasp (2.0.4-1) unstable; urgency=low
* New upstream release.
--
conflict-driven nogood learning answer set solver
More information about the debian-science-commits
mailing list