[SCM] conflict-driven nogood learning answer set solver tag, debian/2.1.1-1, created. debian/2.0.6-2-2-g0c2d56c

Thomas Krennwallner tkren at kr.tuwien.ac.at
Wed Nov 28 09:44:33 UTC 2012


The tag, debian/2.1.1-1 has been created
        at  0c2d56c2b068ef202f4e2db073988a1ab468967e (commit)

- Shortlog ------------------------------------------------------------
commit 0c2d56c2b068ef202f4e2db073988a1ab468967e
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Nov 28 10:39:21 2012 +0100

    New upstream release.
-----------------------------------------------------------------------

-- 
conflict-driven nogood learning answer set solver



More information about the debian-science-commits mailing list