Leon for windows

Leon is a great piece of software that aim at leveraging program proofs to regular developpers. It currently works on Linux. Here are some tricks to make Leon work on Windows (64 bits).

• Download the x64 version of Z3 from Microsoft, and put the files libz3.dll, libz3.lib, z3.exe, msvcp100.dll, msvcr100.dll, vcomp100.dll available to the path, for example in the leon directory itself (or leon-web directory if you are working with leon-web).
• Download the 32-bit version of CVC4 (take the development version if you need the string theory), rename the executable file to cvc4.exe and make it available to the path, for example in the leon directory itself (or leon-web directory if you are working with leon-web).
• Download the following files: scalaz3.lib, scalaz3.dll and also put them in the leon directory (or leon-web directory if you are working with leon-web).
• Download the following files: libz3java.lib, libz3java.dll and also put them in the leon directory (or leon-web directory if you are working with leon-web).