.\" Process this file with
.\" groff -man -Tascii cvc4.5
.\"
.TH CVC4 5 "2020-09-17" "CVC4 release CVC4_RELEASE_STRING" "Languages documentation"
.SH NAME
cvc4 \- the native input language for CVC4
.SH DESCRIPTION
.B cvc4
is an automated theorem prover for first-order formulas with respect
to background theories of interest.

.SH HISTORY
.SH "SEE ALSO"
.BR cvc4 (1),
.BR libcvc4 (3),
.BR libcvc4parser (3)

Additionally, the CVC4 wiki contains useful information about the
design and internals of CVC4.  It is maintained at
.BR http://cvc4.cs.stanford.edu/wiki/ .