SCIP 3.1.0 リリース、おめでとう! おめでとう! http://scip.zib.de/