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

NAME

6       libcvc4compat  -  a  CVC3  compatibility library interface for the CVC4
7       theorem prover
8

DESCRIPTION

SEE ALSO

11       cvc4(1), libcvc4(3), libcvc4parser(3)
12
13       Additionally, the CVC4  wiki  contains  useful  information  about  the
14       design and internals of CVC4.  It is maintained at http://cvc4.cs.stan‐
15       ford.edu/wiki/.
16
17
18
19CVC4 release 1.6                 February 2019                LIBCVC4COMPAT(3)