Warning

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

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)