1SMTENGINE(3cvc)             CVC4 Library Interfaces            SMTENGINE(3cvc)
2
3
4

NAME

6       SmtEngine  -  the primary interface to CVC4's theorem-proving capabili‐
7       ties
8

DESCRIPTION

10       SmtEngine is the main entry point into the CVC4 theorem prover API.
11
12

SMTENGINE OPTIONS

14       The SmtEngine is in charge  of  setting  and  getting  information  and
15       options.  Numerous options are available via the SmtEngine::setOption()
16       call.  SmtEngine::setOption() and SmtEngine::getOption() use  the  fol‐
17       lowing option keys.
18
19
20
21              COMMON OPTIONS
22                        $
23
24                        $
25
26
27

VERSION

29       This manual page refers to CVC4 version CVC4_RELEASE_STRING.
30

BUGS

32       An   issue   tracker   for   the   CVC4   project   is   maintained  at
33       https://github.com/CVC4/CVC4/issues.
34

AUTHORS

36       CVC4 is developed by a team of researchers at Stanford  University  and
37       the University of Iowa.  See the AUTHORS file in the distribution for a
38       full list of contributors.
39

SEE ALSO

41       libcvc4(3), libcvc4parser(3)
42
43       Additionally, the CVC4  wiki  contains  useful  information  about  the
44       design and internals of CVC4.  It is maintained at http://cvc4.cs.stan‐
45       ford.edu/wiki/.
46
47
48
49CVC4 release CVC4_RELEASE_STRING  2020-11-27                   SMTENGINE(3cvc)
Impressum