TeamAmalgam/kodkod — pull request #59 by cpkleynhans (2014-05-01 03:31:39+00:00)
Title: Windows Builds with MSVC

Changes required to get KodKod to build on Windows with MSVC.
Fixes #57