Package cvc4-devel

Headers and other files for developing with cvc4

http://cvc4.cs.stanford.edu/

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

Library Functions
Library Function Description
libcvc4 a library interface for the CVC4 theorem prover
libcvc4compat a CVC3 compatibility library interface for the CVC4 theorem prover
libcvc4parser a parser library interface for the CVC4 theorem prover
options.3cvc the options infrastructure
SmtEngine.3cvc the primary interface to CVC4's theorem-proving capabilities