Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke, Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

Propositional.Prove

Description

This is the connection of the SAT-Solver minisat to Hets

Synopsis

Documentation

zchaffProver :: Prover Sign FORMULA Morphism PropSL ProofTree

The Prover implementation.

Implemented are: a prover GUI, and both commandline prover interfaces.