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 (x86-64 variants of Linux and macOS)
      • Installation (ARM64 variants of Linux and macOS)
  • 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
    • Datatype
  • DatatypeConstructor
    • DatatypeConstructor
  • DatatypeConstructorDecl
    • DatatypeConstructorDecl
  • DatatypeDecl
    • DatatypeDecl
  • DatatypeSelector
    • DatatypeSelector
  • Grammar
    • Grammar
  • Kind
    • Kind
  • Op
    • Op
  • Result
    • Result
  • RoundingMode
    • RoundingMode
  • Solver
    • Solver
  • Sort
    • Sort
  • Statistics
    • Statistics
  • SynthResult
    • SynthResult
  • Term
    • Term
  • UnknownExplanation
    • UnknownExplanation
Previous Next

© Copyright 2023, the authors of cvc5.

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