Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Comorphisms.KnownProvers

Description

This module provides a map of provers to their most useful composed comorphisms.

Synopsis

Documentation

defaultGUIProver :: String Source #

the default prover selected in the GUI

knownProversGUI :: Result KnownProversMap Source #

a map of known prover names implemanting a GUI interface

knownProversWithKind :: ProverKind -> Result KnownProversMap Source #

a map of known prover names for a specific prover kind to a list of simple (composed) comorphisms