minisat-2.2.0.tar.gz はminisat pageで配布されている．cygwinでコンパイルすることができる．ただし，READMEに書いてあるとおりにするとエラーになる．いささか乱暴だが，utils/System.cc の上の方 (多分23行目) にある

#if defined(__linux__)

を，

#if 1

と書き換えれば，コンパイルできる．