Windows上でネイティブな(w/o Cygwin)MiniSatを構築しようとして、いろいろ困ったのでメモ。 MinGWを使えばいけると思ったのですが…。 1. makeできない とりあえず、CとC++のコンパイルできる状態にすればいいかなと思って、CとC++のコンパイラだけインスト…