doc/SmtEngine.3cvc_template.in

   1 .\" Process this file with
   2 .\" groff -man -Tascii SmtEngine.3cvc
   3 .\"
   4 .TH SMTENGINE 3cvc "@MAN_DATE@" "CVC4 release @VERSION@" "CVC4 Library Interfaces"
   5 .SH NAME
   6 SmtEngine \- the primary interface to CVC4's theorem-proving capabilities
   7 .SH DESCRIPTION
   8 .B SmtEngine
   9 is the main entry point into the CVC4 theorem prover API.
  10
  11 .SH SMTENGINE OPTIONS
  12
  13 The SmtEngine is in charge of setting and getting information and options.
  14 Numerous options are available via the
  15 .I SmtEngine::setOption()
  16 call.
  17 .I SmtEngine::setOption()
  18 and
  19 .I SmtEngine::getOption()
  20 use the following option keys.
  21
  22 .ad l
  23
  24 .RS
  25 .TP 10
  26 .I "COMMON OPTIONS"
  27 ${man_common_smt}$
  28
  29 ${man_others_smt}$
  30 .PD
  31 .RE
  32
  33 .ad b
  34
  35 .SH VERSION
  36 This manual page refers to
  37 .B CVC4
  38 version @VERSION@.
  39 .SH BUGS
  40 An issue tracker for the CVC4 project is maintained at
  41 .BR https://github.com/CVC4/CVC4/issues .
  42 .SH AUTHORS
  43 .B CVC4
  44 is developed by a team of researchers at Stanford University
  45 and the University of Iowa.
  46 See the AUTHORS file in the distribution for a full list of
  47 contributors.
  48 .SH "SEE ALSO"
  49 .BR libcvc4 (3),
  50 .BR libcvc4parser (3)
  51
  52 Additionally, the CVC4 wiki contains useful information about the
  53 design and internals of CVC4.  It is maintained at
  54 .BR http://cvc4.cs.stanford.edu/wiki/ .