ScalaZ3 and Visual Studio 2012 Express for Windows Desktop

Create a local clone of the repository

Version control software is available from GitHub

Create a Windows DLL project

You will probably want to add 32-bit and 64-bit configurations. The DLL configuration must match the version of the Java VM (32-bit or 64-bit) installed.

(Optional) Migrate the Windows DLL project to Eclipse

An article discussing the procedure for building the DLLs in the Eclipse environment can be found at http://www.ibm.com/developerworks/library/os-ecl-vscdt/index.html?ca=dgr-eclipse-1