Minisat needs to be run on a linux machine and you may use the linux cluster of Computer Science Department at (linux.cs.uiowa.edu).
You should have a linux account there and may use Bitvise SSH Client or PuTTY to access the cluster.
Once you are on a linux machine, you may download an executable of minisat for linux, such as minisat.exe, or build one from the source code of minisat. You may need to run
chmod a+x minisat.exe
on linux before running minisat.exe. You can run this version of minisat as
./minisat.exe sudoku1.cnf sudoku1.out
or
cat sudoku1.cnf | ./minisat.exe stdin sudoku1.out
where the file sudoku1.cnf contains the CNF in DIMACS format and
the model of sudoku1.cnf will appear in sudoku1.out if there is one.