Copyright 1999-2000 VA Linux Systems, Inc. http://gforge.avacs.org Gforge Project News Highlights http://gforge.avacs.org/forum/forum.php?forum_id=14 iMIRA is now available from the GForge server. iMIRA Ralf Wimmer Thu, 28 Jun 2007 12:15:58 GMT http://gforge.avacs.org/forum/forum.php?forum_id=10 A new version of LIRA is available! The source package is available from the following sources: http://lira.gforge.avacs.org/ LIRA 1.1.2 has been released. This release is a maintenance release and fixes some small issues found since the last release. Summary of Changes ------------------ o Output witnesses for formulas o Fix compiler warnings o Fix examples found in the documentation o Check for cygwin in configure Installation ------------ To install the software use the following commands ./configure make make install Linear Integer/Real Arithmetic Solver Jochen Eisinger Wed, 27 Jun 2007 9:45:19 GMT http://gforge.avacs.org/forum/forum.php?forum_id=9 A new version of LIRA is available! The source package is available from the following sources: http://lira.gforge.avacs.org/ LIRA 1.1.1 has been released. This release is a maintenance release and fixes some small issues found since the last release. Summary of Changes ------------------ o Fixes of the XML source for the handbook o Remove unreachable states for presburger inequations o Correctly load don't care automata from files Installation ------------ To install the software use the following commands ./configure make make install Linear Integer/Real Arithmetic Solver Jochen Eisinger Wed, 13 Jun 2007 3:59:48 GMT http://gforge.avacs.org/forum/forum.php?forum_id=4 Finally the FOMC project is hosted at the AVACS GForge server. THX to Jochen and Peter. Have fun Stefan First Order Model Checker Stefan Disch Fri, 18 May 2007 12:35:35 GMT