Local-MIP
Open-Source Local Search for Mixed Integer Programming
Customizable Modules
Highlights
Fast Feasible Solutions
Local-MIP is designed to find high-quality feasible solutions quickly, especially under short time budgets.
Flexible APIs and Callbacks
C++ and Python APIs support file-based solving, in-memory modeling, and callback-based customization of the search.
Ready to Embed
Use Local-MIP as a standalone solver or integrate it into larger systems as a warm-start primal heuristic.
Quick Start
Get the Code
Start with a release archive, the source repository, or an archived version for paper reproduction.
Choose a Path
Use Local-MIP from the command line, embed it from C++, call it from Python, or customize the search with callbacks.
Build and Run
Use the solver README for the core workflow and the Python bindings README for Python setup and demos.
Software using Local-MIP
NVIDIA cuOpt
cuOpt uses Local-MIP as part of its GPU-accelerated optimization stack.
Exact
Exact includes Local-MIP in its pseudo-Boolean solving workflow.
Documentation & Resources
Getting Started
Use these pages when you want the shortest path from downloading Local-MIP to a first successful run.
Technical Documentation
Learn the main interfaces for file-based solving, in-memory modeling, parameter control, and callback customization.
Performance and Research
See benchmark records, research papers, and the broader context behind Local-MIP.
| Latest Release: GitHub Releases | License: MIT License |