Advanced search
 Log In
New Account 		  
 
Home My Page Project Tree Linear Integer/Real Arithmetic Solver
 
 
Summary Tracker Tasks Docs News SCM Files
 

LIRA is an automata-based solver (including parsers for various input formats) for the linear integer/real arithmetic, i.e. FOL(R, Z, +, <).


  • DFG TransRegio/SFB AVACS: H1/2
Registered: 2007-05-23 14:52
Developer Info
Project Admins:
Felix Klaedtke
Jochen Eisinger

[View Members]

[Request to join]

 

Latest File Releases
Package Version Date Notes / Monitor Download
lira1.1 June 12, 2007 Release Notes - Monitor this package Download

Public Areas
Home Page Project Home Page
TrackerTracker

 - Bugs ( 0 open /0 total )
Bug Tracking System

Docs DocManager: Project Documentation
Tasks Task Manager
There are no public subprojects available
SCM SCM Repository (CVS: 3,130 commits, 1,433 adds)

 
Latest News
LIRA 1.1.2 released
    Jochen Eisinger - 2007-06-27 11:45
LIRA 1.1.1 released
    Jochen Eisinger - 2007-06-13 17:59
LIRA 1.1.0 released
    Jochen Eisinger - 2007-06-12 16:39


Powered By GForge Collaborative Development Environment