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
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     Stefan Disch - 2007-05-18 14:35   -   First Order Model Checker Finally the FOMC project is hosted at the AVACS GForge server. THX to Jochen and Peter. Have fun (0 Comment) [Read More/Comment] [News archive]