Also not this SCIP: https://www.scipopt.org/