Octeract
Home
Products
Reformulator
Octeract Engine
Downloads
Resources
Getting Started
Documentation
Case Studies
Benchmarks
FAQ
Contact
Sales
Request evaluation license
Bug reports
Collaboration
Feature requests
Feedback
About
The Company
Privacy Policy
Terms and Conditions
My Account
Menu
Home
Products
Reformulator
Octeract Engine
Downloads
Resources
Getting Started
Documentation
Case Studies
Benchmarks
FAQ
Contact
Sales
Request evaluation license
Bug reports
Collaboration
Feature requests
Feedback
About
The Company
Privacy Policy
Terms and Conditions
My Account
Login Here
| Not a member?
Join Now
!NP.EASY
OCTERACT ENGINE
The first massively parallel Deterministic Global Optimization solver for general non-convex MINLPs.
Feature Requests
Documentation
Bug Reports
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
Download the beta!
OCTERACT REFORMULATOR
A powerful tool 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!
