[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