stormpy - Python Bindings for Storm

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mvolk from gravatar.com mvolk Avatar for sjunges from gravatar.com sjunges

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU GENERAL PUBLIC LICENSE
  • Author: S. Junges
  • Requires: Python >=3.10
  • Provides-Extra: numpy , plot , doc , dev , test
Classifiers
Report project as malware

Project description

Stormpy - Python bindings for Storm

Docs Badge Build Status PyPI - Version GitHub release DOI

Python bindings for Storm, created using PyBind11.

Stormpy includes Pycarl, the Python Bindings for CArL.

Get started

Get started with stormpy directly in the browser via JupyterLab:

badge

For more information on stormpy, please check the documentation.

Authors

  • Sebastian Junges
  • Matthias Volk

The development of pycarl received significant contributions from:

  • Harold Bruintjes

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mvolk from gravatar.com mvolk Avatar for sjunges from gravatar.com sjunges

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU GENERAL PUBLIC LICENSE
  • Author: S. Junges
  • Requires: Python >=3.10
  • Provides-Extra: numpy , plot , doc , dev , test
Classifiers

Release history Release notifications | RSS feed

1.13.0

This version

1.12.0

1.11.3

1.11.2

1.11.1

1.10.1

1.10.0

1.9.0

1.8.0

1.3.0

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

stormpy-1.12.0.tar.gz (605.1 kB view details)

Uploaded Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

stormpy-1.12.0-cp314-cp314t-manylinux_2_34_x86_64.whl (45.3 MB view details)

Uploaded CPython 3.14tmanylinux: glibc 2.34+ x86-64

stormpy-1.12.0-cp314-cp314t-manylinux_2_34_aarch64.whl (41.8 MB view details)

Uploaded CPython 3.14tmanylinux: glibc 2.34+ ARM64

stormpy-1.12.0-cp314-cp314t-macosx_15_0_x86_64.whl (36.8 MB view details)

Uploaded CPython 3.14tmacOS 15.0+ x86-64

stormpy-1.12.0-cp314-cp314t-macosx_14_0_arm64.whl (34.1 MB view details)

Uploaded CPython 3.14tmacOS 14.0+ ARM64

stormpy-1.12.0-cp314-cp314-manylinux_2_34_x86_64.whl (45.3 MB view details)

Uploaded CPython 3.14manylinux: glibc 2.34+ x86-64

stormpy-1.12.0-cp314-cp314-manylinux_2_34_aarch64.whl (41.8 MB view details)

Uploaded CPython 3.14manylinux: glibc 2.34+ ARM64

stormpy-1.12.0-cp314-cp314-macosx_15_0_x86_64.whl (36.5 MB view details)

Uploaded CPython 3.14macOS 15.0+ x86-64

stormpy-1.12.0-cp314-cp314-macosx_14_0_arm64.whl (33.8 MB view details)

Uploaded CPython 3.14macOS 14.0+ ARM64

