The NEOS Server offers ICOS for the solution of continuous, numerical
constraint satisfaction problems and global optimization problems formulated in
ICOS uses linear relaxations, filtering methods, and interval arithmetic to
determine the solutions of the given problem. Default options are used.
For some background see the papers by the author
For the optimization version, see
This solver was implemented by
Hans Mittelmann and executes at
Using the NEOS Server for ICOS
The user must submit a problem in
Examples of models in AMPL format can be found in the
ICOS distribution. The numbers of variables and constraints should be
Different from full AMPL, the submitted file should contain a self-contained
model in scalar format, no data file or other commands. See
here and the
sample submission problems.
AMPL model for satisfiability problem (scalar format, no comands):
AMPL model for global optimization problem (scalar format, no comands):
Dry run: generate job XML instead of submitting it to NEOS
Short Priority: submit to higher priority queue with maximum CPU time of 5
Please do not click the 'Submit to NEOS' button more than once.