doc/libcvc4.3.in

   1 .\" Process this file with
   2 .\" groff -man -Tascii libcvc4.3
   3 .\"
   4 .TH LIBCVC4 3 "@MAN_DATE@" "CVC4 release @VERSION@" "CVC4 Library Interfaces"
   5 .SH NAME
   6 libcvc4 \- a library interface for the CVC4 theorem prover
   7 .SH DESCRIPTION
   8 .SH "SEE ALSO"
   9 .BR cvc4 (1),
  10 .BR libcvc4parser (3),
  11 .BR libcvc4compat (3)
  12
  13 Additionally, the CVC4 wiki contains useful information about the
  14 design and internals of CVC4.  It is maintained at
  15 .BR http://goedel.cs.nyu.edu/wiki/ .