Octeract

octeract reformulator

Focus on writing the model, not debugging code

Get suggestions for possible reformulations

Scan for infeasible constraints

Create your own reformulation library

Transform your problem to a different type

Revert back to previous reformulations

Automatically linearise or convexify problems

What is the reformulator

The Octeract Reformulator is a powerful tool for automatic generation and symbolic manipulation of optimization-related mathematics. The software reads your math, provides suggestions, and automatically generates new math on command, bringing decades of research at your fingertips.

Interfaces

  • Works out of the box with AMPL and Pyomo.
  • Full-featured Python and C++ API that supports pure string input for equations.
  • Interactive use through the Octeract Shell, a powerful IPython-based interface with symbolic manipulation capabilities.

Specifications

  • Runs on 64-bit Linux distributions.
  • Runs on the Linux subsystem for Windows.
  • Requires Python 3 to be installed on the system.

Get suggestions for possible reformulations

Scan for infeasible constraints

Create your own reformulation library

Transform your problem to a different problem type

Revert back to previous reformulations

Automatically linearise or convexify problems

The Octeract Reformulator is a powerful tool for automatic generation and symbolic manipulation of optimization-related mathematics. The software reads your math, provides suggestions, and automatically generates new math on command, bringing decades of research at your fingertips.
  • Works out of the box with AMPL & Pyomo. 
  • Full-featured Python and C++ API that supports pure string input for equations. 
  • Interactive use through Octeract Shell, a powerful IPython-based interface with symbolic manipulation capabilities.
  • Runs on 64-bit Linux distributions and the Linux subsystem for Windows. 
  • Requires Python 3 to be installed on the system.