[SCM] conflict-driven nogood learning answer set solver tag, debian/2.0.3-1, created. 995a3b960cdf4ce66053a8f5201abd48fdb2177e

[Thomas Krennwallner]

The tag, debian/2.0.3-1 has been created
        at  995a3b960cdf4ce66053a8f5201abd48fdb2177e (commit)

- Shortlog ------------------------------------------------------------
commit 995a3b960cdf4ce66053a8f5201abd48fdb2177e
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Aug 24 10:16:00 2011 +0200

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

-- 
conflict-driven nogood learning answer set solver