Published May 27, 2025
| Version 2.4.0
Software
Open
moves-rwth/pycarl: v2.4.0
Creators
- 1. Eindhoven University of Technology
- 2. Radboud University
- 3. @moves-rwth
Description
Requires carl-storm version >= 14.23
- Last release of pycarl. Pycarl is integrated into stormpy.
- Use C++20
- Updated CI
Files
moves-rwth/pycarl-2.4.0.zip
Files
(83.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:6022c0922546a6052e65c2813ef0ff12
|
83.4 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/moves-rwth/pycarl/tree/2.4.0 (URL)
Software
- Repository URL
- https://github.com/moves-rwth/pycarl