Octeract
Home
Products
Octeract Engine
Reformulator
Upcoming Features
Downloads
Resources
Getting Started
Documentation
Case Studies
Benchmarks
News
FAQ
Contact
Sales
Bug reports
Collaboration
Feature requests
Feedback
About
The Company
Privacy Policy
Terms and Conditions
My Account
Menu
Home
Products
Octeract Engine
Reformulator
Upcoming Features
Downloads
Resources
Getting Started
Documentation
Case Studies
Benchmarks
News
FAQ
Contact
Sales
Bug reports
Collaboration
Feature requests
Feedback
About
The Company
Privacy Policy
Terms and Conditions
My Account
Run online demo!
Login Here
| Not a member?
Join Now
!NP.EASY
OCTERACT ENGINE
The first massively parallel Deterministic Global Optimization solver for general non-convex MINLPs.
Buy
Download demo
Documentation
Cross-platform (Linux, Windows, Mac)
Natively parallel, can use thousands of CPUs
Solves non-smooth and discontinuous problems (DNLPs)
Solves general MINLPs and all subsets (LP, MILP, QP, MIQP, QCQP, MIQCQP, ...)
Guarantees global optimality
Can prove or disprove infeasibility
Built-in symbolic engine allows advanced manipulation of user input
Python API
User-friendly object-less interface: parses strings to generate mathematical expressions
ASL interface, works out of the box with AMPL & Pyomo
Comes with Octeract Shell, a powerful terminal-based tool
Features
Close
OCTERACT REFORMULATOR
A powerful compiler for automatic generation and symbolic manipulation of optimization-related mathematics.
Feature Requests
Documentation
Bug Reports
Abstract mathematical pattern recognition
Powerful reformulation commands based on the recognition of abstract patterns
Script your own conditional reformulations
No machine learning, pure symbolic goodness
ASL interface, works out of the box with AMPL, Pyomo, and all ASL solvers
Python and C++ APIs
Features
Close
Coming Soon!
