Provided by: libcvc4-dev_1.8-3_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/.