icos

The NEOS Server offers ICOS for the solution of continuous, numerical constraint satisfaction problems formulated in AMPL format.

ICOS uses linear relaxations, filtering methods, and interval arithmetic to determine all solutions of the given problem. Default options are used. For some background see the papers by the author Yahia Lebbah.

This solver was implemented by Hans Mittelmann and executes at under

Using the NEOS Server for ICOS

The user must submit a constraint problem in AMPL format. Examples of models in AMPL format can be found in the ICOS distribution. The numbers of variables and constraints should be moderate.

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.

Enter the complete path to the AMPL model file
AMPL model (scalar format, no comands):

Comments:

e-mail address:

Please do not click the 'Submit to NEOS' button more than once.

_{DOE disclaimer

DOE Web privacy policy}