| Summary: | sci-misc/hets - the Heterogeneous Tool Set, a parsing, static analysis and proof management tool | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Manuel Rüger (RETIRED) <mrueg> |
| Component: | New packages | Assignee: | Default Assignee for New Packages <maintainer-wanted> |
| Status: | RESOLVED WONTFIX | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| URL: | http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
Closing as I have no interest in this pkg anymore. |
"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. Supported languages 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." http://trac.informatik.uni-bremen.de:8080/hets/wiki/HetsForDevelopers It would be great to see this in the tree.