1OPTIONS(3cvc)            CVC4 Internals Documentation            OPTIONS(3cvc)
2
3
4

NAME

6       options - the options infrastructure
7
8

AVAILABLE INTERNAL OPTIONS

10              COMMON OPTIONS
11                        $
12
13                        $
14
15
16

VERSION

18       This manual page refers to CVC4 version CVC4_RELEASE_STRING.
19

BUGS

21       An   issue   tracker   for   the   CVC4   project   is   maintained  at
22       https://github.com/CVC4/CVC4/issues.
23

AUTHORS

25       CVC4 is developed by a team of researchers at Stanford  University  and
26       the University of Iowa.  See the AUTHORS file in the distribution for a
27       full list of contributors.
28

SEE ALSO

30       libcvc4(3), libcvc4parser(3)
31
32       Additionally, the CVC4 wiki contains useful information about  the  de‐
33       sign  and  internals of CVC4.  It is maintained at http://cvc4.cs.stan‐
34       ford.edu/wiki/.
35
36
37
38CVC4 release CVC4_RELEASE_STRING  2021-07-21                     OPTIONS(3cvc)
Impressum