[SCM] conflict-driven nogood learning answer set solver tag, debian/3.0.3-6, created. 12a048c56bbfffa60452a5f4cdd65ddb76c0a80a

[Thomas Krennwallner]

The tag, debian/3.0.3-6 has been created
        at  12a048c56bbfffa60452a5f4cdd65ddb76c0a80a (commit)

- Shortlog ------------------------------------------------------------
commit 12a048c56bbfffa60452a5f4cdd65ddb76c0a80a
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Mon Sep 5 13:37:31 2011 +0200

    Get rid off makefile patch.
-----------------------------------------------------------------------

-- 
conflict-driven nogood learning answer set solver