{ "info": { "author": "M. Volk", "author_email": "matthias.volk@cs.rwth-aachen.de", "bugtrack_url": null, "classifiers": [ "Intended Audience :: Science/Research", "Topic :: Scientific/Engineering", "Topic :: Software Development :: Libraries :: Python Modules" ], "description": "Stormpy - Python bindings for Storm\n===================================\n\n[![Build Status](https://travis-ci.org/moves-rwth/stormpy.svg?branch=master)](https://travis-ci.org/moves-rwth/stormpy)\n\nPython bindings for [Storm](https://github.com/moves-rwth/storm/), created using [PyBind11](http://pybind11.readthedocs.io/en/stable/intro.html).\n\nFor more information, please check the [documentation](https://moves-rwth.github.io/stormpy/).\n\n\n### Dependencies\n\nStormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/).\n\n### Authors\n\n- Sebastian Junges\n- Matthias Volk", "description_content_type": "text/markdown", "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://github.com/moves-rwth/stormpy/", "keywords": "", "license": "", "maintainer": "S. Junges", "maintainer_email": "sebastian.junges@cs.rwth-aachen.de", "name": "stormpy", "package_url": "https://pypi.org/project/stormpy/", "platform": "", "project_url": "https://pypi.org/project/stormpy/", "project_urls": { "Bug reports": "https://github.com/moves-rwth/stormpy/issues", "Documentation": "https://moves-rwth.github.io/stormpy/", "Homepage": "https://github.com/moves-rwth/stormpy/", "Source": "https://github.com/moves-rwth/stormpy/" }, "release_url": "https://pypi.org/project/stormpy/1.3.0/", "requires_dist": null, "requires_python": ">=3", "summary": "stormpy - Python Bindings for Storm", "version": "1.3.0" }, "last_serial": 5917336, "releases": { "1.3.0": [ { "comment_text": "", "digests": { "md5": "8d0c0032574a51ac4cf161e4376cf34e", "sha256": "e0d21e0c7086bacf7b4d493c831899b56e460f17fe0f8ffeeb0298302ea46f14" }, "downloads": -1, "filename": "stormpy-1.3.0.tar.gz", "has_sig": false, "md5_digest": "8d0c0032574a51ac4cf161e4376cf34e", "packagetype": "sdist", "python_version": "source", "requires_python": ">=3", "size": 758043, "upload_time": "2019-01-03T10:22:44", "url": "https://files.pythonhosted.org/packages/3b/14/1adc7d37a19a8cf547af03d2d2a9eba7955fbc6ffa8f706ffdb2c08e0c39/stormpy-1.3.0.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "8d0c0032574a51ac4cf161e4376cf34e", "sha256": "e0d21e0c7086bacf7b4d493c831899b56e460f17fe0f8ffeeb0298302ea46f14" }, "downloads": -1, "filename": "stormpy-1.3.0.tar.gz", "has_sig": false, "md5_digest": "8d0c0032574a51ac4cf161e4376cf34e", "packagetype": "sdist", "python_version": "source", "requires_python": ">=3", "size": 758043, "upload_time": "2019-01-03T10:22:44", "url": "https://files.pythonhosted.org/packages/3b/14/1adc7d37a19a8cf547af03d2d2a9eba7955fbc6ffa8f706ffdb2c08e0c39/stormpy-1.3.0.tar.gz" } ] }