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
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.