Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa University of Magdeburg 2017
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEugen Kuksa <kuksa@iks.cs.ovgu.de>
Stabilityprovisional
Portabilitynon-portable (imports Logic)
Safe HaskellNone

TPTP.Prover.SPASS.ProofParser

Description

 

Documentation

parseOutput Source #

Arguments

:: Named Sentence

the proof goal

-> [String]

the SPASS process output

-> (Maybe String, [String], Bool, TimeOfDay)

(result, used axioms, output exists, used time)