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  op‐
15       tions.   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  de‐
44       sign  and  internals of CVC4.  It is maintained at http://cvc4.cs.stan‐
45       ford.edu/wiki/.
46
47
48
49CVC4 release CVC4_RELEASE_STRING  2021-06-02                   SMTENGINE(3cvc)
Impressum