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