先日、使用許可をもらったので、 SCIP http://scip.zib.de/ を少し触ってみている。