Skip to content

cmake: fix build with USE_SCIP=OFF #3753

cmake: fix build with USE_SCIP=OFF

cmake: fix build with USE_SCIP=OFF #3753