semvec/pypi-packages huggingface dataset:
pycarl 2.4.0
pycarl - Python Bindings for CArL
Requires Python: >=3.7

> [!WARNING]
> ## Pycarl is now part of [stormpy](https://moves-rwth.github.io/stormpy/) and this repository is no longer maintained. Please use the [Github repository of stormpy](https://github.com/moves-rwth/stormpy) instead.


Pycarl - Python Bindings for CArL
=================================

[![Build Status](https://github.com/moves-rwth/pycarl/workflows/Build%20Test/badge.svg)](https://github.com/moves-rwth/pycarl/actions)
[![GitHub release](https://img.shields.io/github/release/moves-rwth/pycarl.svg)](https://github.com/moves-rwth/pycarl/releases/)
[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7763164.svg)](https://doi.org/10.5281/zenodo.7763164)

Python bindings for [CArL](https://github.com/moves-rwth/carl-storm), 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:

Main developers:
- Sebastian Junges
- Matthias Volk

The development of pycarl received significant contributions from:
- Harold Bruintjes