Links for minisat
minisat-2.2.1.tar.gz