📦 cvc4

6 pages

C

cvc4(1)an automated theorem prover✨
cvc4(5)the native input language for CVC4✨

L

libcvc4(3)a library interface for the CVC4 theorem prover✨
libcvc4parser(3)a parser library interface for the CVC4 theorem prover✨

O

options(3cvc)the options infrastructure✨

S

SmtEngine(3cvc)the primary interface to CVC4's theorem-proving capabilities✨