Key points are not available for this paper at this time.
The goal of this software is to compute (the size of) optimality certificates for convex mixed-integer nonlinear problems.
Halbig et al. (Mon,) studied this question.