Directory Listing for http://www.cs.sunyb.edu/~algorith/implement/minisat/distrib/index.php

MiniSat_v1.14_cygwin
MiniSat_v1.14_linux
minisat2-070721.zip