ソルバーに要求されること - データ入力。

基本的に入力データは DIMACS フォーマットを用いているが、どこまでソフトウェア側でチェックするものなのか。グラフフォーマットのチェックは行ってはいるのだが、それ以上のことは行っていないので、もしかしたら途中でエラーが起きてしまうかもしれない。こういった部分はできれば別のアプリケーションを用いてチェックを行ってもらいたいと思う。