Package cvc4-devel

Headers and other files for developing with cvc4

http://cvc4.cs.nyu.edu/web/

Header files and library links for developing applications that use cvc4.

Library Functions (Section 3)
libcvc4
The main classes of interest in CVC4's API are ExprManager, SmtEngine, and a few related ones like Expr and Type. The ExprManager is used to build up...
libcvc4compat
cvc4(1), libcvc4(3), libcvc4parser(3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at...
libcvc4parser
cvc4(1), libcvc4(3), libcvc4compat(3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at...
options.3cvc
the options infrastructure
SmtEngine.3cvc
SmtEngine is the main entry point into the CVC4 theorem prover API.