1 .\" Process this file with
2 .\" groff -man -Tascii SmtEngine.3cvc
4 .TH SMTENGINE 3cvc "@MAN_DATE@" "CVC4 release @VERSION@" "CVC4 Library Interfaces"
6 SmtEngine \- the primary interface to CVC4's theorem-proving capabilities
9 is the main entry point into the CVC4 theorem prover API.
13 The SmtEngine is in charge of setting and getting information and options.
14 Numerous options are available via the
15 .I SmtEngine::setOption()
17 .I SmtEngine::setOption()
19 .I SmtEngine::getOption()
20 use the following option keys.
36 This manual page refers to
40 An issue tracker for the CVC4 project is maintained at
41 .BR https://github.com/CVC4/CVC4/issues .
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
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/ .