doc/libcvc4parser.3.in

   1 .\" Process this file with
   2 .\" groff -man -Tascii libcvc4parser.3
   3 .\"
   4 .TH LIBCVC4PARSER 3 "@MAN_DATE@" "CVC4 release @VERSION@" "CVC4 Library Interfaces"
   5 .SH NAME
   6 libcvc4parser \- a parser library interface for the CVC4 theorem prover
   7 .SH DESCRIPTION
   8 .SH "SEE ALSO"
   9 .BR cvc4 (1),
  10 .BR libcvc4 (3)
  11
  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/ .