[SCM] conflict-driven nogood learning answer set solver tag, debian/2.1.0-1, created. debian/2.0.6-2-1-g2e3ff8f
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Mon Aug 27 21:30:44 UTC 2012
The tag, debian/2.1.0-1 has been created
at 2e3ff8f4f932a1809e908af2a0f961911f089a59 (commit)
- Shortlog ------------------------------------------------------------
commit 2e3ff8f4f932a1809e908af2a0f961911f089a59
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Mon Aug 27 23:08:06 2012 +0200
New upstream release, add hardening support.
-----------------------------------------------------------------------
--
conflict-driven nogood learning answer set solver
More information about the debian-science-commits
mailing list