Â鶹¹ú²ú

Verified inequalities for exact mixed integer optimization over the rational numbers