１５４をリリースしました

内容は、 タスクビューの改善とAlgorithm3のSpeedUp改善です。

インスタンスにもよりますが、BCDT－SEPでみると、厳密解Provenまで以前140secかかっていたのが70sec程度になっていました。