475N/AThis README belongs to a Hets release (and does not apply to
475N/Asources directly obtained via cvs).
475N/AThe aim of this release is a binary "hets" that is able to analyse
943N/Aheterogeneous and in particular CASL specifications.
475N/AThe output of hets, if the input is successfully accepted, can be
919N/AdaVinci is maintained by b-novative and b-novative holds all rights.
919N/AThis release may be accompanied with free binary releases of daVinci
919N/AVersion 2.1, but daVinci 2.1 is no longer supported or maintained!
919N/AHowever, you are encouraged to obtain the latest version of daVinci
919N/Afree for academic purposes.
919N/ALinux: the linux binary release of daVinci 2.1 relies on the old
919N/Ashlibs5 that must be installed on your system (if ./daVinci cannot be
919N/ASolaris: the solaris binary release of daVinci 2.1 should work without
919N/AMacintosh (Darwin): there is no release of daVinci for Macintosh, but
475N/Ab-novative may have one in the mean time
475N/AFor best quality, get the latest version of daVinci from b-novative.
493N/AFor hets to find daVinci, the environment variables DAVINCIHOME and
475N/AUNIDAVINCI must be set to the installation directory of daVinci and to
970N/Athe actual executable, respectively.
970N/Aexport DAVINCIHOME=<path>/daVinci_V2.1
911N/AIf you need to rebuild the hets binary follow the instructions in INSTALL
911N/A(This README belongs a to release created by "make release", in case
911N/Athat you obtained the HetCATS sources as CVS tree)
475N/AThe heterogeneous tool set (Hets) is mainly maintained by
475N/AChristian Maeder (maeder@tzi.de) and Till Mossakowski
475N/A(till@tzi.de). The mailing list is hets@tzi.de.