icos
iCOs (Interval COnstraints Solver)
Yahia LEBBAH
lebbah*essi.fr / ylebbah*yahoo.fr
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 full binary
- Windows/Cygwin binary (under development)
- Last binary : icos-clp 2010/03/22
AMPL and ipopt solvers
Benchmarks
COCONUT optimization benchmarks
COCONUT Satisfiability benchrmarks
How to use ?
- Go to the ICOS directory
- % cd icos
- 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.
Some configuration files
- Optimization
- "opt.cfg" is the default configuration file to solve optimization problems.
- "opt-quad.cfg" uses the Quad-filtering algorithm in the reduction step.
- Satisfaction
- "search.cfg" is the default configuration to solve satisfaction problems.
- "search-quad.cfg" uses the Quad-filtering algorithm in the reduction step.
Some tips
- Don't forget to put "solve;" at the end of your mod file. (This is justified by the semantics of AMPL ...)
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.