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

Thomas Krennwallner tkren at kr.tuwien.ac.at
Mon Aug 27 21:30:44 UTC 2012


The tag, debian/2.1.0-1 has been created
        at  2e3ff8f4f932a1809e908af2a0f961911f089a59 (commit)

- Shortlog ------------------------------------------------------------
commit 2e3ff8f4f932a1809e908af2a0f961911f089a59
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Mon Aug 27 23:08:06 2012 +0200

    New upstream release, add hardening support.
-----------------------------------------------------------------------

-- 
conflict-driven nogood learning answer set solver



More information about the debian-science-commits mailing list