LIBCVC4PARSER(3)            CVC4 Library Interfaces           LIBCVC4PARSER(3)

NAME
       libcvc4parser - a parser library interface for the CVC4 theorem prover

DESCRIPTION
SEE ALSO
       cvc4(1), libcvc4(3)

       Additionally, the CVC4 wiki contains useful information about the
       design and internals of CVC4.  It is maintained at
       http://cvc4.cs.stanford.edu/wiki/.

CVC4 release CVC4_RELEASE_STRING  2023-09-01                  LIBCVC4PARSER(3)