Pycarl - Python Bindings for CArL

Warning

Pycarl is now part of stormpy and this repository is no longer maintained. Please use the Github repository of stormpy instead.

Python bindings for CArL, created using PyBind11.

For more information, please check the documentation.

Main developers:

The development of pycarl received significant contributions from:

Name		Name	Last commit message	Last commit date
Latest commit History 401 Commits
.github		.github
cmake		cmake
doc		doc
examples		examples
lib/pycarl		lib/pycarl
resources		resources
setup		setup
src		src
tests		tests
.dockerignore		.dockerignore
.git-blame-ignore-revs		.git-blame-ignore-revs
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
CMakeLists.txt		CMakeLists.txt
Dockerfile		Dockerfile
MANIFEST.in		MANIFEST.in
README.md		README.md
pyproject.toml		pyproject.toml
setup.py		setup.py