Loopfrog Downloads

We currently distribute binaries for x86 Linux. Binaries for Windows and Mac OS X are available upon request (contact Christoph M. Wintersteiger or Aliaksei Tsitovich).

Example models to analyze are available at our software benchmarks page and on the Loopfrog experiments page.

Date x86 Linux 07-Sep-2010 loopfrog-0.9.tar.gz Old Versions 17-Oct-2009 loopfrog-0.7.tar.gz 16-Jun-2009 loopfrog-0.6.tar.gz 17-Feb-2008 loopfrog-0.5.tar.gz 21-Nov-2007 loopfrog-0.4.tar.gz