Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder, DFKI Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerJonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stabilityprovisional
Portabilitynon-portable (imports Prover)
Safe HaskellNone

THF.SZSProver

Description

Isabelle theorem prover for THF

Documentation

createSZSProver :: String -> String -> String -> ProverFuncs -> ProverType

type ProverType = Prover SignTHF THFFormula MorphismTHF THFSl ProofTree

data ProverFuncs

Constructors

ProverFuncs 

Fields

cfgTimeout :: GenericConfig ProofTree -> Int
 
proverCommand :: Int -> String -> GenericConfig ProofTree -> IO (String, [String])
 
getMessage :: String -> String -> String -> String
 
getTimeUsed :: String -> Maybe Int