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