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.

See also: cvc4.

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