Detect when MIP objectives must move in discrete steps. Tighten the dual bound using this info.#1239
Open
chris-maes wants to merge 1 commit into
Open
Detect when MIP objectives must move in discrete steps. Tighten the dual bound using this info.#1239chris-maes wants to merge 1 commit into
chris-maes wants to merge 1 commit into
Commits
Commits on Apr 30, 2026
- committed
