doc/options.3cvc_template.in

   1 .\" Process this file with
   2 .\" groff -man -Tascii options.3cvc
   3 .\"
   4 .TH OPTIONS 3cvc "@MAN_DATE@" "CVC4 release @VERSION@" "CVC4 Internals Documentation"
   5 .SH NAME
   6 options \- the options infrastructure
   7
   8 .SH AVAILABLE INTERNAL OPTIONS
   9
  10 .RS
  11 .TP 10
  12 .I "COMMON OPTIONS"
  13 ${common_manpage_internals_documentation}
  14
  15 ${remaining_manpage_internals_documentation}
  16 .PD
  17 .RE
  18
  19 .SH VERSION
  20 This manual page refers to
  21 .B CVC4
  22 version @VERSION@.
  23 .SH BUGS
  24 A Bugzilla for the CVC4 project is maintained at
  25 .BR http://cvc4.cs.nyu.edu/bugzilla3/ .
  26 .SH AUTHORS
  27 .B CVC4
  28 is developed by a team of researchers at New York University
  29 and the University of Iowa.
  30 See the AUTHORS file in the distribution for a full list of
  31 contributors.
  32 .SH "SEE ALSO"
  33 .BR libcvc4 (3),
  34 .BR libcvc4parser (3),
  35 .BR libcvc4compat (3)
  36
  37 Additionally, the CVC4 wiki contains useful information about the
  38 design and internals of CVC4.  It is maintained at
  39 .BR http://cvc4.cs.nyu.edu/wiki/ .