Octeract

The first massively parallel Deterministic Global Optimization solver for general non-convex MINLPs.
A powerful tool for automatic generation and symbolic manipulation of optimization-related mathematics.