[SCM] conflict-driven nogood learning answer set solver tag, debian/2.0.4-1, created. 6125016b9787543920fe0c79633e2bb6f0af7856

[Thomas Krennwallner]

The tag, debian/2.0.4-1 has been created
        at  6125016b9787543920fe0c79633e2bb6f0af7856 (commit)

- Shortlog ------------------------------------------------------------
commit 6125016b9787543920fe0c79633e2bb6f0af7856
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Tue Nov 29 19:00:41 2011 +0100

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

-- 
conflict-driven nogood learning answer set solver