Binary Documentation ¶

The easiest way to use cvc5 is usually to invoke the cvc5 binary via the command line. The quickstart guide gives a short introduction on how to use cvc5 via the SMT-LIBv2 interface.

The cvc5 binary supports the following input languages:

• SMT-LIB v2

• SyGuS-IF

• TPTP

Alternatively, cvc5 features several APIs for different programming languages.