Skip to content

cmake: fix build with USE_SCIP=OFF #3500

cmake: fix build with USE_SCIP=OFF

cmake: fix build with USE_SCIP=OFF #3500