The source code and dockerfile for the GSW2024 AI Lab.
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.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
|
|
Pycarl - Python Bindings for CArL=================================
[](https://travis-ci.org/moves-rwth/pycarl)
Python bindings for [CArL](https://github.com/smtrat/carl), created using [PyBind11](http://pybind11.readthedocs.io/en/stable/intro.html).
For more information, please check the [documentation](https://moves-rwth.github.io/pycarl/).
### Authors:
- Harold Bruintjes- Sebastian Junges- Matthias Volk
|
