libcvc4compat man page

libcvc4compat — a CVC3 compatibility library interface for the CVC4 theorem prover


See Also

cvc4(1), libcvc4(3), libcvc4parser(3)

Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4.  It is maintained at

Referenced By

cvc4(1), cvc4(5), libcvc4(3), libcvc4parser(3), options.3cvc(3), SmtEngine.3cvc(3).

February 2019 CVC4 release 1.6 CVC4 Library Interfaces