Archived
This project has been archived by its maintainers, and is no longer receiving any updates.
[!WARNING]
Pycarl is now part of stormpy and this repository is no longer maintained. Please use the Github repository of stormpy instead.
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
Release files for pycarl 2.4.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| pycarl-2.4.0.tar.gz | 27.5 kB | Details |
Release files / pycarl-2.4.0.tar.gz
| Download URL | pycarl-2.4.0.tar.gz |
|---|---|
| Size | 27.5 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
93ed7caba3e0a0575fb2ba30c2da7e7d66cc16e2c9cbff8a7b788f33787e31b4
|
|
BLAKE2b-256 checksum How to use checksums |
eb79fc172a282c7044ac5ede5fcc125bc1dead6304cad1866e6309143cf062c1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.12.8
|
