cvc4-1.5-prerelease
File List
Here is a list of all files with brief descriptions:
[detail level 123]
  src
  include
 cvc4.hMain header file for CVC4 library functionality
 cvc4_public.hMacros that should be defined everywhere during the building of the libraries and driver binary, and also exported to the user