Welcome to gforge.avacs.org, the project site of the Transregional Collaborative Research Center 14 AVACS.

In order to get the most out of AVACS' Gforge server, you'll need to register as a site user. This will allow you to participate fully in all we have to offer. You may of course browse the site without registering, but will not have access to participate fully.

Set Up Your Own Project

Register as a site user, then Login and finally, Register Your Project.

Thanks... and enjoy the site.

	Latest News
iSAT 1.0 released     Tobias Schubert - 2010-02-21 15:06   -   iSAT iSAT 1.0 is now available! A statically linked binary is available from http://isat.gforge.avacs.org (0 Comment) [Read More/Comment] LIRA 1.1.3 released     Jochen Eisinger - 2009-07-15 22:48   -   Linear Integer/Real Arithmetic Solver A new version of LIRA is available! The source package is available from the following sources: http://lira.gforge.avacs.org/ (0 Comment) [Read More/Comment] iMIRA project created     Ralf Wimmer - 2007-06-28 14:15   -   iMIRA iMIRA is now available from the GForge server. (0 Comment) [Read More/Comment] LIRA 1.1.2 released     Jochen Eisinger - 2007-06-27 11:45   -   Linear Integer/Real Arithmetic Solver A new version of LIRA is available! The source package is available from the following sources: http://lira.gforge.avacs.org/ (0 Comment) [Read More/Comment] LIRA 1.1.1 released     Jochen Eisinger - 2007-06-13 17:59   -   Linear Integer/Real Arithmetic Solver A new version of LIRA is available! The source package is available from the following sources: http://lira.gforge.avacs.org/ (0 Comment) [Read More/Comment] FOMC project created   2007-05-18 14:35 [News archive]