This is your work, valued
MIPcc23. The MIP Workshop 2023 Computational Competition
VIPR. Verifying Integer Programming Results
