Warning

Pycarl is now part of stormpy and this repository is no longer maintained. Please use the Github repository of stormpy instead.

Pycarl is a set of python bindings for the computer arithmetic and logic library carl.

Welcome to pycarl’s documentation!

Contents:

• Installation
  • Requirements
  • Installation Steps
• Getting Started
  • A Quick Tour through pycarl

Pycarl API Reference

Work in progress!

Modules:

• Pycarl core
  • Number independent types
  • Number dependent types (gmp)
  • Number dependent types (cln)
• Pycarl convert
  • Number conversion
• Pycarl formula
  • Number independent types
  • Number dependent types (gmp)
  • Number dependent types (cln)
• Pycarl parse
  • Number independent types
  • Number dependent types (gmp)
  • Number dependent types (cln)

Indices and tables

• Index

• Module Index

• Search Page