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), libcvc4compat(3)
11
12       Additionally,  the  CVC4  wiki  contains  useful  information about the
13       design and internals of CVC4.  It is maintained at http://cvc4.cs.stan‐
14       ford.edu/wiki/.
15
16
17
18CVC4 release 1.6                 February 2019                LIBCVC4PARSER(3)