cvc5
  • Installation
  • Binary Documentation
  • API Documentation
    • C++ API
    • Java API
    • Python API
      • Pythonic API
      • Base Python API
        • Quickstart Guide
        • Datatype
        • DatatypeConstructor
        • DatatypeConstructorDecl
        • DatatypeDecl
        • DatatypeSelector
        • Grammar
        • Kind
        • Op
        • Result
        • RoundingMode
        • Solver
        • Sort
        • Statistics
        • SynthResult
        • Term
        • UnknownExplanation
      • Which Python API should I use?
      • Installation
  • Options
  • Output tags
  • Proof production
  • Resource limits
  • Statistics
  • Examples
  • Theory References
  • References
  • Index
Other versions
cvc5-main
cvc5-1.2.1
cvc5-1.2.0
cvc5-1.1.2
cvc5-1.1.1
cvc5-1.1.0
cvc5-1.0.9
cvc5-1.0.8
cvc5-1.0.7
cvc5-1.0.2
cvc5-1.0.1
cvc5-1.0.0
cvc5
  • »
  • API Documentation »
  • Python API »
  • Base Python API

Base Python API 

This is the base Python API. It is an almost exact copy of the C++ API .

See the pythonic API for a higher-level programming experience.

  • Quickstart Guide
    • Example
  • Datatype
  • DatatypeConstructor
  • DatatypeConstructorDecl
  • DatatypeDecl
  • DatatypeSelector
  • Grammar
  • Kind
  • Op
  • Result
  • RoundingMode
  • Solver
  • Sort
  • Statistics
  • SynthResult
  • Term
  • UnknownExplanation
Previous Next

© Copyright 2022, the authors of cvc5.

Built with Sphinx using a theme provided by Read the Docs .