1LIBCVC4PARSER(3)            CVC4 Library Interfaces           LIBCVC4PARSER(3)
2
3
4

NAME

6       libcvc4parser - a parser library interface for the CVC4 theorem prover
7

DESCRIPTION

SEE ALSO

10       cvc4(1), libcvc4(3)
11
12       Additionally,  the  CVC4 wiki contains useful information about the de‐
13       sign and internals of CVC4.  It is maintained  at  http://cvc4.cs.stan
14       ford.edu/wiki/.
15
16
17
18CVC4 release CVC4_RELEASE_STRING  2022-02-05                  LIBCVC4PARSER(3)
Impressum