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

[Thomas Krennwallner]

The tag, debian/2.1.3-1 has been created
        at  52f529487056227c60247758c752961bf92c37e6 (commit)

- Shortlog ------------------------------------------------------------
commit 52f529487056227c60247758c752961bf92c37e6
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Tue May 21 18:24:11 2013 +0200

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

-- 
conflict-driven nogood learning answer set solver