doc/cvc4.5.in

   1 .\" Process this file with
   2 .\" groff -man -Tascii cvc4.5
   3 .\"
   4 .TH CVC4 5 "@MAN_DATE@" "CVC4 release @VERSION@" "Languages documentation"
   5 .SH NAME
   6 cvc4 \- the native input language for CVC4
   7 .SH DESCRIPTION
   8 .B cvc4
   9 is an automated theorem prover for first-order formulas with respect
  10 to background theories of interest.
  11
  12 .SH HISTORY
  13 .SH "SEE ALSO"
  14 .BR cvc4 (1),
  15 .BR libcvc4 (3),
  16 .BR libcvc4parser (3),
  17 .BR libcvc4compat (3)
  18
  19 Additionally, the CVC4 wiki contains useful information about the
  20 design and internals of CVC4.  It is maintained at
  21 .BR http://cvc4.cs.nyu.edu/wiki/ .