[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