Package “CVC4” has 7 man pages.

cvc4(1)

cvc4 is an automated theorem prover for first-order formulas with respect to background theories of interest. pcvc4 is CVC4's "portfolio" variant, which is...

cvc4 is an automated theorem prover for first-order formulas with respect to background theories of interest. pcvc4 is CVC4's "portfolio" variant, which is...

libcvc4(3)

The main classes of interest in CVC4's API are ExprManager, SmtEngine, and a few related ones like Expr and Type. The ExprManager is used to build up...

The main classes of interest in CVC4's API are ExprManager, SmtEngine, and a few related ones like Expr and Type. The ExprManager is used to build up...

libcvc4compat(3)

cvc4(1), libcvc4(3), libcvc4parser(3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at...

cvc4(1), libcvc4(3), libcvc4parser(3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at...

libcvc4parser(3)

cvc4(1), libcvc4(3), libcvc4compat(3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at...

cvc4(1), libcvc4(3), libcvc4compat(3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at...

cvc4(5)

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

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