Hi everybody, we just released SCIP 2.0.1 which contains a bunch of bug fixes. The interface stayed stable. Happy new year The SCIP developer Team