Or this SCIP https://www.scip.ch/en/