Download

Linear Integer/Real Arithmetic Solver

Latest release is LIRA 1.1.3: LIRA-1.1.3.tar.gz.

Release 1.1

• LIRA-1.1.3.tar.gz
• LIRA-1.1.2.tar.gz
• LIRA-1.1.1.tar.gz
• LIRA-1.1.0.tar.gz

Release 1.0

• LIRA-1.0.3.tar.gz
• LIRA-1.0.2.tar.gz
• LIRA-1.0.1.tar.gz
• LIRA-1.0.0.tar.gz

License

LIRA is available under the terms of the GNU General Public License, version 2.

• GNU General Public License, version 2

LIRA depends on software for which the copyright is held by third parties:

• CUDD - Copyright (c) 1995-2004, Regents of the University of Colorado
• The Loki Library - Copyright (c) 2001 by Andrei Alexandrescu

Earlier versions also included:

• GENEPI - Copyright (C) 2006 Jerome Leroux (coordinator), Sebastien Bardin, Gerald Point and LaBRI, CNRS UMR 5800, Universite Bordeaux 1, ENSEIRB.

Benchmarks

For our tool paper, we have conducted a series of benchmarks. The benchmarks and the results are available from this page:

• LIRA Toolpaper

Last update: 2009-07-15
Copyright © The LIRA Project. Valid XHTML 1.1.