4 **cvc5** is an open-source automatic theorem prover for Satisfiability Modulo
5 Theories (SMT) problems in a large number of theories and their combination.
6 **cvc5** is the successor of `CVC4 <https://cvc4.cs.stanford.edu>`_ and is
7 intended to be an open and extensible SMT engine.
9 This space provides all documentation related to using cvc5.
17 installation/installation