1 .\" Process this file with
2 .\" groff -man -Tascii libcvc4parser.3
4 .TH LIBCVC4PARSER 3 "@MAN_DATE@" "CVC4 release @VERSION@" "CVC4 Library Interfaces"
6 libcvc4parser \- a parser library interface for the CVC4 theorem prover
12 Additionally, the CVC4 wiki contains useful information about the
13 design and internals of CVC4. It is maintained at
14 .BR http://cvc4.cs.stanford.edu/wiki/ .