cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems that supports a large number of theories and their combination. It is the successor of CVC4 and is intended to be an open and extensible SMT engine.
This space provides all documentation related to using cvc5.
.. toctree:: :maxdepth: 1 installation/installation binary/binary api/api options output-tags proofs/proofs resource-limits skolem-ids statistics examples/examples theories/theories references genindex