iCOs

iCOs (Interval COnstraints Solver)
Yahia LEBBAH
lebbah*essi.fr / ylebbah*yahoo.fr
http://www.essi.fr/~lebbah/

This site is under construction. I am not sure that I have put everything to make the installation easy. But, if you are interested, don't hesitate to contact me.

---

What's ICOS ?
ICOS (Interval COnstraints Solver) is a software package for continuous optimization and solving nonlinear and continuous constraints. It is based on constraint programming, interval analysis and global optimization techniques. ICOS handles the standard form AMPL.

---

Binaries

• Old versions
• Latest version :
• Linux binary
• Windows/Cygwin binary (under development)
  

AMPL and ipopt solvers

AMPL

Ipopt

Benchmarks

COCONUT optimization benchmarks

COCONUT Satisfiability benchrmarks

How to use ?

1. Go to the ICOS directory
   % cd icos
2. Test the program by typing:
   % icos-clp-? benchs/alkyl.mod C=configurations/2b-borsuk3.cfg A="../ampl" G="logs"
   * where "benchs/alkyl.mod" is the optimization problem to solve, "C=configurations/2b-borsuk3.cfg" contains some tuning and parameters of the branch and bound algorithm, "A="../ampl"" fixes the AMPL solver path, and finaly "G="logs"" fixes the path where results will be stored.
   

---

Documentation

To come soon ...

Acknowledgements
Many thanks to Claude Michel, Michel Rueher, Olivier Lhomme, Arnold Neumaier and Oleg Shcherbina for many interesting discussions and feedback.