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 NEOS Server will automatically handle an NL model in either
binary or text format. NL files in either format can additionally be zipped,
gzipped, or tarred prior to submission if desired.
An options file can optionally be specified. Note: certain options
may be restricted, altered, or removed by the NEOS server prior to
solving. For example, users are limited to a max of four solver threads --
requests for more threads in the options file will not be honored.