Man page - libcvc4parser(3)
Packages contas this manual
Manual
| LIBCVC4PARSER(3) | CVC4 Library Interfaces | LIBCVC4PARSER(3) |
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/.
| 2025-04-07 | CVC4 release CVC4_RELEASE_STRING |