📦 libcvc4-dev

4 pages

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✨