Microsoft Research Community

Hello - I apologize up-front for the newbie question.  I'm trying to get started using the Z3 C API, and am looking for documentation for getting the environment situated, building, linking, and executing programs which use this API.  I'm on a windows machine and have LCC, but also Cygwin with GCC.  Any intro information would be extremely helpful.  

 Thanks very much.

 -Ben 

The release comes with an examples\c directory. Invoke the build.cmd script from that directory.

The build script assumes the Visual C++ compiler "cl" on your path. If you don't have Visual Studio, you can download one from http://www.microsoft.com/express/download/#webInstall

Thanks

Nikolaj