MindtPy
The Mixed-Integer Nonlinear Decomposition Toolbox in Pyomo (MindtPy) is a solver for mixed-integer nonlinear programming (MINLP) problems using a suite of decomposition algorithms. These methods typically rely on solving mixed-integer linear programs (MILPs) and nonlinear programs (NLPs) as subproblems.
MindtPy currently supports the following algorithms:
- Outer Approximation (OA)
- LP/NLP-based Branch-and-Bound (LP/NLP BB)
- Extended Cutting Plane (ECP)
- Global Outer Approximation (GOA)
- Regularized Outer Approximation (ROA)
- Feasibility Pump (FP)
QUBO.jl
QUBO.jl is a Julia library for modeling and solving quadratic unconstrained binary optimization (QUBO) problems. It offers a flexible, extensible framework for QUBO formulation and is compatible with a wide range of classical and quantum solvers.
QUBO.jl supports features including:
- Symbolic construction and manipulation of QUBO expressions
- Problem transformations (e.g., penalty-based constraint encoding)
- Export to solver-specific formats (e.g., D-Wave, Toshiba, and custom simulators)
- Integration with the
MathOptInterfacefor solver interoperability