オンラインソルバー追加

オンラインソルバーに関しては制約充足問題(CSP)のプログラムを追加することになった。インターフェイスの部分に関しては検討中だが、普通にテキストファイルでの入出力を予定している。また CSP のプログラムを用いることによって、他の最適化問題を解くこともできる。混合整数計画問題(MIP)では ParaSCIP(SCIP の並列版)の登録を予定しているが、これはデータファイルの提供を許可して下さる方のみが使用できるようになる。このデータファイルは SCIP の性能解析などに使われる予定になる。