.\" Process this file with
.\" groff -man -Tascii libcvc4parser.3
.\"
.TH LIBCVC4PARSER 3 "2020-10-25" "CVC4 release CVC4_RELEASE_STRING" "CVC4 Library Interfaces"
.SH NAME
libcvc4parser \- a parser library interface for the CVC4 theorem prover
.SH DESCRIPTION
.SH "SEE ALSO"
.BR cvc4 (1),
.BR libcvc4 (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/ .