Copyright	(c) Jonathan von Schroeder DFKI Bremen 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Jonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stability	provisional
Portability	non-portable (imports Prover)
Safe Haskell	None

THF.SZSProver

Description

Isabelle theorem prover for THF

Documentation

Constructors

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