{
    "info": {
        "author": "Asger Hautop Drewsen",
        "author_email": "asgerdrewsen@gmail.com",
        "bugtrack_url": null,
        "classifiers": [
            "License :: OSI Approved :: GNU General Public License v3 (GPLv3)",
            "Programming Language :: Python :: 3",
            "Programming Language :: Python :: 3.7"
        ],
        "description": "z4\n============\n\n[z3](z3) with some improvements:\n* Change the right shift operation on `BitVec`'s to be logical instead of arithmetic\n* Add the `ByteVec` class\n\n[z3]: https://github.com/Z3Prover/z3\n",
        "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/Tyilo/z4",
        "keywords": "",
        "license": "GPL-3.0-only",
        "maintainer": "Asger Hautop Drewsen",
        "maintainer_email": "asgerdrewsen@gmail.com",
        "name": "z4-solver",
        "package_url": "https://pypi.org/project/z4-solver/",
        "platform": "",
        "project_url": "https://pypi.org/project/z4-solver/",
        "project_urls": {
            "Homepage": "https://github.com/Tyilo/z4",
            "Repository": "https://github.com/Tyilo/z4"
        },
        "release_url": "https://pypi.org/project/z4-solver/2019.10.12.2/",
        "requires_dist": [
            "z3-solver (>=4.8,<5.0)"
        ],
        "requires_python": ">=3.7,<4.0",
        "summary": "z3++",
        "version": "2019.10.12.2"
    },
    "last_serial": 5964012,
    "releases": {
        "2019.10.12": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f7fed9c86cd722f438f93145252fed96",
                    "sha256": "14d5ab255d55651c8d2456368d799069684587938d224815de595419eea58333"
                },
                "downloads": -1,
                "filename": "z4_solver-2019.10.12-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "f7fed9c86cd722f438f93145252fed96",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 1674,
                "upload_time": "2019-10-12T11:38:02",
                "url": "https://files.pythonhosted.org/packages/ff/62/911e15442cb0620f8782a0d032577c319d3d593257865d542643a8cf8e04/z4_solver-2019.10.12-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "94ab168af35d6c65455798616360e7f9",
                    "sha256": "a9ea0f64078a5abc82105ceb88283fa57409b1b680ac15e19eb1a95202b0594b"
                },
                "downloads": -1,
                "filename": "z4-solver-2019.10.12.tar.gz",
                "has_sig": false,
                "md5_digest": "94ab168af35d6c65455798616360e7f9",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 1417,
                "upload_time": "2019-10-12T11:37:59",
                "url": "https://files.pythonhosted.org/packages/6f/ec/17f969e9d948187b8f23f2c2a1c48c19a5a99e367da14cf92cc35c9a9509/z4-solver-2019.10.12.tar.gz"
            }
        ],
        "2019.10.12.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "1990c4bf43ececcf7644a2b4a02040e3",
                    "sha256": "a3d8ee8f744afcf4ae7a1271de57b5e1901ea35dedf319ed20657de12c84b296"
                },
                "downloads": -1,
                "filename": "z4_solver-2019.10.12.1-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "1990c4bf43ececcf7644a2b4a02040e3",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 14000,
                "upload_time": "2019-10-12T11:47:24",
                "url": "https://files.pythonhosted.org/packages/b1/95/f5639f0e5a8ed6e0673709d7d78df42c547795dbdad888e32eb91be86366/z4_solver-2019.10.12.1-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "04991877da45e5080364ea5c6db4293f",
                    "sha256": "947cb08d446797e3031bfac3813fd7e2bc548957d84c77561d71c8ccb11ed9ee"
                },
                "downloads": -1,
                "filename": "z4-solver-2019.10.12.1.tar.gz",
                "has_sig": false,
                "md5_digest": "04991877da45e5080364ea5c6db4293f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 13734,
                "upload_time": "2019-10-12T11:47:22",
                "url": "https://files.pythonhosted.org/packages/81/87/d24d07006d4a14abb1ee183e976a9e895489b1208cecc67b95d8a1cefe49/z4-solver-2019.10.12.1.tar.gz"
            }
        ],
        "2019.10.12.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "100cf2c3ccb0d039af2cb1e3efdd4770",
                    "sha256": "37cd84592522bb5bb99333873b9bb71c006f79e2089e451c793a6255056e86dc"
                },
                "downloads": -1,
                "filename": "z4_solver-2019.10.12.2-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "100cf2c3ccb0d039af2cb1e3efdd4770",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 14198,
                "upload_time": "2019-10-12T11:52:42",
                "url": "https://files.pythonhosted.org/packages/a1/f2/fb41bcf1faec7bc75271ede21d46a6180229232b263508b85773da237aa7/z4_solver-2019.10.12.2-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "56a034c7a4ade965249666b996685c69",
                    "sha256": "7218fcf06e98c0040546bffbd2961c17f151aeb7286dcf34f243c3ded990b5ab"
                },
                "downloads": -1,
                "filename": "z4-solver-2019.10.12.2.tar.gz",
                "has_sig": false,
                "md5_digest": "56a034c7a4ade965249666b996685c69",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 13992,
                "upload_time": "2019-10-12T11:52:40",
                "url": "https://files.pythonhosted.org/packages/d5/ea/6dfa0ff5202d3fb6f943a38bd709be0b68efc5b7504c333c2eb58448eba1/z4-solver-2019.10.12.2.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "100cf2c3ccb0d039af2cb1e3efdd4770",
                "sha256": "37cd84592522bb5bb99333873b9bb71c006f79e2089e451c793a6255056e86dc"
            },
            "downloads": -1,
            "filename": "z4_solver-2019.10.12.2-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "100cf2c3ccb0d039af2cb1e3efdd4770",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.7,<4.0",
            "size": 14198,
            "upload_time": "2019-10-12T11:52:42",
            "url": "https://files.pythonhosted.org/packages/a1/f2/fb41bcf1faec7bc75271ede21d46a6180229232b263508b85773da237aa7/z4_solver-2019.10.12.2-py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "56a034c7a4ade965249666b996685c69",
                "sha256": "7218fcf06e98c0040546bffbd2961c17f151aeb7286dcf34f243c3ded990b5ab"
            },
            "downloads": -1,
            "filename": "z4-solver-2019.10.12.2.tar.gz",
            "has_sig": false,
            "md5_digest": "56a034c7a4ade965249666b996685c69",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.7,<4.0",
            "size": 13992,
            "upload_time": "2019-10-12T11:52:40",
            "url": "https://files.pythonhosted.org/packages/d5/ea/6dfa0ff5202d3fb6f943a38bd709be0b68efc5b7504c333c2eb58448eba1/z4-solver-2019.10.12.2.tar.gz"
        }
    ]
}