{
    "info": {
        "author": "S. Junges, M. Volk",
        "author_email": "sebastian.junges@cs.rwth-aachen.de",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "Prophesy is a library and script-collection for methods handling parameter synthesis in Markov decision processes and Markov chains",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://moves-rwth.github.io/prophesy/",
        "keywords": "",
        "license": "GPLv3",
        "maintainer": "S. Junges",
        "maintainer_email": "sebastian.junges@cs.rwth-aachen.de",
        "name": "Prophesy",
        "package_url": "https://pypi.org/project/Prophesy/",
        "platform": "",
        "project_url": "https://pypi.org/project/Prophesy/",
        "project_urls": {
            "Homepage": "https://moves-rwth.github.io/prophesy/"
        },
        "release_url": "https://pypi.org/project/Prophesy/2.0.1/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "Prophesy - Parametric Probabilistic Model Checking",
        "version": "2.0.1"
    },
    "last_serial": 5751016,
    "releases": {
        "2.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d3cf252e520a44aabc08ce964378a63b",
                    "sha256": "a284863764ce5a3fc895d510e326fd48ddd6583374ece0ef8e6552493fc87a06"
                },
                "downloads": -1,
                "filename": "Prophesy-2.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "d3cf252e520a44aabc08ce964378a63b",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 463908,
                "upload_time": "2019-08-28T20:11:01",
                "url": "https://files.pythonhosted.org/packages/5c/fb/af82a5318e9396713ee24246414bd58cbe8c8971393e9796e51590881db8/Prophesy-2.0.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "d3cf252e520a44aabc08ce964378a63b",
                "sha256": "a284863764ce5a3fc895d510e326fd48ddd6583374ece0ef8e6552493fc87a06"
            },
            "downloads": -1,
            "filename": "Prophesy-2.0.1.tar.gz",
            "has_sig": false,
            "md5_digest": "d3cf252e520a44aabc08ce964378a63b",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 463908,
            "upload_time": "2019-08-28T20:11:01",
            "url": "https://files.pythonhosted.org/packages/5c/fb/af82a5318e9396713ee24246414bd58cbe8c8971393e9796e51590881db8/Prophesy-2.0.1.tar.gz"
        }
    ]
}