Man page - libcvc4parser(3)

Packages contains this manual

Package:  libcvc4-dev
apt-get install libcvc4-dev

Manuals in package:
• libcvc4parser(3)
• libcvc4(3)
Documentations in package:
• libcvc4-dev

Manual

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