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 LP format to solve a linear program.