README

This document contains information about the Windows port of CVC3. It explains decisions and lists problems that occurred during the port, and how they have been addressed.

Note that you can use cygwin to built CVC3 as explained in .., this port is concerned with the Microsoft C++ Compiler.

Configuration

• Stack Limit as explained in .. the default stack limit does often not suffice. To address this Linker/System/Stack Reserve Size is increased in the cvc3lib project settings

• Preprocessor Defines to address builds on different platforms with different compilers the following definitions are used:
• DEBUG : if defined then debugging assertions in CVC3 are enabled
• _MSC_VER: if defined then an MS C compiler is used
• _MANAGED: if defined then CLI is targeted

http://www.mobydisk.com/softdev/techinfo/cpptips.html

• Disabled Warnings

A number of warnings has been disabled in the project settings.

Limitations:

gmp is not supported on Windows. Therefore only finite precision arithmetic is supported, which often leads to overflow failures and termination.

Potential Problems

While no unsoundness problems are known, the Windows version did not pass a complete test run over the smtlib without unexpected terminations, i.e. unexplained crashes.

Deployment

Basically untested. Created two setup projects, cvc3 and cvc3cli, which should created installers for the C++ and the CLI version.

   http://www.cs.nyu.edu/acsys/cvc3

---