This README belongs to a "The heterogeneous tool set" (Hets) source

release created by "make release" from the original git repository.

The original svn sources can be obtained by:

git clone https://github.com/spechub/Hets

Information not contained here can be found in the Hets user guide

(doc/UserGuide.pdf) or on the Hets web page http://hets.eu.

The subject of this source release is to create a binary "hets" that

is able to analyse heterogeneous and in particular CASL

specifications.

The sources need to be compiled using ghc Glasgow Haskell Compiler

(www.haskell.org/ghc) version 7!

Haskell as a logic is an optional part of Hets via "Programatica"

(http://programatica.cs.pdx.edu/).

Beside output written to the console (stdout) or to files, hets can

display graphs using "uDraw(Graph)" www.informatik.uni-bremen.de/uDrawGraph.

The binary uDrawGraph should be in your PATH.

Some dialogs depend on Gtk and Glade that require a couple of further

libraries. Mac users are expected to install gtk2 from macports

A typical call of hets is then: hets -g Basic/Numbers.casl

Example specifications can be found under:

HETS_LIB should point to such library directories.

For proving users may set HETS_ISABELLE, if "isabelle emacs" is not the right

call for their system. Isabelle version 2014 is supported.

Further environment variables for provers are:

PELLET_PATH

HETS_OWL_TOOLS

HETS_APROVE

HETS_ISABELLE_LIB

If you need to build the hets binary follow the instructions in

INSTALL, alternatively try to get a binary or a complete installer from:

The heterogeneous tool set (Hets) is mainly maintained by

Christian Maeder (Christian.Maeder@dfki.de) and

Till Mossakowski (mossakow@iws.cs.uni-magdeburg.de).

The mailing list is hets-devel@informatik.uni-bremen.de.