[SCM] conflict-driven nogood learning answer set solver tag, debian/2.1.1-1, created. debian/2.0.6-2-2-g0c2d56c
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Wed Nov 28 09:44:33 UTC 2012
The tag, debian/2.1.1-1 has been created
at 0c2d56c2b068ef202f4e2db073988a1ab468967e (commit)
- Shortlog ------------------------------------------------------------
commit 0c2d56c2b068ef202f4e2db073988a1ab468967e
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Wed Nov 28 10:39:21 2012 +0100
New upstream release.
-----------------------------------------------------------------------
--
conflict-driven nogood learning answer set solver
More information about the debian-science-commits
mailing list