cvc4-1.5-prerelease
|
Files | |
file | cvc4.h [code] |
Main header file for CVC4 library functionality. | |
file | cvc4_public.h [code] |
Macros that should be defined everywhere during the building of the libraries and driver binary, and also exported to the user. | |