[SCM] conflict-driven nogood learning answer set solver tag, debian/2.0.6-1, created. e2ae61383709a8ab946524d05b33ab926b77143c
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Wed Apr 4 05:01:14 UTC 2012
The tag, debian/2.0.6-1 has been created
at e2ae61383709a8ab946524d05b33ab926b77143c (commit)
- Shortlog ------------------------------------------------------------
commit e2ae61383709a8ab946524d05b33ab926b77143c
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Wed Apr 4 06:59:17 2012 +0200
New upstream release.
-----------------------------------------------------------------------
--
conflict-driven nogood learning answer set solver
More information about the debian-science-commits
mailing list