Seems like SCIP would be a better fit, although not as widely supported by languages I suppose.