Prophesy is a library and script-collection for methods handling parameter synthesis in Markov decision processes and Markov chains

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

2 maintainers

PyPI data
Data sourced directly from PyPI's database.
Avatar for mvolk from gravatar.com mvolk Avatar for sjunges from gravatar.com sjunges

Credits

Author/Maintainer: S. Junges, M. Volk

License

GPLv3

Report project as malware

Download files

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

Source Distribution

Prophesy-2.0.1.tar.gz (463.9 kB view details)

Uploaded Source

File details

Details for the file Prophesy-2.0.1.tar.gz.

File metadata

  • Download URL: Prophesy-2.0.1.tar.gz
  • Upload date:
  • Size: 463.9 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.32.1 CPython/3.6.9

File hashes

Hashes for Prophesy-2.0.1.tar.gz
Algorithm Hash digest
SHA256 a284863764ce5a3fc895d510e326fd48ddd6583374ece0ef8e6552493fc87a06
MD5 d3cf252e520a44aabc08ce964378a63b
BLAKE2b-256 5cfbaf82a5318e9396713ee24246414bd58cbe8c8971393e9796e51590881db8

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 Sentry Error logging StatusPage Status page