[SCM] conflict-driven nogood learning answer set solver tag, debian/2.0.5-1, created. bbd953aac839b1fc9f16ef9f0448ab84b1614630

[Thomas Krennwallner]

The tag, debian/2.0.5-1 has been created
        at  bbd953aac839b1fc9f16ef9f0448ab84b1614630 (commit)

- Shortlog ------------------------------------------------------------
commit bbd953aac839b1fc9f16ef9f0448ab84b1614630
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Jan 29 20:46:35 2012 +0100

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

-- 
conflict-driven nogood learning answer set solver