4 ms·Or the other other SCIP: https://www.scipopt.org/ https://www.scipopt.org/by eru 7mo agoOr the other other SCIP: https://www.scipopt.org/ https://www.scipopt.org/dobin 7mo agoOr this SCIP https://www.scip.ch/en/ https://www.scip.ch/en/