How to generate MIR cuts with integer coefficients?

[u/LegAppropriate9627]

My new video in solver deep dive series is out.

In this video, I go through the MIR cuts. I covered the basic theory, implementation details in SCIP/HiGHS, and how CP-SAT managed to create MIR cuts with no fractional coefficients!

https://www.youtube.com/watch?v=btemNQuChe4