[SCM] conflict-driven nogood learning answer set solver tag, debian/2.0.3-2, created. 6c4e0c482c9a124c17988e832baa14be50dab73b

[Thomas Krennwallner]

The tag, debian/2.0.3-2 has been created
        at  6c4e0c482c9a124c17988e832baa14be50dab73b (commit)

- Shortlog ------------------------------------------------------------
commit 6c4e0c482c9a124c17988e832baa14be50dab73b
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Aug 28 08:10:12 2011 +0200

    Closes #636772.
-----------------------------------------------------------------------

-- 
conflict-driven nogood learning answer set solver