cvc4 man page

cvc4 — the native input language for CVC4


cvc4 is an automated theorem prover for first-order formulas with respect to background theories of interest.

See Also

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

Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at http://cvc4.cs.nyu.edu/wiki/.

Referenced By


Explore man page connections for cvc4(5).

CVC4 release 1.4 May 2016