Gurobi

The Gurobi Optimizer is a state-of-the-art solver for mathematical programming. The solvers in the Gurobi Optimizer were designed from the ground up to exploit modern architectures and multi-core processors, using the most advanced implementations of the latest algorithms.

homepage: https://www.gurobi.com

version	toolchain
10.0.3	GCCcore/11.3.0
9.1.2	GCCcore/11.3.0

(quick links: (all) - a - b - c - d - e - f - g - h - i - j - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z)