Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder, DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerjonathan.von_schroeder@dfki.de
Stabilityprovisional
Portabilityneeds POSIX
Safe HaskellNone

QBF.ProveDepQBF

Description

see <http://fmv.jku.at/depqbf/ for more information on the depqbf prover and http://www.qbflib.org/qdimacs.html and http://www.qbflib.org/Draft/qDimacs.ps.gz for more information on the qdimacs input format

Synopsis

Documentation

depQBFProver :: Prover Sign FORMULA Morphism QBFSL ProofTree

The Prover implementation.