Provided by: libcvc4-dev_1.8-3build2_amd64 bug

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/.