From Christian.Maeder at dfki.de Sat Jul 14 15:49:47 2007 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Sat, 14 Jul 2007 15:49:47 +0200 Subject: [Hets-users] hets-0.73 released Message-ID: <4698D47B.6020905@dfki.de> Dear Hets friends, we proudly present our release 0.73 of the Heterogeneous Tool Set (Hets) new features are: - improved encoding into the logic SoftFOL - imported theorems that are available as axioms are now visibly marked - many HasCASL fixes and test cases (more to come) - support for SAT solvers Binaries can be downloaded from: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm Installers and a new Live-CD will soon be available, too. Enjoy it, Christian -- _______________________________________________________________ Dr. Christian Maeder Hausadresse: DFKI-Labor Bremen Universit?t Bremen Sichere Kognitive Systeme Cartesium 02.053 Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5 28359 Bremen 28359 Bremen http://www.dfki.de/sks www.informatik.uni-bremen.de/~maeder Telefon: +49 (421) 218-64227 Telefax: +49 (421) 218-9864227 E-Mail: Christian.Maeder at dfki.de _______________________________________________________________ Deutsches Forschungszentrum f?r K?nstliche Intelligenz GmbH Firmensitz: Trippstadter Stra?e 122, D-67663 Kaiserslautern Gesch?ftsf?hrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 From luecke at informatik.uni-bremen.de Wed Jul 25 11:40:22 2007 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Wed, 25 Jul 2007 11:40:22 +0200 Subject: [Hets-users] Hets 0.73 Installer Message-ID: <1185356422.21343.6.camel@feuerbach> Dear Hetters, new installers for Hets 0.73 are available from the website http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm They are supplied for Linux PPC-Mac and Solaris on Sparc. Regards, Dominik -- Dominik Luecke Phone +49-421-218-64265 Dept. of Computer Science Fax +49-421-218-9864265 University of Bremen luecke at tzi.de P.O.Box 330440, D-28334 Bremen PGP-Key ID 0x2D82571B