Code and Data Repository for Computing Optimality Certificates for Convex Mixed-Integer Nonlinear Problems
该软件用于计算凸混合整数非线性问题的最优性证书（或证书大小），帮助验证解的最优性。
The goal of this software is to compute (the size of) optimality certificates for convex mixed-integer nonlinear problems.