Masahiro Sakai
-
2016-05-28T16:09:59+0000
- 更新日時:
2016-05-28T16:09:59+0000
MIPCL
http://www.mipcl-cpp.appspot.com
ちょっと試している。 問題によるけれど、SCIPよりも速い場合もあって、なかなかやるなぁ。
MIPCL: Solving Mixed Integer Programs
共有中: 一般公開
Masahiro Sakai
-
2016-05-29T15:22:23+0000
mps_mipclは動いたけど、ドキュメントの例を自分でコンパイルして実行すると stack smashing detected で落ちるなぁ……
https://gist.github.com/msakai/c0b5682c73859f72c2368c7317c6f78c
Masahiro Sakai
-
2016-05-30T00:14:03+0000
例によって簡単なMax-SATフロントエンドを書こうとしている
https://github.com/msakai/mipcl-maxsat
のだけど、SEGVする……
