{
    "info": {
        "author": "The Z3 Theorem Prover Project",
        "author_email": "",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.\n\nFor documentation, please read http://z3prover.github.io/api/html/z3.html\n\nIn the event of technical difficulties related to configuration, compiliation, or installation, please submit issues to https://github.com/angr/angr-z3\n\n",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/Z3Prover/z3",
        "keywords": "z3,smt,sat,prover,theorem",
        "license": "MIT License",
        "maintainer": "Audrey Dutcher",
        "maintainer_email": "audrey@rhelmot.io",
        "name": "z3-solver-mythril",
        "package_url": "https://pypi.org/project/z3-solver-mythril/",
        "platform": "",
        "project_url": "https://pypi.org/project/z3-solver-mythril/",
        "project_urls": {
            "Homepage": "https://github.com/Z3Prover/z3"
        },
        "release_url": "https://pypi.org/project/z3-solver-mythril/4.8.4.1/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "an efficient SMT solver library",
        "version": "4.8.4.1"
    },
    "last_serial": 4741038,
    "releases": {
        "4.8.4.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d9cb69b26cae7a3d511d0b3abee42846",
                    "sha256": "1e1ac57e486adfcf391f7ecc7b6de4da7ebbb7af03da32687a7e5ed7870be4a4"
                },
                "downloads": -1,
                "filename": "z3_solver_mythril-4.8.4.1-py3-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "d9cb69b26cae7a3d511d0b3abee42846",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 19992285,
                "upload_time": "2019-01-25T17:26:01",
                "url": "https://files.pythonhosted.org/packages/11/12/91600af9401c88ed1d29731de245657b5517f164af05ee9d27565b48b290/z3_solver_mythril-4.8.4.1-py3-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1918299bd6321a4ab9df69cab4e0fae8",
                    "sha256": "16986cb10e18da3d70ba0e9694b037eeea43524ac725d10cf4cdc6387164b8b4"
                },
                "downloads": -1,
                "filename": "z3-solver-mythril-4.8.4.1.tar.gz",
                "has_sig": false,
                "md5_digest": "1918299bd6321a4ab9df69cab4e0fae8",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 4181989,
                "upload_time": "2019-01-25T17:26:07",
                "url": "https://files.pythonhosted.org/packages/3c/f7/d7e22110f59de19ed69d6fe8fdb06f697927d41de192aefae8bf76022566/z3-solver-mythril-4.8.4.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "d9cb69b26cae7a3d511d0b3abee42846",
                "sha256": "1e1ac57e486adfcf391f7ecc7b6de4da7ebbb7af03da32687a7e5ed7870be4a4"
            },
            "downloads": -1,
            "filename": "z3_solver_mythril-4.8.4.1-py3-none-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "d9cb69b26cae7a3d511d0b3abee42846",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": null,
            "size": 19992285,
            "upload_time": "2019-01-25T17:26:01",
            "url": "https://files.pythonhosted.org/packages/11/12/91600af9401c88ed1d29731de245657b5517f164af05ee9d27565b48b290/z3_solver_mythril-4.8.4.1-py3-none-manylinux1_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "1918299bd6321a4ab9df69cab4e0fae8",
                "sha256": "16986cb10e18da3d70ba0e9694b037eeea43524ac725d10cf4cdc6387164b8b4"
            },
            "downloads": -1,
            "filename": "z3-solver-mythril-4.8.4.1.tar.gz",
            "has_sig": false,
            "md5_digest": "1918299bd6321a4ab9df69cab4e0fae8",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 4181989,
            "upload_time": "2019-01-25T17:26:07",
            "url": "https://files.pythonhosted.org/packages/3c/f7/d7e22110f59de19ed69d6fe8fdb06f697927d41de192aefae8bf76022566/z3-solver-mythril-4.8.4.1.tar.gz"
        }
    ]
}