ReadGlim
DualCert: A Solver for the Traveling Salesman Problem with Constraint-Coupled Learning — ReadGlim