Add SCIP specs