niklasso/minisat — pull request #6 by PetterS (2013-06-19 19:45:56+00:00)
Title: Modifications for compilation in Windows (without Zlib)

These are the modifications I had to make to make minisat compile in Windows.