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, NL and GAMS 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 MPS format.