[SCM] solver for quantified boolean formulae tag, debian/1.0-1, created. ace6d22f039a5f0bc9b2e5517f58af03cdc04a3b

[Thomas Krennwallner]

The tag, debian/1.0-1 has been created
        at  ace6d22f039a5f0bc9b2e5517f58af03cdc04a3b (commit)

- Shortlog ------------------------------------------------------------
commit ace6d22f039a5f0bc9b2e5517f58af03cdc04a3b
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Aug 12 22:40:25 2012 +0200

    Add hardening support.
-----------------------------------------------------------------------

-- 
solver for quantified boolean formulae