libcvc4parser

a parser library interface for the CVC4 theorem prover

Provided by: libcvc4-dev (Version: 1.8-2)
Source: cvc4
Report a bug

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