"Hets - the Heterogeneous Tool Set
Hets is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications. Logic translations are first-class citizens.
general-purpose logics: Propositional, QBF, TPTP/SoftFOL, CASL (FOL), HasCASL (HOL)
logical frameworks: Isabelle, LF, DFOL
ontologies and constraint languages: OWL, CommonLogic, RelScheme, ConstraintCASL
reactive systems: CspCASL, CoCASL, ModalCASL, Maude
programming languages: Haskell, VSE
logics of specific tools: Reduce, DMU (CATIA)
The following provers have been connected to Hets:
minisat and zChaff, which are SAT solvers,
SPASS, Vampire, Darwin, KRHyper and MathServe, which are automatic first-order theorem provers,
Pellet and Fact++, description logic tableau provers,
Isabelle, an interactive higher-order theorem prover,
CSPCASL-prover, an Isabelle-based prover for CspCASL,
VSE, an interactive prover for dynamic logic."
It would be great to see this in the tree.
Closing as I have no interest in this pkg anymore.