Copyright 1999-2000 VA Linux Systems, Inc. http://gforge.avacs.org Gforge Project News Highlights http://gforge.avacs.org/forum/forum.php?forum_id=51 iSAT 1.0 is now available! A statically linked binary is available from http://isat.gforge.avacs.org iSAT Tobias Schubert Sun, 21 Feb 2010 2:06:40 GMT http://gforge.avacs.org/forum/forum.php?forum_id=44 A new version of LIRA is available! The source package is available from the following sources: http://lira.gforge.avacs.org/ LIRA 1.1.3 has been released. This release adds support for SMT-LIB benchmarks and fixes some issues with current compilers. Also, various minor improvements are included. Summary of Changes ------------------ o new rva::Manager implementation to work around CUDD never releasing memory o correctly determine free variables for --example o parser for SMT format o documentation updates o allow for loading DFAs for (Z,+,<) o remove () around result printed by LIRA to conform with SMT standard o speed up load operations for dot files o update operator precendence, esp. make IMPLIES/MINUS right associative o allow for input like x<-4 (used to require a space like x< -4) o removed (outdated) GENEPI plugin, for a current version, check the TAPAS project o removed CUDD and lib-loki sources, now an external dependency o Use C++-TR1 data-structures (if available) instead of GNU extensions o pointer versions of ast_node::connect_to and ast_node::disconnect_from Installation ------------ To install the software use the following commands ./configure make make install Linear Integer/Real Arithmetic Solver Jochen Eisinger Wed, 15 Jul 2009 8:48:34 GMT 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