Project : coprin
Keywords : constraints solving.
ICOS solves rigorously nonlinear problems modeled with the AMPL mathematical programming language (see 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. On-line implementation of ICOS will be soon available through the web site of the COPRIN project.