stormpy-1.12.0-cp313-cp313-manylinux_2_34_x86_64.whl (45.2 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.34+ x86-64

stormpy-1.12.0-cp313-cp313-manylinux_2_34_aarch64.whl (41.7 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.34+ ARM64

stormpy-1.12.0-cp313-cp313-macosx_15_0_x86_64.whl (36.5 MB view details)

Uploaded CPython 3.13macOS 15.0+ x86-64

stormpy-1.12.0-cp313-cp313-macosx_14_0_arm64.whl (33.8 MB view details)

Uploaded CPython 3.13macOS 14.0+ ARM64

stormpy-1.12.0-cp312-cp312-manylinux_2_34_x86_64.whl (45.2 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.34+ x86-64

stormpy-1.12.0-cp312-cp312-manylinux_2_34_aarch64.whl (41.7 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.34+ ARM64

stormpy-1.12.0-cp312-cp312-macosx_15_0_x86_64.whl (36.5 MB view details)

Uploaded CPython 3.12macOS 15.0+ x86-64

stormpy-1.12.0-cp312-cp312-macosx_14_0_arm64.whl (33.8 MB view details)

Uploaded CPython 3.12macOS 14.0+ ARM64

stormpy-1.12.0-cp311-cp311-manylinux_2_34_x86_64.whl (45.2 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.34+ x86-64

stormpy-1.12.0-cp311-cp311-manylinux_2_34_aarch64.whl (41.7 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.34+ ARM64

stormpy-1.12.0-cp311-cp311-macosx_15_0_x86_64.whl (36.4 MB view details)

Uploaded CPython 3.11macOS 15.0+ x86-64

stormpy-1.12.0-cp311-cp311-macosx_14_0_arm64.whl (33.7 MB view details)

Uploaded CPython 3.11macOS 14.0+ ARM64

stormpy-1.12.0-cp310-cp310-manylinux_2_34_x86_64.whl (45.2 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.34+ x86-64

stormpy-1.12.0-cp310-cp310-manylinux_2_34_aarch64.whl (41.7 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.34+ ARM64

stormpy-1.12.0-cp310-cp310-macosx_15_0_x86_64.whl (36.4 MB view details)

Uploaded CPython 3.10macOS 15.0+ x86-64

stormpy-1.12.0-cp310-cp310-macosx_14_0_arm64.whl (33.7 MB view details)

Uploaded CPython 3.10macOS 14.0+ ARM64

File details

Details for the file stormpy-1.12.0.tar.gz.

File metadata

  • Download URL: stormpy-1.12.0.tar.gz
  • Upload date:
  • Size: 605.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.14.3

File hashes

Hashes for stormpy-1.12.0.tar.gz
Algorithm Hash digest
SHA256 cd81811fb7e4da840842b863d36dd07f2d1e381a618766dd4a1d82d710421f30
MD5 0135c52fcc55e2ac21acace507d3ae0d
BLAKE2b-256 dbe018189a851c7f414619b0c394dfe2b20b86aba0ccc561a2fcd7ba6dc5ec10

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp314-cp314t-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp314-cp314t-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 37363b06128081a14bb48adfda8981223c250a1a6adc7f6f8cf04bcb9ceec12b
MD5 de5810f7faa5673676bb374e8880c882
BLAKE2b-256 618bb7668541da1dfbbdef3e488c9bd483b121562f18a9643560e254697cea70

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp314-cp314t-manylinux_2_34_aarch64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp314-cp314t-manylinux_2_34_aarch64.whl
Algorithm Hash digest
SHA256 5d6479d9c79285cc14788c004bb7ef7947ccf8d0947bb43661057edc5c63032f
MD5 75953ee99472122416ab6db44659e349
BLAKE2b-256 487f9c834e0323aaf017f2b202be1ef237ab29e726d876e8bedca1b2e3911701

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp314-cp314t-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp314-cp314t-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 1c1fa02b470fca66240b9d9b4c3059cbb4a1b2e868228f48cc1ca8b18b1e6300
MD5 3c895940ea68f18cdff8fbb4c1af7569
BLAKE2b-256 e43a5e6861a18fbf88a76c88ccbb4f41e953d35a280087625512ad51d56c5066

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp314-cp314t-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp314-cp314t-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 6b6338a284265384c4a05c9c2b0fd8cb34767b5e0d8b560a2cb774975664f530
MD5 107f958e909544bbe2c45620d2d54a3e
BLAKE2b-256 2d7dbeed27580466546114a638e06dded741a86af8f4cbbd0caa6d9a5faa4f2c

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp314-cp314-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp314-cp314-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 291258e708b35f5d8cdffd1667e998249da5c84f6fe55886cec65b2234da7710
MD5 1bae51bb2fa32a781613be6c0b9dcc77
BLAKE2b-256 72cd632b448488cd664a84027777bb435fa42d11a1277110c6beecdbdf298866

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp314-cp314-manylinux_2_34_aarch64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp314-cp314-manylinux_2_34_aarch64.whl
Algorithm Hash digest
SHA256 0b378fb7cc05bbf719f8815547eb9b0fd4a9ff226a650bf5b777531318d1ee43
MD5 60cee7c911020c804fdabfcf0d67bd6d
BLAKE2b-256 b1540f1eaa2ea04c93d4c15eb72dc22e7cb9ccde92b8473950dd2f7bcddbff3f

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp314-cp314-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp314-cp314-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 dfb94464ba38ebd1e8b6a4db39f1fde7d6bc4c02a369388596ea2420072efdbd
MD5 ebb74143a1bcf1a13a7a9553abb4a4d6
BLAKE2b-256 bd04baa11fcd2da7255f1edce97f18d7c58a4308ed4d4e4276d5cac76a35ca35

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp314-cp314-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp314-cp314-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 6eb39576e74239df9edff737757ac6997d7e9acbf520bf0831105c3b046cac0c
MD5 bba435d891bde54be4b4602473e2c376
BLAKE2b-256 5dc338ef27839e5082786a28113372c6d8fe9d10ffc91b1aa81ce5e05662ccc9

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp313-cp313-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp313-cp313-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 9b5a0f924a3efb6a9febbad21309fd0135118d02b223c5b851ea6a9407a2b9aa
MD5 99dac143835bab00e426421a2a0c6be2
BLAKE2b-256 3bca192e425579c2199d3997ba3a0fd4d8dabb3f74ec5d5e256ad3157dfcc82f

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp313-cp313-manylinux_2_34_aarch64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp313-cp313-manylinux_2_34_aarch64.whl
Algorithm Hash digest
SHA256 5befbf885be254e53f845ffd30106812dfc1e84c5d31764cff08d8bcbc01f499
MD5 b9bbf64c385e6849619506bdef4df7f1
BLAKE2b-256 1786c1a791581cd97fa3d5aa5d4d905c788b1e6003bb3830d5247db0e6e9d441

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp313-cp313-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp313-cp313-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 0a9ff8f2c0a008d1b780508eb1fd0df368659c0ec6668ebfa549a81d959d3ab3
MD5 de95b6ba79003a509287ce9d965c0de8
BLAKE2b-256 0085db869ea4e5dadeb75da7644334be2d647ccc05bfa736ef9f33cdddc8c278

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp313-cp313-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp313-cp313-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 35dd027f14d14c2469443d519d1d1eacdb1f6b23f0972251e1cf363279c9deb6
MD5 10e68be2269b1ba14a03eab9ba428695
BLAKE2b-256 6d819c1896061e44e19d620f2d281bb7f2d924643c8f783691ad898669038d45

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp312-cp312-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp312-cp312-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 33895e6c9657af7626138c19b03584623bc6d09c9a15871ff066a60261cc36e8
MD5 8420181e277f2229be6b71402ec32708
BLAKE2b-256 1ce047676d383e0a6b9989fb4e03fb88f878ebd8ad6034165fce6d97ca568921

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp312-cp312-manylinux_2_34_aarch64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp312-cp312-manylinux_2_34_aarch64.whl
Algorithm Hash digest
SHA256 b11cc61691d069c1f1a3cd40b245acfaaabe8ff3247ae63cf45bc7f8a1e8fdb6
MD5 fa7d5e68a9ca514c72413d251ed0a3eb
BLAKE2b-256 3c9575fe98131c2adf93b1386026e5ef5ea8b69bac7770a8e4df6f68c39a3aa1

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp312-cp312-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp312-cp312-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 29c6871dfbfdca5f72dcec78c79a25655eb7eeaa1afbaa3ed32f0e3b1747d2e1
MD5 9322ff69611867e94134992657bc535f
BLAKE2b-256 ff5d31acacc2599f3fdfb4afc327a6e0f3a7fa258186a80b42015e066d591743

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 d8bb15f7366462d99ff4554f0c4bf0f26963e9a442fd4f7ae20f9a5f85f8f0d6
MD5 b4e1a9ff22744f54dbec901e16c77813
BLAKE2b-256 939a72ebe4080e9f77d321270729eb10ba664186b064bd642e6d104849e60dee

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp311-cp311-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp311-cp311-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 bb37a7f448582bb75cd31e5a80cac02b3dd71b0d795998508e8c5c58f3733d34
MD5 3045d9c4cfbfbe45eb3191fee54b43d1
BLAKE2b-256 08eafcd3b1a3e77535d4fac274fdaed86770a265e55a9c45e12b526fd3a9eb28

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp311-cp311-manylinux_2_34_aarch64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp311-cp311-manylinux_2_34_aarch64.whl
Algorithm Hash digest
SHA256 35d70e2d2de88feab788d67e56178af8afa57a7d407109cf8c4c002eab4cef68
MD5 2dbc57cfc74a70d44c68bbddfabcc3bc
BLAKE2b-256 d23e2108a9052e27a30a1dc8564c159859f81776403c25bf356ae8d853de5882

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp311-cp311-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp311-cp311-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 f299ff422d2c94b3f44edafa03e742489bbc6ba387ce7607a30c849fcac65c6d
MD5 da621dcd7cf8a56c740007b549bd8a2f
BLAKE2b-256 70fca6a03dee4bcbc2d130e97e9df7c986c8637b484b70edcc7e140884915b76

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 156854a596cc1dfa0be2344c685390af68e0d91f15c9db7648d94b944f5c58fd
MD5 a3dc628f590deacd96d65b5f22b1c138
BLAKE2b-256 ae1e3de3c475f5fd6f06eafb77fb4d349e96ad18b88165f4272ce597adce4911

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp310-cp310-manylinux_2_34_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp310-cp310-manylinux_2_34_x86_64.whl
Algorithm Hash digest
SHA256 fa7ba24f926ae470b8152548bbcf723ef9d99fb3388513f8052a544ba183dd9d
MD5 6fb37cdc041d3dc15c7bb89bfb46ce5b
BLAKE2b-256 0052e83b0d1f970588aef6f7040d40a6ffdeb0dfc8dcf8c1d3367c16151475cf

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp310-cp310-manylinux_2_34_aarch64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp310-cp310-manylinux_2_34_aarch64.whl
Algorithm Hash digest
SHA256 4189178789ddfb0647222486f8e58cb1f6e01c08f08acbbe9f54fe0aa428a33a
MD5 9a78bbc16283b9f30dd5d37addbda3e7
BLAKE2b-256 ec18297b6b4e4fe5c93d4fd09607dde71c724a08ad2957db25c8bf2000f41b07

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp310-cp310-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp310-cp310-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 92ac1cb5d013c508c4f465e4e8b8bce816e58f43d0455a54975e560bb08a6e36
MD5 31c5ac85a80c73732f623d250187d705
BLAKE2b-256 6fe5c7db956833a8fdead16c7dbd95d0087a8d85e6b8482670f0d3f5cf6d37cd

See more details on using hashes here.

File details

Details for the file stormpy-1.12.0-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for stormpy-1.12.0-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 619bf5b1811943dc3c9348872191c0116918b4a82fb4f2424fac2130f7c2d979
MD5 b29568f984ab2c9121b73fd307d7b8f3
BLAKE2b-256 9fe018dfffa6289512ed3acc679a08e3c9db61ab279f62016c3182c9c90c27d4

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page