You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

491 B

Pycarl - Python Bindings for CArL

Build Status

Python bindings for CArL, created using PyBind11.

For more information, please check the documentation.

Authors:

  • Harold Bruintjes
  • Sebastian Junges
  • Matthias Volk