194N/AThis README belongs to a "The heterogeneous tool set" (Hets) source

194N/Arelease created by "make release" from the original svn repository.

194N/A(for svn see http://subversion.tigris.org/)

194N/A

194N/AThe original svn sources can be obtained by:

194N/Asvn co https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk Hets

194N/A

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

194N/A(doc/UserGuide.pdf) or on the Hets web page www.dfki.de/sks/hets.

194N/A

194N/AThe subject of this source release is to create a binary "hets" that

194N/Ais able to analyse heterogeneous and in particular CASL

194N/Aspecifications.

194N/A

194N/AThe sources need to be compiled using ghc Glasgow Haskell Compiler

194N/A(www.haskell.org/ghc) version 6.10.x! Haskell as a logic is also

194N/Aa part of Hets via "Programatica" (http://programatica.cs.pdx.edu/).

194N/A

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

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

194N/A(www.informatik.uni-bremen.de/uDrawGraph)

194N/A

3996N/AAdditionally, in particular for the binding to uDrawGraph,

194N/Athe sources of the uniform workbench are required:

194N/A

194N/AFor hets (and uni) to find "uDrawGraph", the environment variables UDG_HOME and

194N/AUNIDAVINCI may be set to the installation directory of uDraw(Graph) and to

194N/Athe actual executable, respectively.

618N/A

194N/Aexport UNIDAVINCI=$UDG_HOME/bin/uDrawGraph

194N/A

844N/ASome dialogs depend on Gtk and Glade that require a couple of further

844N/Alibraries. Mac users are expected to install gtk2-framework.dmg from

194N/A

1273N/AA typical call of hets is then: hets -g Basic/Numbers.casl

194N/A

3661N/AExample specifications can be found under:

3996N/A

3996N/AFor proving users may set HETS_ISABELLE, if "isabelle emacs" is not the right

3996N/Acall for their system. Only Isabelle version 2009-1 is supported.

194N/A

194N/AFurther environment variables for provers are:

194N/A

194N/A PELLET_PATH

194N/A HETS_OWL_TOOLS

206N/A HETS_APROVE

194N/A

194N/AIf you need to build the hets binary follow the instructions in

194N/AINSTALL, alternatively try to get a binary or a complete installer from:

194N/A

194N/AThe heterogeneous tool set (Hets) is mainly maintained by

194N/AChristian Maeder (Christian.Maeder@dfki.de) and

194N/ATill Mossakowski (Till.Mossakowski@dfki.de).

194N/A

194N/AThe mailing list is hets-devel@informatik.uni-bremen.de.

194N/A