C++ API

The C++ API is the primary interface for cvc5 and exposes the full functionality of cvc5.

The quickstart guide gives a short introduction, while the following class hierarchy of the cvc5 namespace provides more details on the individual classes. For most applications, the Solver class is the main entry point to cvc5.

Class hierarchy

namespace cvc5 {
namespace modes {

}

namespace parser {

}

}