Code and Data Repository for Computing Optimality Certificates for Convex Mixed-Integer Nonlinear Problems | Synapse