The Octeract Engine is a Deterministic Global Optimisation (DGO) solver which solves general mixed-integer nonlinear and linear problems to guaranteed global optimality. Acceptable input formats include AMPL and NL formats, as well as LP and MPS formats for LP/MILPs. Details on Octeract can be found on the Octeract website.
The user must submit a model in AMPL format. Examples are provided in the examples 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
solve
model
data
option octeract_options 'OPTIONS';