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 re‐
10       spect to background theories of interest.
11
12

HISTORY

SEE ALSO

15       cvc4(1), libcvc4(3), libcvc4parser(3)
16
17       Additionally, the CVC4 wiki contains useful information about  the  de‐
18       sign  and  internals of CVC4.  It is maintained at http://cvc4.cs.stan‐
19       ford.edu/wiki/.
20
21
22
23CVC4 release CVC4_RELEASE_STRING  2023-01-19                           CVC4(5)