Hets - the Heterogeneous Tool Set

Copyright(c) Rainer Grabbe
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityneeds POSIX
Safe HaskellNone

THF.ProverState

Description

Data structures, initialising functions for Prover state and configurations.

Documentation

showProblemTHF :: ProverStateTHF -> Named THFFormula -> [String] -> IO String Source #