libcvc4parser(3) a parser library interface for the CVC4 theorem prover Section 3 libcvc4-dev bookworm source Description LIBCVC4PARSER 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/.