Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 418195 - sci-misc/hets - the Heterogeneous Tool Set, a parsing, static analysis and proof management tool
Summary: sci-misc/hets - the Heterogeneous Tool Set, a parsing, static analysis and pr...
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Default Assignee for New Packages
Depends on:
Reported: 2012-05-30 01:00 UTC by Manuel Rüger (RETIRED)
Modified: 2013-07-11 16:46 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Note You need to log in before you can comment on or make changes to this bug.
Description Manuel Rüger (RETIRED) gentoo-dev 2012-05-30 01:00:49 UTC
"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."

It would be great to see this in the tree.
Comment 1 Manuel Rüger (RETIRED) gentoo-dev 2013-07-11 16:46:44 UTC
Closing as I have no interest in this pkg anymore.