docs/index.rst

   1 cvc5 Documentation
   2 ==================
   3
   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.
   8
   9 This space provides all documentation related to using cvc5.
  10
  11
  12 Table of Contents
  13 ^^^^^^^^^^^^^^^^^
  14 .. toctree::
  15    :maxdepth: 1
  16
  17    installation/installation
  18    binary/binary
  19    api/api
  20    proofs/proofs
  21    examples/examples
  22    theories/theories
  23    references
  24    genindex