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.
The user must submit a model in AMPL
format. Examples are provided in
section of the AMPL website.
The problem must be specified in a model file. A data file and commands
files may also be provided. If the commands file is specified, it must
contain the AMPL solve command; however, it must not contain
the model or data commands. The model and data
files are renamed internally by NEOS.
The commands file may include option settings for the solver. To specify
solver options, add
option icos_options 'OPTIONS';