kframework/k — pull request #1037 by dwightguth (2014-10-06 20:43:20+00:00)
Title: Z3 msvc

@traiansf please review