Pycarl - Python Bindings for CArL

Python bindings for CArL, created using PyBind11.

For more information, please check the documentation.

Authors:

Main developers:

Sebastian Junges
Matthias Volk

The development of pycarl received significant contributions from:

Harold Bruintjes