iCOs (Interval COnstraints Solver)
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
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 |