Team Coprin

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2004
Project: Coprin

Project : coprin

Section: Software

Keywords : constraints solving.


Participants : Yahia Lebbah [correspondant], Claude Michel, Michel Rueher.

ICOS solves rigorously nonlinear problems modeled with the AMPL mathematical programming language (see ICOS computes a small and safe box for each solutions of such systems. The constraint-solving algorithm of ICOS is based on a combination of interval analysis methods, constraint programming and linear programming relaxation techniques. ICOS has been evaluated on a variety of benchmarks from kinematics, mechanics and robotics. It outperforms interval methods as well as CSP solvers and it compares well with state-of-the-art optimization solvers. On-line implementation of ICOS will be soon available through the web site of the COPRIN project.


Logo Inria