Minisat on Windows

To install MiniSat on windows you will need cygwin.

I have seen other directions that tell you to place the binary in "cygwin/usr/local/bin/ " This works fine if you only want to call MiniSat from a cygwin window, but to call it from a windows command window, one needs the cygwin DLL's which are all in cygwin\bin\ . So placing the executable there makes it much easier since all the cygwin DLLs are in the same directory.

Back to the class web-page.
Back to the Course Schedule.