cygwinでminisatを使ってみたいです。
http://web.cecs.pdx.edu/~hook/logicw11/Assignments/MinisatOnWindows.html のページを見て
http://minisat.se/MiniSat.html からMiniSat_v1.14_cygwinをダウンロードしました。
/bin/minisat.exeにリネームしminisat.exeをダブルクリックしてみましたが
アプリケーションエラー アプリケーションを正しく起動できませんでした。(0xc000007b)。
[OK]をクリックしてアプリケーションを閉じてください。
というエラーダイアログが出てしまいます。
どうすればminisatを使えるようになるでしょうか?
OSはwindows10 pro 64bitです。
cygwinはsetup version 2.905(64bit)というのでインストールしました。