{
    "info": {
        "author": "Matthew Ballance",
        "author_email": "matt.ballance@gmail.com",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 5 - Production/Stable",
            "Intended Audience :: Developers",
            "License :: OSI Approved :: MIT License",
            "Operating System :: OS Independent",
            "Programming Language :: Python",
            "Programming Language :: Python :: 2",
            "Programming Language :: Python :: 2.7",
            "Programming Language :: Python :: 3",
            "Programming Language :: Python :: 3.4",
            "Programming Language :: Python :: 3.5",
            "Programming Language :: Python :: 3.6",
            "Programming Language :: Python :: 3.7",
            "Programming Language :: Python :: 3.8",
            "Programming Language :: Python :: Implementation :: CPython",
            "Programming Language :: Python :: Implementation :: PyPy",
            "Topic :: Software Development :: Libraries :: Python Modules",
            "Topic :: Text Processing :: Markup"
        ],
        "description": "This package, specifically, enables the Boolector Python wrapper to be installed from Py-Pi\n\n\n",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "https://pypi.org/project/PyBoolector/",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/mballance/pyboolector",
        "keywords": "",
        "license": "Apache 2.0",
        "maintainer": "",
        "maintainer_email": "",
        "name": "PyBoolector",
        "package_url": "https://pypi.org/project/PyBoolector/",
        "platform": "Any",
        "project_url": "https://pypi.org/project/PyBoolector/",
        "project_urls": {
            "Download": "https://pypi.org/project/PyBoolector/",
            "Homepage": "https://github.com/mballance/pyboolector"
        },
        "release_url": "https://pypi.org/project/PyBoolector/3.0.0.1/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "Python wrapper around the Boolector SMT solver",
        "version": "3.0.0.1"
    },
    "last_serial": 5969613,
    "releases": {
        "3.0.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "6f14f5c86029d72257c399e13a8c7da3",
                    "sha256": "8a4877e1481f2ef4fab44b8e349296803588479ecc26e6778436050ab1082f22"
                },
                "downloads": -1,
                "filename": "PyBoolector-3.0.0.1-cp27-cp27m-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "6f14f5c86029d72257c399e13a8c7da3",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 1533082,
                "upload_time": "2019-10-14T02:51:34",
                "url": "https://files.pythonhosted.org/packages/ac/3d/7146998eb955909bd03994d9c83b117985b70f233437c2a351bf81c01263/PyBoolector-3.0.0.1-cp27-cp27m-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "9b61257f9142b7621eabfe94b6372d55",
                    "sha256": "131003445a1ae9b085121546de6ec0381a0d23623e17511047de6eeb80689565"
                },
                "downloads": -1,
                "filename": "PyBoolector-3.0.0.1-cp34-cp34m-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "9b61257f9142b7621eabfe94b6372d55",
                "packagetype": "bdist_wheel",
                "python_version": "cp34",
                "requires_python": null,
                "size": 1641582,
                "upload_time": "2019-10-14T02:51:39",
                "url": "https://files.pythonhosted.org/packages/b4/dd/c6abf77d3f178bb8b1feadcdc197cdaad0143a8bd59853d503c12facc321/PyBoolector-3.0.0.1-cp34-cp34m-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "7019d5592171b6d52feb7e70ab5155d9",
                    "sha256": "cbb3e74527d1b56b4a4729604c9ae43fff573181b06d52016e82cff3327aeb69"
                },
                "downloads": -1,
                "filename": "PyBoolector-3.0.0.1-cp35-cp35m-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "7019d5592171b6d52feb7e70ab5155d9",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 1645430,
                "upload_time": "2019-10-14T02:51:44",
                "url": "https://files.pythonhosted.org/packages/63/05/2597f7c21fea7798dad554bdf1e6ccb9b8b13093bbd3a91f1d289a5359f4/PyBoolector-3.0.0.1-cp35-cp35m-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f7ad0564bf311ab7231e55fde84ab346",
                    "sha256": "3031fe58be3e35c3c000adcef4efe81dfc3737b2e4e1252842293687c9fe3a57"
                },
                "downloads": -1,
                "filename": "PyBoolector-3.0.0.1-cp36-cp36m-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "f7ad0564bf311ab7231e55fde84ab346",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 1699810,
                "upload_time": "2019-10-14T02:51:48",
                "url": "https://files.pythonhosted.org/packages/cf/82/6557ac1862213ca286bee12d62d20bce90ee194d055e814569fc8223c9fd/PyBoolector-3.0.0.1-cp36-cp36m-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "de55c509a17a2365987aa4a452a1b8c3",
                    "sha256": "aba3e2e8de55088f5010ed6e7bc84de05990dec68d6c9f7ec1624974f91c32dc"
                },
                "downloads": -1,
                "filename": "PyBoolector-3.0.0.1-cp37-cp37m-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "de55c509a17a2365987aa4a452a1b8c3",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 1688533,
                "upload_time": "2019-10-14T02:51:53",
                "url": "https://files.pythonhosted.org/packages/a2/2c/25c8d090ec68ab3d483a68928f3a6099c5ad11d3347a830ec427b87ae795/PyBoolector-3.0.0.1-cp37-cp37m-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a367be4d6189e58a9da3db0f6d66611b",
                    "sha256": "7cb228652d9eb058b8eb5636fa610dde12302a9081127292299beb3841c54284"
                },
                "downloads": -1,
                "filename": "PyBoolector-3.0.0.1-cp38-cp38-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "a367be4d6189e58a9da3db0f6d66611b",
                "packagetype": "bdist_wheel",
                "python_version": "cp38",
                "requires_python": null,
                "size": 1718162,
                "upload_time": "2019-10-14T02:51:57",
                "url": "https://files.pythonhosted.org/packages/76/0f/517066331c5822498a56d03882af2e9579b1446a5e18a228870394cbcec5/PyBoolector-3.0.0.1-cp38-cp38-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "dc71b4747040e5fbf42af3632ef43fa9",
                    "sha256": "6cd8597cd28be4cefa3b53e2816ab7092d1ea2fb2dc1ded53cd4fb8dadb3e1ee"
                },
                "downloads": -1,
                "filename": "PyBoolector-3.0.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "dc71b4747040e5fbf42af3632ef43fa9",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 20406,
                "upload_time": "2019-10-14T02:51:59",
                "url": "https://files.pythonhosted.org/packages/f1/fd/f829e574b18d79b49dce2d554cbabcaa8360d9af67fe6b74338d18696512/PyBoolector-3.0.0.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "6f14f5c86029d72257c399e13a8c7da3",
                "sha256": "8a4877e1481f2ef4fab44b8e349296803588479ecc26e6778436050ab1082f22"
            },
            "downloads": -1,
            "filename": "PyBoolector-3.0.0.1-cp27-cp27m-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "6f14f5c86029d72257c399e13a8c7da3",
            "packagetype": "bdist_wheel",
            "python_version": "cp27",
            "requires_python": null,
            "size": 1533082,
            "upload_time": "2019-10-14T02:51:34",
            "url": "https://files.pythonhosted.org/packages/ac/3d/7146998eb955909bd03994d9c83b117985b70f233437c2a351bf81c01263/PyBoolector-3.0.0.1-cp27-cp27m-manylinux1_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "9b61257f9142b7621eabfe94b6372d55",
                "sha256": "131003445a1ae9b085121546de6ec0381a0d23623e17511047de6eeb80689565"
            },
            "downloads": -1,
            "filename": "PyBoolector-3.0.0.1-cp34-cp34m-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "9b61257f9142b7621eabfe94b6372d55",
            "packagetype": "bdist_wheel",
            "python_version": "cp34",
            "requires_python": null,
            "size": 1641582,
            "upload_time": "2019-10-14T02:51:39",
            "url": "https://files.pythonhosted.org/packages/b4/dd/c6abf77d3f178bb8b1feadcdc197cdaad0143a8bd59853d503c12facc321/PyBoolector-3.0.0.1-cp34-cp34m-manylinux1_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "7019d5592171b6d52feb7e70ab5155d9",
                "sha256": "cbb3e74527d1b56b4a4729604c9ae43fff573181b06d52016e82cff3327aeb69"
            },
            "downloads": -1,
            "filename": "PyBoolector-3.0.0.1-cp35-cp35m-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "7019d5592171b6d52feb7e70ab5155d9",
            "packagetype": "bdist_wheel",
            "python_version": "cp35",
            "requires_python": null,
            "size": 1645430,
            "upload_time": "2019-10-14T02:51:44",
            "url": "https://files.pythonhosted.org/packages/63/05/2597f7c21fea7798dad554bdf1e6ccb9b8b13093bbd3a91f1d289a5359f4/PyBoolector-3.0.0.1-cp35-cp35m-manylinux1_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "f7ad0564bf311ab7231e55fde84ab346",
                "sha256": "3031fe58be3e35c3c000adcef4efe81dfc3737b2e4e1252842293687c9fe3a57"
            },
            "downloads": -1,
            "filename": "PyBoolector-3.0.0.1-cp36-cp36m-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "f7ad0564bf311ab7231e55fde84ab346",
            "packagetype": "bdist_wheel",
            "python_version": "cp36",
            "requires_python": null,
            "size": 1699810,
            "upload_time": "2019-10-14T02:51:48",
            "url": "https://files.pythonhosted.org/packages/cf/82/6557ac1862213ca286bee12d62d20bce90ee194d055e814569fc8223c9fd/PyBoolector-3.0.0.1-cp36-cp36m-manylinux1_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "de55c509a17a2365987aa4a452a1b8c3",
                "sha256": "aba3e2e8de55088f5010ed6e7bc84de05990dec68d6c9f7ec1624974f91c32dc"
            },
            "downloads": -1,
            "filename": "PyBoolector-3.0.0.1-cp37-cp37m-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "de55c509a17a2365987aa4a452a1b8c3",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": null,
            "size": 1688533,
            "upload_time": "2019-10-14T02:51:53",
            "url": "https://files.pythonhosted.org/packages/a2/2c/25c8d090ec68ab3d483a68928f3a6099c5ad11d3347a830ec427b87ae795/PyBoolector-3.0.0.1-cp37-cp37m-manylinux1_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "a367be4d6189e58a9da3db0f6d66611b",
                "sha256": "7cb228652d9eb058b8eb5636fa610dde12302a9081127292299beb3841c54284"
            },
            "downloads": -1,
            "filename": "PyBoolector-3.0.0.1-cp38-cp38-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "a367be4d6189e58a9da3db0f6d66611b",
            "packagetype": "bdist_wheel",
            "python_version": "cp38",
            "requires_python": null,
            "size": 1718162,
            "upload_time": "2019-10-14T02:51:57",
            "url": "https://files.pythonhosted.org/packages/76/0f/517066331c5822498a56d03882af2e9579b1446a5e18a228870394cbcec5/PyBoolector-3.0.0.1-cp38-cp38-manylinux1_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "dc71b4747040e5fbf42af3632ef43fa9",
                "sha256": "6cd8597cd28be4cefa3b53e2816ab7092d1ea2fb2dc1ded53cd4fb8dadb3e1ee"
            },
            "downloads": -1,
            "filename": "PyBoolector-3.0.0.1.tar.gz",
            "has_sig": false,
            "md5_digest": "dc71b4747040e5fbf42af3632ef43fa9",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 20406,
            "upload_time": "2019-10-14T02:51:59",
            "url": "https://files.pythonhosted.org/packages/f1/fd/f829e574b18d79b49dce2d554cbabcaa8360d9af67fe6b74338d18696512/PyBoolector-3.0.0.1.tar.gz"
        }
    ]
}