@techreport{EiflerGleixner2023, author = {Leon Eifler and Ambros Gleixner}, title = {Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {23-09}, language = {eng}, year = {2023} }