Project : coprin

Section: Software

Keywords : constraints solving .

ICOS

Participants : Yahia Lebbah, Claude Michel, Michel Rueher.

ICOS solves rigorously nonlinear problems modeled with the AMPL mathematical programming language (see http://www.ampl.com). 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. Online implementation of ICOS will be soon available through the web site of the COPRIN project.