Claim Mathematical Programming Solver | AllMCPs