1CVC4(5)                     Languages documentation                    CVC4(5)
2
3
4

NAME

6       cvc4 - the native input language for CVC4
7

DESCRIPTION

9       cvc4  is  an  automated  theorem  prover  for first-order formulas with
10       respect to background theories of interest.
11
12

HISTORY

SEE ALSO

15       cvc4(1), libcvc4(3), libcvc4parser(3), libcvc4compat(3)
16
17       Additionally, the CVC4  wiki  contains  useful  information  about  the
18       design and internals of CVC4.  It is maintained at http://cvc4.cs.stan‐
19       ford.edu/wiki/.
20
21
22
23CVC4 release 1.6                 February 2019                         CVC4(5)