[SCM] conflict-driven nogood learning answer set solver tag, debian/2.0.3-3, created. f257439c54de95981d27f374a7de68bc45df072a

[Thomas Krennwallner]

The tag, debian/2.0.3-3 has been created
        at  f257439c54de95981d27f374a7de68bc45df072a (commit)

- Shortlog ------------------------------------------------------------
commit f257439c54de95981d27f374a7de68bc45df072a
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Sep 25 21:07:30 2011 +0200

    Fix libtbb-dev Build-Depends.
-----------------------------------------------------------------------

-- 
conflict-driven nogood learning answer set solver