| LIBCVC4PARSER(3) | CVC4 Library Interfaces | LIBCVC4PARSER(3) |
NAME
libcvc4parser - a parser library interface for the CVC4 theorem prover
DESCRIPTION
SEE ALSO
Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at http://cvc4.cs.stanford.edu/wiki/.
| 2023-09-01 | CVC4 release CVC4_RELEASE_STRING |