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/.

CVC4 release CVC4_RELEASE_STRING                   2024-03-31                                            CVC4(5)