Copyright | (c) Dominik Luecke, Uni Bremen 2010 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | provisional |
Portability | needs POSIX |
Safe Haskell | None |
Check out http:/www.uni-koblenz.de~bpelzerekrhyper for details. For the ease of maintenance we are using e-krhyper in its CASC-mode, aka tptp-input. It works for single input files and fof-style.
Documentation
hyperProver :: Prover Sign Sentence SoftFOLMorphism () ProofTree
The Prover implementation.