Intel SAT Solver Windows port

 プロジェクトファイルは附属していますが、そのままでは動きません。Windowsにポートしたときのメモ

１）namespace Topor 追加@TopiWL.cc

 Topor::CTopi<TLit, TUInd, Compress>::TULit* CTopi<TLit, TUInd, Compress>::WLPrepareArena(TULit l, bool allowNewBinaryWatch, bool allowNewLongWatch)

2) NOMINMAX define 追加::max()がマクロで置き換えられる問題回避

4) SKIP_ZLIB define 追加　ZLIB使用しない

5）popen/pclose をfopen/flcoseに代替え　UNIX用を置き換え

６）ソース追加　

TopBitcompression.cc  TopiInprocess.cc