0N/AThis README belongs to a "The heterogeneous tool set" (Hets) release

0N/A(and does not apply to sources directly obtained via cvs).

0N/A

0N/AInformation not contained here can be found in the Hets user guide

0N/A(doc/UserGuide.pdf) or on the Hets web page

0N/A(www.informatik.uni-bremen.de/cofi/hets).

0N/A

0N/AThe subject of this release is a binary "hets" that is able to analyse

0N/Aheterogeneous and in particular CASL specifications.

0N/A

0N/AThe sources need to be compiled with ghc Glasgow Haskell Compiler

0N/A(www.haskell.org/ghc) version 6.6! Haskell is also a part of Hets via

0N/A"Programatica" (www.cse.ogi.edu/PacSoft/projects/programatica).

0N/A

0N/ABeside output written to the console (stdout) or to files hets, can

0N/Adisplay graphs using "uDraw(Graph)", formerly "daVinci"

(www.informatik.uni-bremen.de/uDrawGraph)

For hets to find "uDrawGraph", the environment variables UDG_HOME and

UNIDAVINCI must be set to the installation directory of uDraw(Graph) and to

the actual executable, respectively.

export UNIDAVINCI=$UDG_HOME/bin/uDrawGraph

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

If you need to rebuild the hets binary follow the instructions in INSTALL

(This README belongs a to release created by "make release", in case

that you obtained the HetCATS sources as CVS tree)

The heterogeneous tool set (Hets) is mainly maintained by

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

(till@informatik.uni-bremen.de).

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