[SCM] conflict-driven nogood learning answer set solver tag, debian/2.0.3-4, created. e5c626c622f631d483ffad3d772f05a4bfe20bd1
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Tue Oct 18 14:27:05 UTC 2011
The tag, debian/2.0.3-4 has been created
at e5c626c622f631d483ffad3d772f05a4bfe20bd1 (commit)
- Shortlog ------------------------------------------------------------
commit e5c626c622f631d483ffad3d772f05a4bfe20bd1
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Mon Oct 17 08:09:00 2011 +0200
Fixing the Build-Depends again.
-----------------------------------------------------------------------
--
conflict-driven nogood learning answer set solver
More information about the debian-science-commits
mailing list