Welcome to the Octeract Knowledge Base

What are you looking for?

Getting Started

first problem
Solve your First Problem
Let’s walk you through solving a problem with Octeract Engine
mathematical optimisation
Mathematical Programming
An introduction to mathematical optimisation for MINLPs


Installation Manual
Get started with our installation guide
python API
Python API Reference Manual
Browse through Octertact’s Python API reference manual
c++ API
C++ API Reference Manual
Check out Octeract’s C++ API reference manual


Python tutorial
Use Python with the Engine
A guide on how to use Python with Octeract Engine
parallel mode
Run in Parallel Mode
Octeract Engine has the ability to solve in parallel. Learn how to try it out
authentication token
Authentication Token Guide
Learn more about what this token is, where to find it and how to use it

Solver Options

set options
How to Set Options
Find out more about solver options and how to change them using an options file
available options
All Available Options
An index of all the options available in Octeract Engine
general solver settings
General Solver Settings
A complete list of all general solver settings available in Octeract Engine

Solver Flags

input flags
Input Flags
View all optional arguments accepted by the Octeract Engine executable
exit flags
Exit Flags
View all possible exit status messages printed by Octeract Engine upon termination

Domain Reduction

Optimisation Based Bounds Tightening (OBBT)
Learn more about this algorithmic technique
Feasibility Based Bounds Tightening (FBBT)
An overview of this bounds tightening technique
constraint propagation
Constraint Propagation
Learn more about this technique employed by the Engine

Branching Strategies

branching strategies
What is Branching Strategy?
An overview of branching strategies and the options available on Octeract Engine
most violated term
Most Violated Term
Find out more about this branching strategy
hybrid integer least reduced axis
Hybrid Integer Least Reduced
Learn more about Hybrid Integer Least Reduced Axis
max separation distance
Max Separation Distance
Discover more about this branching strategy
strong branching
Strong Branching
An overview of the branching strategy of strong branching
violation transfer
Violation Transfer
Find out more about violation transfer as a branching strategy

Further Insight

primal heuristics
Primal Heuristics
Learn more about one of the primal heuristics used in Octeract Engine
Find out more about the Binary Quadratic Problem (BQP) reformulation method
Learn more about Nonlinear Relaxations for Convex MINLPs
starting point
Starting Point
Find out more about starting points for IPOTP


teach optimisation
Teach Optimisation with Octeract Engine
Find out how to use the Engine for teaching
solving MINLPs
Out-of-the-box doesn't work. Now what?
The complete guide to solving an MINLP
How to use Octeract Engine for Research
Learn how to use the Engine as a research tool
getting to know
Getting to Know
the Engine
Discover what makes Octeract Engine A-grade

Was this helpful?
Please make sure you fill the comments section before sending.

Thank you for your comments.
Please contact us if you need any further support.