table of contents
other sections
CVC4(5) | Languages documentation | CVC4(5) |
NAME¶
cvc4 - the native input language for CVC4
DESCRIPTION¶
cvc4 is an automated theorem prover for first-order formulas with respect to background theories of interest.
HISTORY¶
SEE ALSO¶
cvc4(1), libcvc4(3), libcvc4parser(3)
Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at http://cvc4.cs.stanford.edu/wiki/.
2024-03-24 | CVC4 release CVC4_RELEASE_STRING |