Overview
The BENMIP project developed an open-source framework for Automated Benders Decomposition, designed to accelerate the solution of large-scale mixed-integer and nonlinear optimization problems, unifying rigorous mathematical programming with data-driven intelligence. Although the main development phase is complete, BENMIP continues to be actively maintained and updated with community contributions.
Technical Approach
- Automated Decomposition Detection — identifying separable structures and linking constraints in large-scale formulations.
- Cut Generation and Management — adaptive selection of primal, dual, and combinatorial cuts based on real-time convergence.
- Neural Acceleration Modules — ML components predicting effective cut sequences and stabilization settings.
- Solver-Agnostic Design — compatible with Gurobi, CPLEX, and open-source solvers, with parallel subproblem execution.
Open Science & Impact
Released under a permissive open-source license to encourage transparency and reuse. It serves both as a research platform for hybrid algorithm design and as a teaching tool for decomposition-based optimization, offering reusable benchmarks and reproducible workflows across logistics, energy, and infrastructure design.
