fix build errors against latest scip, fix unit test failures#1108
Closed
alexis779 wants to merge 1 commit intoscipopt:masterfrom
Closed
fix build errors against latest scip, fix unit test failures#1108alexis779 wants to merge 1 commit intoscipopt:masterfrom
alexis779 wants to merge 1 commit intoscipopt:masterfrom
