{
    "info": {
        "author": "Soonho Kong",
        "author_email": "soonho.kong@gmail.com",
        "bugtrack_url": null,
        "classifiers": [
            "License :: OSI Approved :: Apache Software License",
            "Operating System :: MacOS",
            "Operating System :: POSIX :: Linux",
            "Programming Language :: Python :: 3",
            "Programming Language :: Python :: 3.5",
            "Programming Language :: Python :: 3.6",
            "Programming Language :: Python :: 3.7"
        ],
        "description": "dReal4: SMT Solver for Nonlinear Theories of Reals\n\nPlease visit https://github.com/dreal/dreal4.\n\n\nPrecompiled Wheels\n------------------\n\nWe provide precompiled distributions (`.whl`) for the following environments:\n\n - macOS 10.15 / 10.14 / 10.13 + CPython 3.7\n - Linux + CPython 3.5 / 3.6 / 3.7\n\nYou still need to install dReal prerequisites such as IBEX and CLP in\nyour system. To install them, please follow the instructions below:\n\nmacOS 10.15 / 10.14 / 10.13\n\n    brew install dreal --only-dependencies\n\nUbuntu 18.04 / 16.04\n\n    curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install.sh | sudo bash\n\n\nBuild from Source\n-----------------\n\nIf `pip` fails to find a precompiled distribution, it fetchs dReal\nsource and build it from scratch. You need to install the required\npackages to do so. To install them, please follow the instructions\nbelow:\n\nmacOS 10.15 / 10.14 / 10.13\n\n    brew install dreal --only-dependencies --build-from-source\n\nUbuntu 18.04 / 16.04\n\n    curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh | sudo bash\n\n\n\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/dreal/dreal4",
        "keywords": "dreal,smt,theorem,prover",
        "license": "",
        "maintainer": "",
        "maintainer_email": "",
        "name": "dreal",
        "package_url": "https://pypi.org/project/dreal/",
        "platform": "",
        "project_url": "https://pypi.org/project/dreal/",
        "project_urls": {
            "Bug Reports": "https://github.com/dreal/dreal4/issues",
            "Homepage": "https://github.com/dreal/dreal4",
            "Source": "https://github.com/dreal/dreal4"
        },
        "release_url": "https://pypi.org/project/dreal/4.19.10.2/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "SMT Solver for Nonlinear Theories of Reals",
        "version": "4.19.10.2"
    },
    "last_serial": 5947136,
    "releases": {
        "4.18.11.2.7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f4115f17cc4dbd2bf973361419710c20",
                    "sha256": "cbe7a05f2afb7d036d403619500b4dc15c60c02dc063a3516917decd08467b0e"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.2.7-py2-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "f4115f17cc4dbd2bf973361419710c20",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 772686,
                "upload_time": "2018-11-15T06:40:45",
                "url": "https://files.pythonhosted.org/packages/a7/47/65e1b5e20c372dc0a92788e99d407ab30b7140b754976a444a98186848d2/dreal-4.18.11.2.7-py2-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "85d54ad5c9ac693c74cd845b910448c2",
                    "sha256": "2b2f86a580c08dc9405b417acd005cc03b8031c58bab3c2686fa536f78a67567"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.2.7-py2-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "85d54ad5c9ac693c74cd845b910448c2",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 783507,
                "upload_time": "2018-11-15T05:53:53",
                "url": "https://files.pythonhosted.org/packages/fa/d5/b9e6f81a98e82d20f06d2f80f5ea6968ac5169ea0a77185797c808ec8a0c/dreal-4.18.11.2.7-py2-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "46fa299960248ed68cbde81b32364d3b",
                    "sha256": "c6d88ec1e05ca666374559b1b8035a8aaa0e4f25480f4d52e661c5d7584be4c2"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.2.7-py2-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "46fa299960248ed68cbde81b32364d3b",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 905367,
                "upload_time": "2018-11-15T05:57:22",
                "url": "https://files.pythonhosted.org/packages/5d/d5/df563d2769e7a1d7fc14e6ca32937b367f023b02d3cd4a796ce41f097006/dreal-4.18.11.2.7-py2-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1b80de045208b4fd72f8dd629c1dafcc",
                    "sha256": "86a8a6b846abb8eb5ea3c68f2153e280764a4b6fb89b5df861bbea584c6832e3"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.2.7-py3-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "1b80de045208b4fd72f8dd629c1dafcc",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 771707,
                "upload_time": "2018-11-15T06:40:47",
                "url": "https://files.pythonhosted.org/packages/7d/2f/0c759d1f5c778aaab99d92bdf5d843c79a724810c3cca9f6e2ab8f5b2886/dreal-4.18.11.2.7-py3-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "47fb3bebbdf639d0b3c783c02e10fcc4",
                    "sha256": "9db4aac4d5814cc5f2a226fcce785c8f4569f7caceebdcbd43f3aca2dc7842c8"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.2.7-py3-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "47fb3bebbdf639d0b3c783c02e10fcc4",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 781970,
                "upload_time": "2018-11-15T06:22:11",
                "url": "https://files.pythonhosted.org/packages/02/5f/85d39259bfdf328446905b600355a84e75622331ee000405d94c3fdcb161/dreal-4.18.11.2.7-py3-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "10d0d19ca6d91bcb57b3d4684e020ded",
                    "sha256": "6614bfebd8272c24cd2f9703d99d865f729b5e8e77811eec37e437e413df0d6b"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.2.7-py3-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "10d0d19ca6d91bcb57b3d4684e020ded",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 782093,
                "upload_time": "2018-11-15T05:53:56",
                "url": "https://files.pythonhosted.org/packages/60/f2/e7275808478c93f1727edd7a531e4cf2ec80449b48d4bee118c3e853b7b0/dreal-4.18.11.2.7-py3-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "fd3173cbdccba2b3f4b06c887e2d7306",
                    "sha256": "1bc11a6e25e92e6c83d10d2b2fa4bd72fe7f466274be95fd44f445097d521d15"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.2.7-py3-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "fd3173cbdccba2b3f4b06c887e2d7306",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 903606,
                "upload_time": "2018-11-15T05:57:24",
                "url": "https://files.pythonhosted.org/packages/d4/0d/cb726b4d5fa09e27b25663deacc2804bee31bc6c78d1f7971c635a34d5cc/dreal-4.18.11.2.7-py3-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "34277d6695cd14251f02e185dc9ca8dc",
                    "sha256": "62fe0a1b50d07390e6740487d59bc12f8a792f367938d8e215bf65f67de4b3e8"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.2.7.tar.gz",
                "has_sig": false,
                "md5_digest": "34277d6695cd14251f02e185dc9ca8dc",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 771995,
                "upload_time": "2018-11-15T05:53:58",
                "url": "https://files.pythonhosted.org/packages/18/54/c58edd49535743438e79fd0c42cdca5da9d8cb7d437fd643049bdff7144b/dreal-4.18.11.2.7.tar.gz"
            }
        ],
        "4.18.11.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "77d6090a03e748c9418f796229d48062",
                    "sha256": "ceb9a68257a2da338eb9459f0193c4a42be9ab7dd5f6aa2f4727d613475274a3"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.3-py2-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "77d6090a03e748c9418f796229d48062",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 773881,
                "upload_time": "2018-11-18T16:58:50",
                "url": "https://files.pythonhosted.org/packages/6e/2b/bf7c26cd5df608275f94361716323dd2ab1d77de8fbc80b5547980a8dc89/dreal-4.18.11.3-py2-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "881eeb306e2f4230915e186054547e18",
                    "sha256": "97c273b7fe07110d814b1297beef06424383ba9f3333e06ecf0e8d78dc8701ba"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.3-py2-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "881eeb306e2f4230915e186054547e18",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 784713,
                "upload_time": "2018-11-18T16:59:56",
                "url": "https://files.pythonhosted.org/packages/8d/ab/d63173f08941b9c1293dacada1be04a7a904a41a2cc7a78e7211943a5dd3/dreal-4.18.11.3-py2-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "12a12cc34b814fd9fc4246c016fdeee9",
                    "sha256": "72ee83071354e05a7f00c7845d1d4c64dd4bf8ec6570be0fb0588c0bc43988b4"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.3-py3-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "12a12cc34b814fd9fc4246c016fdeee9",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 772903,
                "upload_time": "2018-11-18T16:58:52",
                "url": "https://files.pythonhosted.org/packages/b9/a5/714c021d5f839de0f0c5992e9d1fea0af3b1b742340d7926cd1b34854395/dreal-4.18.11.3-py3-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "6d09cf6ddf0d742d91c3b035781ddf31",
                    "sha256": "c81e4bdaa443658b11181907c98e068656191caec3e49d250a60ad1318bbf0ef"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.3-py3-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "6d09cf6ddf0d742d91c3b035781ddf31",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 783185,
                "upload_time": "2018-11-18T17:08:28",
                "url": "https://files.pythonhosted.org/packages/e9/91/30f1716616095fd0a74f3f39a9ca8db64dba249a8dfd340fef0b11cc86c4/dreal-4.18.11.3-py3-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "4ad98e0e0432558db52443b4f46f1844",
                    "sha256": "f8050d143601485d856e4e1b91bb25234828e80f837edffb4221d3f92c217308"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.3-py3-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "4ad98e0e0432558db52443b4f46f1844",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 783300,
                "upload_time": "2018-11-18T17:00:01",
                "url": "https://files.pythonhosted.org/packages/62/c2/67588d0560eb4ca70b4534de851d5a5bacb8010b9a8ae3bd4f53bb51209a/dreal-4.18.11.3-py3-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "bc4e8901025964ec041d659101bd0c33",
                    "sha256": "1cd67f25ffa3fc3000f455ec40264d2268d3170c024c36bfaa30ab35b31f65a8"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.3.tar.gz",
                "has_sig": false,
                "md5_digest": "bc4e8901025964ec041d659101bd0c33",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 766665,
                "upload_time": "2018-11-18T16:58:54",
                "url": "https://files.pythonhosted.org/packages/78/33/2060357798c8cc946eee45098eea8975f81651d189b31e2de19d4997295e/dreal-4.18.11.3.tar.gz"
            }
        ],
        "4.18.11.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "7e035321d146dd57603f5b3b0f8b87ff",
                    "sha256": "32d3e5e1b1b7e262423a5acdba0a055805d6d95a4a2e280a033e2eb229392b19"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.4-py2-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "7e035321d146dd57603f5b3b0f8b87ff",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 783642,
                "upload_time": "2018-11-30T18:31:43",
                "url": "https://files.pythonhosted.org/packages/c6/2f/df021411e538aa0ed01691677b1e0fa4cf8d9521904b6fdd77e07ce6df05/dreal-4.18.11.4-py2-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "b2575210de59e15590cd82b7a9705833",
                    "sha256": "dd9c362faa39564a91988aab3225606fad914e8a87495112a2071165fefba9fa"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.4-py2-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "b2575210de59e15590cd82b7a9705833",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 793379,
                "upload_time": "2018-11-30T18:33:55",
                "url": "https://files.pythonhosted.org/packages/ea/6e/d41c2a1fbecf70f59292a899729279d46a6dcb96dabf0655756d0445fccf/dreal-4.18.11.4-py2-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "bf0c9f914f95d50b048e1b8e744954a0",
                    "sha256": "b9039cb6d9d3130a29bc393c11c965c72facded583033d018ef2f30b84cf4d82"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.4-py2-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "bf0c9f914f95d50b048e1b8e744954a0",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 911790,
                "upload_time": "2018-11-30T17:58:37",
                "url": "https://files.pythonhosted.org/packages/78/15/1f838af758ae4c0023d83f40b90cc89707d58c15ee77bc9bebac054048a5/dreal-4.18.11.4-py2-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "b1ee0feba0bb0d6f1731d2a937575ea1",
                    "sha256": "30dc8287f31cc1cf99e37be4f8e8034be690f04bdba2a63301050f6d9fdc46da"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.4-py3-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "b1ee0feba0bb0d6f1731d2a937575ea1",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 782495,
                "upload_time": "2018-11-30T18:31:45",
                "url": "https://files.pythonhosted.org/packages/00/e2/3b420f7eddf4b16e0e158a71d40fb142e2698c4d11bf84d9eefcacf67f25/dreal-4.18.11.4-py3-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f608c516cc992f2c29bac4ae0541569e",
                    "sha256": "19146cf29b23bdc33edb5d2ba46b60121acc63c47c7e3e3e1f95d6dd09c47e6a"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.4-py3-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "f608c516cc992f2c29bac4ae0541569e",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 791956,
                "upload_time": "2018-11-30T18:33:56",
                "url": "https://files.pythonhosted.org/packages/9f/70/71e59913219a07bc936aa939da5276fb7489a06f2a58ef3d8ba75b87f5c7/dreal-4.18.11.4-py3-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "25b0c15beb22663e63e84c5a062fe45d",
                    "sha256": "8ad10975a3ee309ce58fc2a98774b2e1301ac99cbba9e35411bf18aa69041ede"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.4-py3-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "25b0c15beb22663e63e84c5a062fe45d",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 792136,
                "upload_time": "2018-11-30T18:24:34",
                "url": "https://files.pythonhosted.org/packages/12/da/a31219ed1170f92331bfcdfe33c88892c99a202eb2d5834dfb9b789f482a/dreal-4.18.11.4-py3-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "bf29d2ed6109033189adedb51281c513",
                    "sha256": "9bab8635bf04136e841470b1707aa8468608eb15b267a01b813d585c23a98b66"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.4-py3-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "bf29d2ed6109033189adedb51281c513",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 911028,
                "upload_time": "2018-11-30T17:59:32",
                "url": "https://files.pythonhosted.org/packages/14/b5/86d5122a2d5a2ea041d65bc79bd5aae93ddb934be2ad1f547a8dfafaf556/dreal-4.18.11.4-py3-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "4cf93e8644643e61b854bcee4c391fb4",
                    "sha256": "4888968112b9be5a035503e8eef69864a5e14556e5744c4006a28864f8aca6fe"
                },
                "downloads": -1,
                "filename": "dreal-4.18.11.4.tar.gz",
                "has_sig": false,
                "md5_digest": "4cf93e8644643e61b854bcee4c391fb4",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 901671,
                "upload_time": "2018-11-30T17:58:39",
                "url": "https://files.pythonhosted.org/packages/f6/26/0ffc4de3114ddaf53913100819b4c9b713f097354e95258dd3b60cc54102/dreal-4.18.11.4.tar.gz"
            }
        ],
        "4.19.10.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "4d5c888ed4e4651e9a90b9b29e7d73b6",
                    "sha256": "105e43cf84170b64bd8ddb7d291860932cb245fc964232b67408b19f704c9d42"
                },
                "downloads": -1,
                "filename": "dreal-4.19.10.2-cp35-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "4d5c888ed4e4651e9a90b9b29e7d73b6",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 1084972,
                "upload_time": "2019-10-08T23:53:05",
                "url": "https://files.pythonhosted.org/packages/e7/5b/07b52ac874e18a08987ef014e4a1e6f0ac6a02bacb7e1bd0ef3ee31b361e/dreal-4.19.10.2-cp35-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "7455d08fbbfaf481c1a354acf574fb8e",
                    "sha256": "10648dd19f9dc60554c219de97b1a05a6d7a41bf367adcd29f3c3b55255f4766"
                },
                "downloads": -1,
                "filename": "dreal-4.19.10.2-cp36-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "7455d08fbbfaf481c1a354acf574fb8e",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 1074311,
                "upload_time": "2019-10-08T22:46:25",
                "url": "https://files.pythonhosted.org/packages/3d/9c/7c84af8f0cb8c91e79674a43cec8cc042401558ac26569c049cd4f4a0462/dreal-4.19.10.2-cp36-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "8ba2a4445531adde3779f5b647d306a6",
                    "sha256": "9fd13c7b2ca536747062593271c3f97540d1af0b589cba353dc77db9b752469b"
                },
                "downloads": -1,
                "filename": "dreal-4.19.10.2-cp37-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "8ba2a4445531adde3779f5b647d306a6",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 942819,
                "upload_time": "2019-10-08T18:36:56",
                "url": "https://files.pythonhosted.org/packages/f6/8f/f2c984c4d7d838eb66de0d8cb1c68823bbbc5cd0aa30d1520a130d2ff53d/dreal-4.19.10.2-cp37-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "39748bcf0c9100660371a653176cae21",
                    "sha256": "e9b972b3570e63f26415a1b92c4e26c9c7b73b70c0b6903357f9fa0167950ebd"
                },
                "downloads": -1,
                "filename": "dreal-4.19.10.2-cp37-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "39748bcf0c9100660371a653176cae21",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 943704,
                "upload_time": "2019-10-08T18:41:19",
                "url": "https://files.pythonhosted.org/packages/a1/88/e9a0998957a2560721575468a4b0b670919d066243755381037a8a299639/dreal-4.19.10.2-cp37-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "6f330eb7ef662e042ce1e9333ff4d005",
                    "sha256": "b7ac8965984f8e214e55a1801e6305cee093906a72e1123199ac194963f85c84"
                },
                "downloads": -1,
                "filename": "dreal-4.19.10.2-cp37-none-macosx_10_15_x86_64.whl",
                "has_sig": false,
                "md5_digest": "6f330eb7ef662e042ce1e9333ff4d005",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 943704,
                "upload_time": "2019-10-08T18:38:53",
                "url": "https://files.pythonhosted.org/packages/1a/b0/a8ce056258cd947d0b60f25d41479bac09e688f6775ee26f0173f33fd864/dreal-4.19.10.2-cp37-none-macosx_10_15_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "8f7f880d4a53e26377173bb2d070d484",
                    "sha256": "ddd68b03cd5e227b3b26321231e7f05d142882a9932f083bb4bf19f327b69809"
                },
                "downloads": -1,
                "filename": "dreal-4.19.10.2-cp37-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "8f7f880d4a53e26377173bb2d070d484",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 1103801,
                "upload_time": "2019-10-08T23:16:18",
                "url": "https://files.pythonhosted.org/packages/26/2d/304838c4aa1116f0cc87be3f70ddd7bb0596c4f1d386efca35c836f52c69/dreal-4.19.10.2-cp37-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "3a07f50f90384e120f944b60fb056b2a",
                    "sha256": "f85c08b350d7910249941ea03e8e19e79bd376f7fa25fe1987b7312760373f89"
                },
                "downloads": -1,
                "filename": "dreal-4.19.10.2.tar.gz",
                "has_sig": false,
                "md5_digest": "3a07f50f90384e120f944b60fb056b2a",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 244316,
                "upload_time": "2019-10-08T18:36:58",
                "url": "https://files.pythonhosted.org/packages/83/71/fc2bfde5c2da8383bff6190d92b33580cb69c83976d27a022aa25a5d5535/dreal-4.19.10.2.tar.gz"
            }
        ],
        "4.19.2.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "65b1632cc81a5399ac08519c982367c4",
                    "sha256": "07649fc6272bfadea1245f480e279ba9e60f525fe7140e38cd7f834f2ba79ddc"
                },
                "downloads": -1,
                "filename": "dreal-4.19.2.1-py2-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "65b1632cc81a5399ac08519c982367c4",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 811092,
                "upload_time": "2019-02-13T01:44:51",
                "url": "https://files.pythonhosted.org/packages/8e/04/3f321a4b5ee404b392771e39291d9b54037f85ef6c5a56ae896db3980be9/dreal-4.19.2.1-py2-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f6451e2ab59565b0daa5ae8e049b4b04",
                    "sha256": "bb5fb922b2002510d989d9e462dbdd2a359e781b5653b54fe91e036038c1ea26"
                },
                "downloads": -1,
                "filename": "dreal-4.19.2.1-py2-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "f6451e2ab59565b0daa5ae8e049b4b04",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 836190,
                "upload_time": "2019-02-12T22:14:06",
                "url": "https://files.pythonhosted.org/packages/df/fa/9c6d0456ca232c07cf3e9ee613e5e09fba3e75c2de420cd2dc048b4acb61/dreal-4.19.2.1-py2-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "20587efc19f0952b039c216463e1d73c",
                    "sha256": "1f8c5ee387c856d43679573ac8154f143a42bdd4d0afea13232fc5a44a2318a2"
                },
                "downloads": -1,
                "filename": "dreal-4.19.2.1-py2-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "20587efc19f0952b039c216463e1d73c",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 852028,
                "upload_time": "2019-02-12T17:36:12",
                "url": "https://files.pythonhosted.org/packages/14/41/7bf049a16697ee7f6ce3e9e25efd9c50536bff89773580bbc5bd2d611495/dreal-4.19.2.1-py2-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f6b414a222b3d80f95757e247fccdb6f",
                    "sha256": "361bd442c74cb011e38aae5a223fd461f222f89c541f25e13116706c76f66b82"
                },
                "downloads": -1,
                "filename": "dreal-4.19.2.1-py2-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "f6b414a222b3d80f95757e247fccdb6f",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 934882,
                "upload_time": "2019-02-12T17:45:51",
                "url": "https://files.pythonhosted.org/packages/ef/1f/f6d87d1beda293c1a819ca639ae49b5a36d3176628c39c3aa7c0fff2e882/dreal-4.19.2.1-py2-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "35b89658bc35223262ac0e96e1cfb1a9",
                    "sha256": "e76ca2806240becd4a405ba608fba91be7a1dfffaa4591c94280506fff018ab9"
                },
                "downloads": -1,
                "filename": "dreal-4.19.2.1-py3-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "35b89658bc35223262ac0e96e1cfb1a9",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 809574,
                "upload_time": "2019-02-13T01:44:52",
                "url": "https://files.pythonhosted.org/packages/74/92/dc428872d40edb93dce47a4710bf75f63402108bba4c8d600e574956bb9d/dreal-4.19.2.1-py3-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "c43c4af06f06f1da1335b64033228df2",
                    "sha256": "cb8b481665609493e4445b6667cf73f8a888444ffc4e8df8a78cd8e71c2d383f"
                },
                "downloads": -1,
                "filename": "dreal-4.19.2.1-py3-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "c43c4af06f06f1da1335b64033228df2",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 834693,
                "upload_time": "2019-02-12T22:14:08",
                "url": "https://files.pythonhosted.org/packages/59/05/030b9b1209775811239e0d55cc56e1ea58f4942e07a91d165bac8bf8f1b1/dreal-4.19.2.1-py3-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "4993d3b451769df91c9ea3ee288ad6b4",
                    "sha256": "5e440008bae40779953f543fb160ce87dcbd5e3be7eaea233c472fa139f12439"
                },
                "downloads": -1,
                "filename": "dreal-4.19.2.1-py3-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "4993d3b451769df91c9ea3ee288ad6b4",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 850581,
                "upload_time": "2019-02-12T17:39:23",
                "url": "https://files.pythonhosted.org/packages/fb/74/bed0c4e02a33c92177648f5c148c28cd2ef50b6ff98635be5285755676d6/dreal-4.19.2.1-py3-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "429a7142f7794f8f1a96ffb90845cff4",
                    "sha256": "bd8b092f439555bb505aee19a8d9b46e8d1916148627ed4cb5f9128ee03ce1fc"
                },
                "downloads": -1,
                "filename": "dreal-4.19.2.1-py3-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "429a7142f7794f8f1a96ffb90845cff4",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 933434,
                "upload_time": "2019-02-12T17:45:53",
                "url": "https://files.pythonhosted.org/packages/4f/df/93ab1b5dbbefe77d8fadfe8e8cb17bd0d68a0cdfb96814dd78dabf654fa4/dreal-4.19.2.1-py3-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "789169f74d29a10fce793b7041dfa848",
                    "sha256": "fec4397ac9d9a3adeecff848a5616abecd98d4c56d31fa4b74db9e8a42f55b34"
                },
                "downloads": -1,
                "filename": "dreal-4.19.2.1.tar.gz",
                "has_sig": false,
                "md5_digest": "789169f74d29a10fce793b7041dfa848",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 843305,
                "upload_time": "2019-02-12T17:36:23",
                "url": "https://files.pythonhosted.org/packages/24/df/e676c7496195eba3bcb0a2721c6d88129157b645c9e23b6cf28ab304189d/dreal-4.19.2.1.tar.gz"
            }
        ],
        "4.19.3.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "77fbc944d13181b543a671c4ef4d095c",
                    "sha256": "fa1c35f8a54618bc1c57c19ea1d35c3e9d57d5b11236059ab372082fe79a7eff"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1-cp27-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "77fbc944d13181b543a671c4ef4d095c",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 686092,
                "upload_time": "2019-03-15T00:27:35",
                "url": "https://files.pythonhosted.org/packages/e0/c9/d87bc8b48c17458dd82009e74d33f7516c38394724e56e873cab9a340a48/dreal-4.19.3.1-cp27-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "e5f1b0fb205e6e7a1009715bb43fb663",
                    "sha256": "f5705cbd6ef33831a67bdb4c6be74366c85ef1ec5018f1501170b05f85461543"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1-cp27-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "e5f1b0fb205e6e7a1009715bb43fb663",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 699557,
                "upload_time": "2019-03-15T00:05:16",
                "url": "https://files.pythonhosted.org/packages/65/47/725bc5e1316293741611faa17c32f86574d37da5bfcf6407219d3d7b079d/dreal-4.19.3.1-cp27-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a2ce6a14129c671b537df086e73470bc",
                    "sha256": "ca63005085081aca995fb35fa08c03dfa7020e9c93e0c877399c72801d815737"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1-cp27-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "a2ce6a14129c671b537df086e73470bc",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 699708,
                "upload_time": "2019-03-11T05:26:53",
                "url": "https://files.pythonhosted.org/packages/ef/19/7a32a9cc46acf6a8aae956b6dd75745be0c4ab7892b2ef5c592635340e1b/dreal-4.19.3.1-cp27-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "c3437c48dca95673aa0189e7f2067d89",
                    "sha256": "134448da7c703700854892313ac780cf600d1dd172533d757eb09fabcf9a2854"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1-cp27-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "c3437c48dca95673aa0189e7f2067d89",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 752840,
                "upload_time": "2019-03-11T04:50:54",
                "url": "https://files.pythonhosted.org/packages/f0/c3/82cfd0ddb19aeb82f5c3bd7c17c4784964e888093954c219bac32dc3b4d4/dreal-4.19.3.1-cp27-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "2889355abe1b0afced0a5776c3462d9d",
                    "sha256": "e86974b9c04ea69bf19637d5d3cc7cbb6b011e0190a21a0e31195ae92ab5a64b"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1-cp35-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "2889355abe1b0afced0a5776c3462d9d",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 750535,
                "upload_time": "2019-03-11T04:52:37",
                "url": "https://files.pythonhosted.org/packages/5d/dd/7e2af1fa18c90d78ba91a7c5edbc735d2eda7ce79381a4f065ad2c47e68b/dreal-4.19.3.1-cp35-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "82944f299f359eb6d0335a9bdd120785",
                    "sha256": "b07ee2fd5bdeef9eea61bd87844c3027fc5de7ba739fbea0c84aa427fbc1d33c"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1-cp36-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "82944f299f359eb6d0335a9bdd120785",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 751772,
                "upload_time": "2019-03-11T05:20:12",
                "url": "https://files.pythonhosted.org/packages/65/eb/2c3f790f37e3c2d9d2fc20ad49827df77e80a7540f8df787cdb066342a06/dreal-4.19.3.1-cp36-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a791b8397536e044a449e2cc41cda108",
                    "sha256": "ee4d52ee024ddf13cf94e0e4a2d03fdfa3e60684474e43e9356f69c8f06d28c5"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1-cp37-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "a791b8397536e044a449e2cc41cda108",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 684291,
                "upload_time": "2019-03-15T00:27:37",
                "url": "https://files.pythonhosted.org/packages/e3/c8/28104fa8a70b2069d18856370d5d86b7a0f67922e7b92d090d795399e7ed/dreal-4.19.3.1-cp37-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "615c5b43a0218e35b1a696ecaf0a187b",
                    "sha256": "4c9f50408da4865198596fbc527f7ff44747a667b0c7cb96e564e13bd48990aa"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1-cp37-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "615c5b43a0218e35b1a696ecaf0a187b",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 697737,
                "upload_time": "2019-03-15T00:05:17",
                "url": "https://files.pythonhosted.org/packages/9e/b9/d6ef97409c10a14599068b584fed83de60027cf9ad14d1a00074e07e1055/dreal-4.19.3.1-cp37-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "c85bd1b05c2e38e96a088539ce401b68",
                    "sha256": "f66ecf5246797c10f058584e0d1d4c9a655feedeaca7bf43640cf23803776f0a"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1-cp37-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "c85bd1b05c2e38e96a088539ce401b68",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 697898,
                "upload_time": "2019-03-11T05:26:55",
                "url": "https://files.pythonhosted.org/packages/00/aa/1c1c87c5b171ce89c7ec9f3d54cd312274c8eb57b8e7e43d34a3589d66d7/dreal-4.19.3.1-cp37-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "14841ab49173ca338dd6084411ae15e6",
                    "sha256": "27f7767b0dd2e546dfedbc83edca57941edd0ae2dda6a1086d174e8a091ed860"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1-cp37-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "14841ab49173ca338dd6084411ae15e6",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 751823,
                "upload_time": "2019-03-11T15:08:41",
                "url": "https://files.pythonhosted.org/packages/a1/9f/6eabbd32e8c079c12ba626a0c8554f3e5bf94b194429af3e3bb846505a2a/dreal-4.19.3.1-cp37-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "eac7c02fb725120f25ac8b16f4abce8b",
                    "sha256": "d03a991440aed9934b7f42142469c4c85c5f2dcc868336599a74e3fc3a120a95"
                },
                "downloads": -1,
                "filename": "dreal-4.19.3.1.tar.gz",
                "has_sig": false,
                "md5_digest": "eac7c02fb725120f25ac8b16f4abce8b",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 746122,
                "upload_time": "2019-03-11T04:50:55",
                "url": "https://files.pythonhosted.org/packages/3b/06/5318435559ec7bc1f78dbce5d4ade7111b00e87a070d69cdfa9a33f28b73/dreal-4.19.3.1.tar.gz"
            }
        ],
        "4.19.4.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "4ac544752be44eeac73fc390a2e16509",
                    "sha256": "23cc127a58ea5e5b1df62a30f6879b84ce4bf38a7e7b54ede01e5216506a1689"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1-cp27-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "4ac544752be44eeac73fc390a2e16509",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 685622,
                "upload_time": "2019-04-02T04:21:38",
                "url": "https://files.pythonhosted.org/packages/f5/16/f2235527ef69b2af6c44ea18f29b46f63663c23f502b85c664fc44c2b05a/dreal-4.19.4.1-cp27-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "e5d45776fe3d72419549d9a0266657c5",
                    "sha256": "d03c9aaaebf327a0cf1bacd1b4c94b24981d1c8fe2e2ffb0055d09779b6d0a77"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1-cp27-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "e5d45776fe3d72419549d9a0266657c5",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 698731,
                "upload_time": "2019-04-02T04:12:21",
                "url": "https://files.pythonhosted.org/packages/99/5e/2e77f905b295209d9229d526080538d927f2e5e520ef085f66e19cebc60e/dreal-4.19.4.1-cp27-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "857a7e4698464e45c0ee1c99e3dac34d",
                    "sha256": "cd7e742630b1b34f8914d4e734edba4b84198a334da02d937179acb212371f40"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1-cp27-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "857a7e4698464e45c0ee1c99e3dac34d",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 692831,
                "upload_time": "2019-04-02T03:27:20",
                "url": "https://files.pythonhosted.org/packages/86/1a/e58ce09ce12bf8cd487d854fc3b895ac9602ea65b9df8226182de3385133/dreal-4.19.4.1-cp27-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "61b3bf708550e340d722513a445446c5",
                    "sha256": "ef75a6cf0899c554ad74b67f36dbc687b542545cda4d0eff6239a7b3a41e9e0c"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1-cp27-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "61b3bf708550e340d722513a445446c5",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 752181,
                "upload_time": "2019-04-02T03:26:34",
                "url": "https://files.pythonhosted.org/packages/7f/a1/9e4be466fb53c1c06b69ef44a76d7dec157f2fb3bd9f505b27e9984e4bb7/dreal-4.19.4.1-cp27-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "7eba34b8c6c7b4f7f223979cd8229983",
                    "sha256": "94e187430d69448bc03e24a1545b77b3d4e96801826307a707c556c0ffffa7d9"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1-cp35-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "7eba34b8c6c7b4f7f223979cd8229983",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 747601,
                "upload_time": "2019-04-02T03:58:57",
                "url": "https://files.pythonhosted.org/packages/e7/fc/0848d0c369682225ca89605ee164b67c558cfd835d9b0be939333c1a0560/dreal-4.19.4.1-cp35-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "50481708d6b5d937726ef5ea4153d7f0",
                    "sha256": "804ab0a59ebbdb459a511d0e10e9e79e52fa94c68e3c391b2fc7e2fc7092fc50"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1-cp36-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "50481708d6b5d937726ef5ea4153d7f0",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 751184,
                "upload_time": "2019-04-02T03:26:36",
                "url": "https://files.pythonhosted.org/packages/42/fd/3319035c4f4ae37fd93eafa38aa9fcf33dcb0fd81c32f59f218b719c2578/dreal-4.19.4.1-cp36-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "2228431e84f256040ce512be76df53e6",
                    "sha256": "6c38a16a60fd276dd5b5ab801c493ccb93532c85f498542bf5a09f8b111506aa"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1-cp37-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "2228431e84f256040ce512be76df53e6",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 683762,
                "upload_time": "2019-04-02T04:21:40",
                "url": "https://files.pythonhosted.org/packages/1d/e4/388ff2cef4b9e919c6f4e83d9476bbfc96a87764284f9a7b4e89294c4a67/dreal-4.19.4.1-cp37-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "6b0c2980e3291b3c3e1afb0f44e449d9",
                    "sha256": "9516c1c5cf25fbc2a0f6cf9fea2b7d3d1ca689ced8e8ed0db4047761768cca66"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1-cp37-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "6b0c2980e3291b3c3e1afb0f44e449d9",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 696752,
                "upload_time": "2019-04-02T04:12:23",
                "url": "https://files.pythonhosted.org/packages/c9/4f/f0a066ba511e0521c8d4ca5af4af2466670d4165aef59535758c2a93d95c/dreal-4.19.4.1-cp37-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "51124c710233a6729999dec2aa6bafe1",
                    "sha256": "818326256c80992768c581d49987416fd09a00376fdacf8ec0d1249b98e34986"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1-cp37-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "51124c710233a6729999dec2aa6bafe1",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 691529,
                "upload_time": "2019-04-02T03:27:21",
                "url": "https://files.pythonhosted.org/packages/e5/7c/5316a40088c6f8765616dd0e11623ef29a9055d608dc6fac9fc19fe79026/dreal-4.19.4.1-cp37-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a6ff770972c6288cfd8462ae16dc3ea0",
                    "sha256": "09158ffba218aca981d46bb25737117c283afa319ecc5135a52f6c6481b50f34"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1-cp37-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "a6ff770972c6288cfd8462ae16dc3ea0",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 774598,
                "upload_time": "2019-04-02T11:43:18",
                "url": "https://files.pythonhosted.org/packages/6e/6f/2bf2dd9cf26e177c4dd0697a119fa3dd6d4bcd0616fdf34166f41af247f4/dreal-4.19.4.1-cp37-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1ee40a210c26843fba9fa895b94c7625",
                    "sha256": "3854422eed954a036c35c657233d18848635a0d19b85e5b943753ada6b62a19a"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.1.tar.gz",
                "has_sig": false,
                "md5_digest": "1ee40a210c26843fba9fa895b94c7625",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 742931,
                "upload_time": "2019-04-02T03:26:38",
                "url": "https://files.pythonhosted.org/packages/c8/b3/1cc03ce34ee76334c50eb02d34007557cb41a8c4adb24083b5abaa18d62b/dreal-4.19.4.1.tar.gz"
            }
        ],
        "4.19.4.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "6fa4fae0ff171e4b3dbf19318943ca0d",
                    "sha256": "0f49177926f8f87ae1edc59a966bbdc4e28cf8bc976523f8f02d177c182be161"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2-cp27-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "6fa4fae0ff171e4b3dbf19318943ca0d",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 853374,
                "upload_time": "2019-04-05T20:14:04",
                "url": "https://files.pythonhosted.org/packages/42/d4/7766621f817744a3f6db60d0c787ad814d18ed457fe806ff3397509fa691/dreal-4.19.4.2-cp27-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "48523619946deb8203d958c58d6a2a31",
                    "sha256": "dc2c491f67cf2c257b35c4279bdd2c30877dfe72d2caa2c9a9a6305ca320a4d2"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2-cp27-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "48523619946deb8203d958c58d6a2a31",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 866835,
                "upload_time": "2019-04-05T20:17:44",
                "url": "https://files.pythonhosted.org/packages/d9/ff/980e97cb9cae3ab8874833e83db69a57754cfb9fcded86c616c768a55c5e/dreal-4.19.4.2-cp27-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "4da60a71ac740cc0d87804f20384537b",
                    "sha256": "b61c6085583aacc731354005a33dba332245daf4a17e89e9f28a31e90b930dd6"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2-cp27-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "4da60a71ac740cc0d87804f20384537b",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 861698,
                "upload_time": "2019-04-05T20:18:00",
                "url": "https://files.pythonhosted.org/packages/b2/0a/ee7f9c37c8868afc3469262d0440c7be8d97f178262c92b083d85b0b933f/dreal-4.19.4.2-cp27-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "568297bc1bb4669aa4178752e5b7dae5",
                    "sha256": "c3487cc82ce6f366b29f54dd0802c6bc1515c8515eae6e054231d1c299446f63"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2-cp27-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "568297bc1bb4669aa4178752e5b7dae5",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 916843,
                "upload_time": "2019-04-05T20:05:40",
                "url": "https://files.pythonhosted.org/packages/36/32/f39fa2406631606a18542050f28dff0e60a086398df36ebda54b2fd58770/dreal-4.19.4.2-cp27-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "47deae4ae56eb52cd46c1f1787dd4e6d",
                    "sha256": "53e7274842353943f04cd1a7dbc0f5c438250a04bd2b0d63bcca6bbcd1914166"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2-cp35-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "47deae4ae56eb52cd46c1f1787dd4e6d",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 914223,
                "upload_time": "2019-04-05T20:05:42",
                "url": "https://files.pythonhosted.org/packages/16/39/7f3e10a4908c42d995d1e872171dbd688f15470a70092d525726bbf83943/dreal-4.19.4.2-cp35-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "0871b3c444cb986e746e24eda800a35c",
                    "sha256": "4d3f0b677518e92868b93e69652cecfbb48a207acf13d972f06a881b084b61e5"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2-cp36-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "0871b3c444cb986e746e24eda800a35c",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 918872,
                "upload_time": "2019-04-05T20:08:55",
                "url": "https://files.pythonhosted.org/packages/0d/d4/5cf25a6a904c92592be63ea9709b4f63d5e47daf84904652e73d0e8ad3f9/dreal-4.19.4.2-cp36-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "6312bb7af5cea8a9bbdef13c06fc0b80",
                    "sha256": "322bec3be9ef2f4b0cd213df7b10d292512c1b7bf258f01e3ff858f310ceaa29"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2-cp37-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "6312bb7af5cea8a9bbdef13c06fc0b80",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 851516,
                "upload_time": "2019-04-05T20:14:06",
                "url": "https://files.pythonhosted.org/packages/8a/e3/7f2063106d0d4dd8458f9de294f42a4717b5e9aee1e00e41f0bc0faaee14/dreal-4.19.4.2-cp37-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1f0a62caa41ab54901363ee0fdbc0385",
                    "sha256": "a2e70178c9e06fbe42d25d1de21972b7af788b752a9174524e9fd8824c8ad83d"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2-cp37-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "1f0a62caa41ab54901363ee0fdbc0385",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 864856,
                "upload_time": "2019-04-05T20:16:07",
                "url": "https://files.pythonhosted.org/packages/ff/95/74de05924eccddb32929914c9aaf52f880ea2fd4cd3ef7ed6c2be0edff9d/dreal-4.19.4.2-cp37-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "38df041442f2742d4ea28035ea393938",
                    "sha256": "eb2aab3f103b3aea98afb4d9f341b5340966e5ba6ee78f05ac5a6c7af2e51945"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2-cp37-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "38df041442f2742d4ea28035ea393938",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 860396,
                "upload_time": "2019-04-05T20:15:05",
                "url": "https://files.pythonhosted.org/packages/5f/ee/848eab8106f3c445ceb8d2f093773b71a636813cc176d7ab82143dde091e/dreal-4.19.4.2-cp37-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "22ec7f388a1b1f1563b5ef6716f03662",
                    "sha256": "6073288b0da034a08ac5aea99e2e85dfb52272c8db50ed0bb652187bbf0da6b6"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2-cp37-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "22ec7f388a1b1f1563b5ef6716f03662",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 942404,
                "upload_time": "2019-04-05T20:10:47",
                "url": "https://files.pythonhosted.org/packages/f2/2b/d7227f46033d58a1180ea131e486549a49d5eb8a682be25a42789a2cde14/dreal-4.19.4.2-cp37-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "53833106cc93925fb1ba1a03353f3c4b",
                    "sha256": "5a1caff27caa7132f4bae3edab687d6276b20ebc53e3160c68102e760fe40dc1"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.2.tar.gz",
                "has_sig": false,
                "md5_digest": "53833106cc93925fb1ba1a03353f3c4b",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 225097,
                "upload_time": "2019-04-05T20:05:44",
                "url": "https://files.pythonhosted.org/packages/be/c4/5ca1627aefdda23c21e82b91ccff14f88ec4b60480bceaed4779956b6865/dreal-4.19.4.2.tar.gz"
            }
        ],
        "4.19.4.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "68c717a29f33bb223ab1f0ab5f24fd51",
                    "sha256": "1765bda2b2dd7faffaf024c58058d873ade446caa98714acc2d3dbb82b7b2f1b"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.3-cp27-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "68c717a29f33bb223ab1f0ab5f24fd51",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 853985,
                "upload_time": "2019-04-08T11:39:06",
                "url": "https://files.pythonhosted.org/packages/a3/6c/1de3e117e385270dc17fa021b780feedf0d4e19fb8af8cb2d8da706ff1d2/dreal-4.19.4.3-cp27-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "615fe04a0198a8246c0166691df43dcf",
                    "sha256": "85b719a004c3e842680ac8743ca4dbda66d7c908c4406d60e7fb95922b9d05d2"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.3-cp27-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "615fe04a0198a8246c0166691df43dcf",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 867626,
                "upload_time": "2019-04-08T11:40:38",
                "url": "https://files.pythonhosted.org/packages/2a/a0/b547707245d048c1a155612ee5e10fca03c10e55b6323f98131b5af89d2a/dreal-4.19.4.3-cp27-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "5f6b061563f2e7d9e6be0c133299d7aa",
                    "sha256": "7ea2859853ebf252ccac6bfbfb9c724a07087c839e6545d52e7ea5e58a8d499e"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.3-cp27-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "5f6b061563f2e7d9e6be0c133299d7aa",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 861541,
                "upload_time": "2019-04-08T11:34:22",
                "url": "https://files.pythonhosted.org/packages/d4/65/4e59e6fd057e3fb1171b0d82e416f2e85bdfc372149eb0350eb9f347fc10/dreal-4.19.4.3-cp27-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "c1874d3c9680c9d5a841386759cb72db",
                    "sha256": "5ecea6cbe51e278d9cae8faa9755bb80a50c186a1679c60fa0208de7c0635c41"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.3-cp27-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "c1874d3c9680c9d5a841386759cb72db",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 917356,
                "upload_time": "2019-04-08T11:36:44",
                "url": "https://files.pythonhosted.org/packages/0c/a3/bff204ab29c3e81c31e6817f311e2f81add5fd984b1e2b64ff7cc11571fa/dreal-4.19.4.3-cp27-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "d77cc6610e42aa5ffce95c182126f6ae",
                    "sha256": "66c49157d7bb489ae24dcba4d57cabec19f8921be82436a65895a8a5cab1142e"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.3-cp36-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "d77cc6610e42aa5ffce95c182126f6ae",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 919240,
                "upload_time": "2019-04-08T11:37:25",
                "url": "https://files.pythonhosted.org/packages/5a/6a/5f1b035aa66a3d33979bb55869e40d33a93934f531206a4f2d0e0db6f127/dreal-4.19.4.3-cp36-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1d2cb1aad857476b826c625ad8e75d8a",
                    "sha256": "e6a9375adbd7b8b53257a740616185091a88ed6f86e7b580ad4de0619c6c25f9"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.3-cp37-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "1d2cb1aad857476b826c625ad8e75d8a",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 852137,
                "upload_time": "2019-04-08T11:39:07",
                "url": "https://files.pythonhosted.org/packages/ec/22/a9b92e15bc8510531f200a38e5c3f93dc227eef3e1628c639d772f336fc9/dreal-4.19.4.3-cp37-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "dede9943385b0964a5e7518467d32c7c",
                    "sha256": "c742b908858d5f8e73a9f2061937dde2e83299b30c6d886c015f14fa4deb2cef"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.3-cp37-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "dede9943385b0964a5e7518467d32c7c",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 865609,
                "upload_time": "2019-04-08T11:40:39",
                "url": "https://files.pythonhosted.org/packages/e3/34/845494f2c0ab05642c70f32ba2720e80f4438481cc3d5783a95c56469011/dreal-4.19.4.3-cp37-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "075ac95d3cd5d0c72ae7070c4400f1de",
                    "sha256": "2ebc802520da7d23a7c0da62c1483cb9a92d000ffaedd26f6f723a4d84e71c0c"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.3-cp37-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "075ac95d3cd5d0c72ae7070c4400f1de",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 860230,
                "upload_time": "2019-04-08T11:34:23",
                "url": "https://files.pythonhosted.org/packages/7f/92/9ee82388d27fd78fca55e0061236726aee6182c366e5eead3602db5cec1f/dreal-4.19.4.3-cp37-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "c126fcd6903aa925639ecd5c21226a2f",
                    "sha256": "272693871221911186dd44038f550635df70445da2de1314817a7619c6fbf0f7"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.3-cp37-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "c126fcd6903aa925639ecd5c21226a2f",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 914977,
                "upload_time": "2019-04-08T11:36:46",
                "url": "https://files.pythonhosted.org/packages/bd/59/3f96e195565101a83002b134859a742181fe77154a0e3bfbbbb5dbe24658/dreal-4.19.4.3-cp37-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f3a1bb5b2792c68722934b02e713bb0e",
                    "sha256": "cdd8dca913d140ec4f9feb70fc1919ce69e107a01aee14bb04cd922f259da283"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.3.tar.gz",
                "has_sig": false,
                "md5_digest": "f3a1bb5b2792c68722934b02e713bb0e",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 284984,
                "upload_time": "2019-04-08T11:34:25",
                "url": "https://files.pythonhosted.org/packages/ee/bf/2a5bf973d1bcb99b812aa44c430a2efe079cc352d56ac87ae5e648c4367b/dreal-4.19.4.3.tar.gz"
            }
        ],
        "4.19.4.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "5268323cd645911e2fbca165e49b9b2b",
                    "sha256": "d3ddd2117d43fbabcfa1506a757a2324ee705dddadeb84b5ae15aaca04e916bc"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4-cp27-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "5268323cd645911e2fbca165e49b9b2b",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 857574,
                "upload_time": "2019-04-12T20:04:45",
                "url": "https://files.pythonhosted.org/packages/89/60/b54db92de28150633084bd0cdb3e948f4a9b47d1d187535d5b9ea17f5c30/dreal-4.19.4.4-cp27-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "9dd5937f0787eacd2341704b27e76358",
                    "sha256": "4340b229d4f14f48001afe52fc3055e4e3ed70b274679adc88bc9b8fc7c2870d"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4-cp27-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "9dd5937f0787eacd2341704b27e76358",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 871430,
                "upload_time": "2019-04-12T20:06:27",
                "url": "https://files.pythonhosted.org/packages/73/8b/4316083d30d65d2fb24c1433d766ede327a1b1f4cef1d4884f037dfcc772/dreal-4.19.4.4-cp27-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "7abfce6dc91257fe7113d602144f587c",
                    "sha256": "7fa778c5b62f7b0409a183100cf7eb14187b9915956d67f75916d2d0e6fac304"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4-cp27-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "7abfce6dc91257fe7113d602144f587c",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 866565,
                "upload_time": "2019-04-12T20:01:00",
                "url": "https://files.pythonhosted.org/packages/a2/c6/fa1ec1be68f642bd736d063d338e241c58b05818e29b028fc9dc330df1ce/dreal-4.19.4.4-cp27-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f7c6ca73a4e81cd5f644fbe7ddbb95dd",
                    "sha256": "1c5e710fd8618db95a8172f87829e25beef57cffdee19b511f664b7277a90844"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4-cp27-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "f7c6ca73a4e81cd5f644fbe7ddbb95dd",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 922817,
                "upload_time": "2019-04-12T19:53:39",
                "url": "https://files.pythonhosted.org/packages/06/eb/7e90c2e615ef3b1e66bfb0f4e347dfd2909a1faae542f623a07cf296b216/dreal-4.19.4.4-cp27-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "5fde5a199f64607795d4313fbe3e1d49",
                    "sha256": "2cff8b136700baf87d78608f35442e0cc915e0dc9162282ccb554046295be749"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4-cp35-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "5fde5a199f64607795d4313fbe3e1d49",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 921497,
                "upload_time": "2019-04-12T19:53:41",
                "url": "https://files.pythonhosted.org/packages/46/8b/22e11635101cc5189e7237d06507fb9824f432453745e7d86f56acfe9dab/dreal-4.19.4.4-cp35-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "2a93c8e04f36fa83c3a4a44089aee467",
                    "sha256": "b32aff58a03831762803acfdb2140d97a7485248a0ca9af273738a396bcbd59f"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4-cp36-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "2a93c8e04f36fa83c3a4a44089aee467",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 924880,
                "upload_time": "2019-04-12T19:56:01",
                "url": "https://files.pythonhosted.org/packages/36/bc/2a13afe31a6516c1c8c1e8523f8f3c47380204fe7b3da5f49494ef1ccd71/dreal-4.19.4.4-cp36-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "2cadbcaf156562a4f87e8a5cad1d0a67",
                    "sha256": "8548c8de89b2b032347eb7a07c1fd0c6cf642c679a41d40866d69f8421d2d5ee"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4-cp37-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "2cadbcaf156562a4f87e8a5cad1d0a67",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 855914,
                "upload_time": "2019-04-12T20:04:47",
                "url": "https://files.pythonhosted.org/packages/9c/5c/4d21ba7922e15f58eca9fe282ff27f23c56af2998f17de93efcd92c3ef39/dreal-4.19.4.4-cp37-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "5c7a3513899ad7b7953c5b5b8d704388",
                    "sha256": "93cc803a3471c7d37e5189a45463bdcf6aa715947c82b06a3be7b6899d847b79"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4-cp37-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "5c7a3513899ad7b7953c5b5b8d704388",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 869590,
                "upload_time": "2019-04-12T20:06:29",
                "url": "https://files.pythonhosted.org/packages/c2/a7/6275c58032ac886ea61b2de9bfb7b4b452b0fecce7314c779d07bd03b589/dreal-4.19.4.4-cp37-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "94ff23c15dcfcc8192be1d28db42a319",
                    "sha256": "daf78c699c6a13f7e450eea832ba481f4abf362a7ef9667ea317e201df84cacb"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4-cp37-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "94ff23c15dcfcc8192be1d28db42a319",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 865307,
                "upload_time": "2019-04-12T20:01:02",
                "url": "https://files.pythonhosted.org/packages/44/4c/24fe14da5a244e6eac7b4437fcc2dabf20e9a47d7d8c7aeb87a661514ca5/dreal-4.19.4.4-cp37-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "2fa92e686d855434a9ce5b82c9f98d86",
                    "sha256": "bb0e8739cf3ff011589ab14c5f486dc979459787028e9aa0798d81d5196a29a8"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4-cp37-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "2fa92e686d855434a9ce5b82c9f98d86",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 949112,
                "upload_time": "2019-04-12T19:57:22",
                "url": "https://files.pythonhosted.org/packages/09/68/2da9d51c4a977a0d1c75041834a2e34178340d3caae66ed3a6ce2a054905/dreal-4.19.4.4-cp37-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a12dbba67fd0a188e98384d4bd401b5d",
                    "sha256": "e91080d6059478cbf1d9f973af7614d660204af09502192c9fe7ce779f80fc83"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.tar.gz",
                "has_sig": false,
                "md5_digest": "a12dbba67fd0a188e98384d4bd401b5d",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 238419,
                "upload_time": "2019-04-12T19:53:43",
                "url": "https://files.pythonhosted.org/packages/04/ac/4bef3ec0ae66c63dcc15b0f0a5f0604a8626f1b46a7f9a1e87dbd58148e3/dreal-4.19.4.4.tar.gz"
            }
        ],
        "4.19.4.4.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "09380b9367dfb4f4ceee05a535139934",
                    "sha256": "dd9fe931b59131dcb6e246d2d663e63244f9da328413cbcca0638fde27d5d93b"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1-cp27-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "09380b9367dfb4f4ceee05a535139934",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 849892,
                "upload_time": "2019-05-21T19:42:14",
                "url": "https://files.pythonhosted.org/packages/69/41/4b9a9b65a09627826d650ba305833002b00ae6feb0ad469bf0a0fd33b9bd/dreal-4.19.4.4.1-cp27-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "5a071442753908151e652d9dd35b19e5",
                    "sha256": "cf6ec7f1180f88e56efe8a53cdc0c52c4d486fb3e3c1a1a96fa12fa672c5481c"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1-cp27-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "5a071442753908151e652d9dd35b19e5",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 858461,
                "upload_time": "2019-05-21T19:42:07",
                "url": "https://files.pythonhosted.org/packages/59/c7/d7789628933eb1e08f34e695b8d0692a7b2ef6db9bcb17b2df4154519be6/dreal-4.19.4.4.1-cp27-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "06c8e82cce498fe152dd7adc8183113f",
                    "sha256": "c6c2eb838c1913cc5caa8d98abf583241a8928407d52306e837f3bdc4e191018"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1-cp27-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "06c8e82cce498fe152dd7adc8183113f",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 863757,
                "upload_time": "2019-05-21T19:41:45",
                "url": "https://files.pythonhosted.org/packages/11/bb/0ec9feb13368ad51e2a6151436e15835dd043ea2bf25006b4012d94ea1ae/dreal-4.19.4.4.1-cp27-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "dc16d101d2cd04a9ca6caa6ea9af938d",
                    "sha256": "009b91e685fcc04798087830817a54ce1b82d34a2318786755055a62e4a36344"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1-cp27-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "dc16d101d2cd04a9ca6caa6ea9af938d",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 923509,
                "upload_time": "2019-05-21T23:53:49",
                "url": "https://files.pythonhosted.org/packages/8b/12/dc98b0fb2baafa45d85bc215ee1cde24582f4b2ff3c8e31bf600986baa42/dreal-4.19.4.4.1-cp27-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1f6bdc7fd5ba19892f54bea3abd9c4b9",
                    "sha256": "4c3be8d0a0fd790aeb683067e0be8e3c53bfbf720a9812241a53639a61c1ca8c"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1-cp35-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "1f6bdc7fd5ba19892f54bea3abd9c4b9",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 934553,
                "upload_time": "2019-05-22T00:06:45",
                "url": "https://files.pythonhosted.org/packages/21/df/2d1e967ac5634f1998b87db814162ae361f6d0274c11c8074a21a05285a8/dreal-4.19.4.4.1-cp35-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "489e858a24e33751de432cf66075f845",
                    "sha256": "effbfc5b1f5eab1c2a1cc1e9fa2b181214329794cfc8643c9a3a7385b02e7191"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1-cp36-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "489e858a24e33751de432cf66075f845",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 926609,
                "upload_time": "2019-05-21T23:57:58",
                "url": "https://files.pythonhosted.org/packages/58/9a/8dba3473eda03d2c94e093302ecd207033a9123fb51face473bb29348ef1/dreal-4.19.4.4.1-cp36-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "ac9c8614e7e83371fa57b4e728ac2417",
                    "sha256": "5009bb62b1ffb4f16ab9c8e803b7212385ca0442af82efd9a4b3e2f36581725e"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1-cp37-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "ac9c8614e7e83371fa57b4e728ac2417",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 847962,
                "upload_time": "2019-05-21T19:42:15",
                "url": "https://files.pythonhosted.org/packages/99/fc/74426ec3322aad8ffeaca7e0c511e7293c654b4849ad2641723d613d1c8c/dreal-4.19.4.4.1-cp37-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1f6cfe8da1b0622f5d9142cabd7179c4",
                    "sha256": "bc303a167827624bcc7323479ae00eb295d390878d31465541783a12f128617f"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1-cp37-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "1f6cfe8da1b0622f5d9142cabd7179c4",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 857061,
                "upload_time": "2019-05-21T19:42:09",
                "url": "https://files.pythonhosted.org/packages/ba/ad/ffe16bef918bbb163393854b459a6edeb5e8f2f261cd777435f14c07bc27/dreal-4.19.4.4.1-cp37-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "5092e26cd725cb89b80b3b4886d10cc4",
                    "sha256": "dad83b3ec2011ed6ed600e14a6cd007c4374728274297b55d64ee7887b5e7448"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1-cp37-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "5092e26cd725cb89b80b3b4886d10cc4",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 862233,
                "upload_time": "2019-05-21T19:41:47",
                "url": "https://files.pythonhosted.org/packages/92/52/2ff92e3087498ba0bae44ac703e01e4b087b0ee79271ac85cd79eb7df2f0/dreal-4.19.4.4.1-cp37-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "e42918e12f2d1b8811a25f1a7f06aa5d",
                    "sha256": "a628c7ddfbc1d5b26a4dcceb1c69ee004b5552f17a12b550c7f922fb831dd136"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1-cp37-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "e42918e12f2d1b8811a25f1a7f06aa5d",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 922309,
                "upload_time": "2019-05-21T23:53:51",
                "url": "https://files.pythonhosted.org/packages/06/cc/a78ccab35dfd56ec2fd110b6f106834f9df819adb4dd3a0fb8736868c7d5/dreal-4.19.4.4.1-cp37-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "0aa30bb72ae3c79b859011c1d5d14d09",
                    "sha256": "ecbde160396fd44dde05c7dc9164e05f6fac763cabdc61479f6fc18989fdaca9"
                },
                "downloads": -1,
                "filename": "dreal-4.19.4.4.1.tar.gz",
                "has_sig": false,
                "md5_digest": "0aa30bb72ae3c79b859011c1d5d14d09",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 291827,
                "upload_time": "2019-05-21T19:41:49",
                "url": "https://files.pythonhosted.org/packages/24/ed/b0e57aeeffc0e86323754c0750d832c7ab1edc74c63e9f8ab84f1c6121f4/dreal-4.19.4.4.1.tar.gz"
            }
        ],
        "4.19.6.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "b17cfbf7d7cde99106d6853d9850bb04",
                    "sha256": "2df709f38eccae68681dd5b4c36c02583b890cabd832abf4a5e64456aca44099"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2-cp27-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "b17cfbf7d7cde99106d6853d9850bb04",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 899280,
                "upload_time": "2019-06-14T00:35:47",
                "url": "https://files.pythonhosted.org/packages/8c/60/48045be6dcb808d8ce391a2b2b3fe5bcb52c55840fcab267d5ed0fc8e290/dreal-4.19.6.2-cp27-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "ae84746d6aa30788161a94f3aa27e8fe",
                    "sha256": "e07df8f228bb8d666bad0464f09eee1c6527625909d37b78125ffa9d0f6cd9d8"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2-cp27-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "ae84746d6aa30788161a94f3aa27e8fe",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 907152,
                "upload_time": "2019-06-14T00:36:44",
                "url": "https://files.pythonhosted.org/packages/cf/6c/8e6302e61d39b7bcffbdfe6cc204e53f6dfadfd9329b829433456104c9a5/dreal-4.19.6.2-cp27-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "7a6e3891a8c041dea971a9c232949fb2",
                    "sha256": "f3ae78870def2ab4755a9f907a2d77955f8656c0bb2036e880a6edc148c17083"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2-cp27-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "7a6e3891a8c041dea971a9c232949fb2",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 899791,
                "upload_time": "2019-06-14T00:36:21",
                "url": "https://files.pythonhosted.org/packages/95/da/fded50cf6f289aa51b2b620a29a49f30ebe733c9ab14b04fae489ed6106a/dreal-4.19.6.2-cp27-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "c4966fc96bde41a1bce5b885dc52aaba",
                    "sha256": "70ba9c74a658dbad324665ced5a8543cdd56735e3a8c2eab0dd94fb2d47e77c4"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2-cp27-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "c4966fc96bde41a1bce5b885dc52aaba",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 1001745,
                "upload_time": "2019-06-14T00:41:37",
                "url": "https://files.pythonhosted.org/packages/f5/e8/4a9f4e64b6223336ff7d991fe932966d6ac77fce5f109d87c4238a0170bc/dreal-4.19.6.2-cp27-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "700f9f48b58120fd1ab3cd8651e5612e",
                    "sha256": "5c5994f6ef55f10c10218e8bac5e8b781847d0d83b6732155932abdca67a07bf"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2-cp35-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "700f9f48b58120fd1ab3cd8651e5612e",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 1002539,
                "upload_time": "2019-06-14T00:56:08",
                "url": "https://files.pythonhosted.org/packages/75/72/ff26826ad7150cb0ec9107037a664ebf9474206f5390cf0f1db89d30a8de/dreal-4.19.6.2-cp35-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "5ea807a96e16d8ecc830190f23980b38",
                    "sha256": "c61f7a9b9fa317239800fbf6f6c0aa78b5098af06c300ad01133b189e8464180"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2-cp36-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "5ea807a96e16d8ecc830190f23980b38",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 1002954,
                "upload_time": "2019-06-14T00:44:32",
                "url": "https://files.pythonhosted.org/packages/34/a3/1758f248ed7b3a6811864422d1833c3b42fa7895497557dc1aef4d998955/dreal-4.19.6.2-cp36-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "94c8630145fd34f79a643190e8193d8b",
                    "sha256": "0b21487cbb704883f8bfab6b871b33e05fb15ea4333c84a6ef23dd2e27b0acd1"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2-cp37-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "94c8630145fd34f79a643190e8193d8b",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 897430,
                "upload_time": "2019-06-14T00:35:50",
                "url": "https://files.pythonhosted.org/packages/5c/dc/89d6deea4511291934c85b0b6e6af2673520814354a1f2ddb896fe88abd6/dreal-4.19.6.2-cp37-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "9570cd30815814605d08a295cc44fd14",
                    "sha256": "932b04dea05bae444b5a1fa56ebd5a50d686cd750e8e580db424946b1478f832"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2-cp37-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "9570cd30815814605d08a295cc44fd14",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 905564,
                "upload_time": "2019-06-14T00:36:46",
                "url": "https://files.pythonhosted.org/packages/63/cb/2c8575db4a1026fea4da9a000db1d65bc438a80755bd3bddb209f28ed299/dreal-4.19.6.2-cp37-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f5ea1bbb2701535280d5976943ad0785",
                    "sha256": "811449fb45ae93b9fd13f982c541dfde6c69f21ee21649fd6ad23dce8fd46c89"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2-cp37-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "f5ea1bbb2701535280d5976943ad0785",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 898198,
                "upload_time": "2019-06-14T00:36:23",
                "url": "https://files.pythonhosted.org/packages/aa/e1/f33d29db3fdbaec834aeff754fba244380fbef11270ca8aef221237365ce/dreal-4.19.6.2-cp37-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "02e1a39701f0eaa186cea32573dcb223",
                    "sha256": "cad16f85045353cafeba408de6538fd252b5ecdf0f12c89dc9af102e2d4b3cca"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2-cp37-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "02e1a39701f0eaa186cea32573dcb223",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 1000442,
                "upload_time": "2019-06-14T00:41:39",
                "url": "https://files.pythonhosted.org/packages/62/43/1a27a57901111eef005e1b3baa637f4116917c9eede694157c288955ee67/dreal-4.19.6.2-cp37-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "5d4a74b3302c71575075af144e8ec292",
                    "sha256": "c314ad1d5b59ddd9f7ae126f6635730aba1fb0fd4c5c2627053933ce1e66e1b6"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.2.tar.gz",
                "has_sig": false,
                "md5_digest": "5d4a74b3302c71575075af144e8ec292",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 298238,
                "upload_time": "2019-06-14T00:36:25",
                "url": "https://files.pythonhosted.org/packages/c9/83/81f3fd34aba6253c578083c52b2d357017b8ad672422e6b678b668a4c991/dreal-4.19.6.2.tar.gz"
            }
        ],
        "4.19.6.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "65214ad350d798ce513574ca641502cc",
                    "sha256": "349eed55890123f8e12c0c0c8fb6605929ae6cd922c76265d55a2c0aa81eba11"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3-cp27-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "65214ad350d798ce513574ca641502cc",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 911218,
                "upload_time": "2019-06-17T19:01:39",
                "url": "https://files.pythonhosted.org/packages/64/2b/60e73f962d54e716b4b68e15759e477b46ad78deffa3ecad788c5f5764a9/dreal-4.19.6.3-cp27-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a9cace69ea09e9882cc7d9b4d6e157c3",
                    "sha256": "623ad939e3e2e5bddd6cd17fe49c35bbf69d2ba01dd6049116ca1afba92f485c"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3-cp27-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "a9cace69ea09e9882cc7d9b4d6e157c3",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 918648,
                "upload_time": "2019-06-17T19:01:27",
                "url": "https://files.pythonhosted.org/packages/98/2d/c44e22d842b908f957eec25c0857811bec15f6b45ab201397d2ca0e12c51/dreal-4.19.6.3-cp27-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "af90b3bae9aa2978c6b2e4097d8c358c",
                    "sha256": "35fb7af4fca2919df70a12148dbe3de50872919c935451c0464a7568574d7219"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3-cp27-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "af90b3bae9aa2978c6b2e4097d8c358c",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 911719,
                "upload_time": "2019-06-17T18:56:59",
                "url": "https://files.pythonhosted.org/packages/27/08/f70f9c23774b9cce93439af3215d1190f844d819dd85cb00462de0b25406/dreal-4.19.6.3-cp27-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "3f6c417a0eaeccacf8e0deb3a6af02c6",
                    "sha256": "5af6771ee5dba030d2edc60995bb5d128ff998f8866ad0b8e1b48171810a67c4"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3-cp27-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "3f6c417a0eaeccacf8e0deb3a6af02c6",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 1005489,
                "upload_time": "2019-06-17T19:00:57",
                "url": "https://files.pythonhosted.org/packages/b8/e4/0d0bfe3abc294f8b3f1aae6744bff7ca465311cf181a523b6ad4fa8f70df/dreal-4.19.6.3-cp27-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "74a09b41a3c52dcd38431fd56d829cd6",
                    "sha256": "4a8ce28cb99b5fae21fa05c1b6711ca7212249d93c59e957bf9f207ffae46283"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3-cp35-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "74a09b41a3c52dcd38431fd56d829cd6",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 1003848,
                "upload_time": "2019-06-17T19:00:59",
                "url": "https://files.pythonhosted.org/packages/5b/ab/6e2f96754749ebe1c44797465d30573f879fd2491195c3cd39a218b5bf59/dreal-4.19.6.3-cp35-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "44b286fa04c2f2cea96cabe452366a7a",
                    "sha256": "febeb364559eb0739535f8c58fc9216eaed31d0208fcdb468be28171eaf901c5"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3-cp36-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "44b286fa04c2f2cea96cabe452366a7a",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 1001350,
                "upload_time": "2019-06-17T19:10:03",
                "url": "https://files.pythonhosted.org/packages/ed/77/7ea663f7586a56be76be9068acb02b42dc20ae73354c5f723491355833ed/dreal-4.19.6.3-cp36-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "6f82bf68b39776c9533dcbaaf04809af",
                    "sha256": "606169a63fc9d752e06bc6839913086b52b3d4f12adbaa6508c14fccce8caea2"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3-cp37-none-macosx_10_12_x86_64.whl",
                "has_sig": false,
                "md5_digest": "6f82bf68b39776c9533dcbaaf04809af",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 909197,
                "upload_time": "2019-06-17T19:01:41",
                "url": "https://files.pythonhosted.org/packages/3f/b4/fcf5f0967093f998a1a8ae323d7d38898cec9e44aa68b1d05f2e7cad49d5/dreal-4.19.6.3-cp37-none-macosx_10_12_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "87cab648269a56e986b0c1b773fe64ec",
                    "sha256": "9c841620bb7dd33a127102becce52717226ab71ec114d13342c6c90c2286015f"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3-cp37-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "87cab648269a56e986b0c1b773fe64ec",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 916443,
                "upload_time": "2019-06-17T19:01:30",
                "url": "https://files.pythonhosted.org/packages/d0/01/2a1f36ba7042a658abe846865c40795774854c194a9cc6c2f6f596931a80/dreal-4.19.6.3-cp37-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f30cb9ef964973c2e3ace36d76c7ce25",
                    "sha256": "365c9b63c345285dacd2368cd15fa7d4d21a4bb96f37f957f653234fb85677e5"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3-cp37-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "f30cb9ef964973c2e3ace36d76c7ce25",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 910336,
                "upload_time": "2019-06-17T18:57:02",
                "url": "https://files.pythonhosted.org/packages/94/c7/6d576867105fd7819d3c35d095190aa0fbd94ba34d6a3a94a9ecd1bdcd46/dreal-4.19.6.3-cp37-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "fbb22646101ca4b9550a40502a6abebd",
                    "sha256": "31bec8bdb39efcffa58bd5c6ffe141a34e6ce7b4a22cdfbfd7afd3d436c1ce90"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3-cp37-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "fbb22646101ca4b9550a40502a6abebd",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 1022502,
                "upload_time": "2019-06-17T19:08:46",
                "url": "https://files.pythonhosted.org/packages/40/bd/5ec6b3f5252508840b70efde5d9f8041cf7368edfc8cd8d8cdd6ff7e212c/dreal-4.19.6.3-cp37-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "cbd1bf4fe261aa59a1d9404fc5c0a259",
                    "sha256": "8b6926583dfc2e9ab162612dfbe7a356ad10923a97a1c30ea0e4cffdcb4cf46e"
                },
                "downloads": -1,
                "filename": "dreal-4.19.6.3.tar.gz",
                "has_sig": false,
                "md5_digest": "cbd1bf4fe261aa59a1d9404fc5c0a259",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 297945,
                "upload_time": "2019-06-17T18:57:04",
                "url": "https://files.pythonhosted.org/packages/d7/50/1b0ec98ae2a24e8e7316eed040d2ec020280b661805e4b0da0896e2c6333/dreal-4.19.6.3.tar.gz"
            }
        ],
        "4.19.8.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "977f5316143ea96e2f4bd06f7aaee414",
                    "sha256": "a6f01e266a0efb64f5d14dbe848923aaedaa952b1f15d415fd512bac6cc1da15"
                },
                "downloads": -1,
                "filename": "dreal-4.19.8.1-cp27-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "977f5316143ea96e2f4bd06f7aaee414",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 927759,
                "upload_time": "2019-08-27T00:28:50",
                "url": "https://files.pythonhosted.org/packages/f2/4d/496cefd8f2cf908ffedfc41c76dc4362b51e4b1367b43937e6750bcea4f1/dreal-4.19.8.1-cp27-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "489059176fa79eeea84c28a5f2af77af",
                    "sha256": "756cfbec29b561eb0d160bdedb2903f8850fee91fd546b5e193cc1ee7023b238"
                },
                "downloads": -1,
                "filename": "dreal-4.19.8.1-cp27-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "489059176fa79eeea84c28a5f2af77af",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 921408,
                "upload_time": "2019-08-26T19:22:04",
                "url": "https://files.pythonhosted.org/packages/ae/bf/aa5bfe6f82152c1015c3ed78c3983fbb2c3690e22c39843247e0092f3bce/dreal-4.19.8.1-cp27-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "d0183e8e976d65e7971c26d9c2e750f5",
                    "sha256": "f479da6c30909e53a6814c199bd9b0d79b85e04dabd643cf559dd35eacf5d208"
                },
                "downloads": -1,
                "filename": "dreal-4.19.8.1-cp27-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "d0183e8e976d65e7971c26d9c2e750f5",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 1008442,
                "upload_time": "2019-08-26T19:40:43",
                "url": "https://files.pythonhosted.org/packages/47/86/5411b975ade4a958e3d6e461994c5b5d0db21383ba66a32a445aada49ef5/dreal-4.19.8.1-cp27-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "8b9ac692789f1afcf052c67ae5fa44bc",
                    "sha256": "b53cf81499599aea9ad68b6406dcbbf00af64280227b6906267fd7af3fdbeaaa"
                },
                "downloads": -1,
                "filename": "dreal-4.19.8.1-cp35-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "8b9ac692789f1afcf052c67ae5fa44bc",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 1023204,
                "upload_time": "2019-08-27T00:42:19",
                "url": "https://files.pythonhosted.org/packages/70/e9/2ee37e3a1582c6730b5f861f9f580ec8ec5f838b468ea37a3671aa0ee0b8/dreal-4.19.8.1-cp35-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "5e6af3a60c2365d3745bfaa1ecea2c80",
                    "sha256": "10e8cb57ac07251afce8a9adde5521354b8c368e0534cdc8a72ba387e2ea3154"
                },
                "downloads": -1,
                "filename": "dreal-4.19.8.1-cp36-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "5e6af3a60c2365d3745bfaa1ecea2c80",
                "packagetype": "bdist_wheel",
                "python_version": "cp36",
                "requires_python": null,
                "size": 1007538,
                "upload_time": "2019-08-26T19:40:45",
                "url": "https://files.pythonhosted.org/packages/e7/54/9f7d275c031ef24b8d42eb05044d8d577f2c45acfd22fde84fa1b47a8a5e/dreal-4.19.8.1-cp36-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1698003d97bec6935a3e5d1f7fc179a1",
                    "sha256": "05d4d0cf3436286bcf4af073908182cdb863e74076a7edd0413816e9404d87ed"
                },
                "downloads": -1,
                "filename": "dreal-4.19.8.1-cp37-none-macosx_10_13_x86_64.whl",
                "has_sig": false,
                "md5_digest": "1698003d97bec6935a3e5d1f7fc179a1",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 925924,
                "upload_time": "2019-08-26T19:38:47",
                "url": "https://files.pythonhosted.org/packages/fd/f6/0ee99a4fc4f0fe33fa0d69539343c70880f35a6c54d627071ea369419b65/dreal-4.19.8.1-cp37-none-macosx_10_13_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f62fc4dfed8bf8254b9fd9fd1043a7f8",
                    "sha256": "660c88cee0f23e44d7ca516b40247fb65b1672d39c6ab021d6c5dc7e3048f3f6"
                },
                "downloads": -1,
                "filename": "dreal-4.19.8.1-cp37-none-macosx_10_14_x86_64.whl",
                "has_sig": false,
                "md5_digest": "f62fc4dfed8bf8254b9fd9fd1043a7f8",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 920278,
                "upload_time": "2019-08-26T19:22:06",
                "url": "https://files.pythonhosted.org/packages/86/59/1e6379e6dec6ed32b866ad0b4f9b4ccd8a9c0297b0bd373b53d7ddeee3fc/dreal-4.19.8.1-cp37-none-macosx_10_14_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "9e8f715ee18549d67f5d2ea8508aaa1c",
                    "sha256": "9cae9575f102b5bb94eb244ca4a88dae8aece911603d388946669a2a16cf43f3"
                },
                "downloads": -1,
                "filename": "dreal-4.19.8.1-cp37-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "9e8f715ee18549d67f5d2ea8508aaa1c",
                "packagetype": "bdist_wheel",
                "python_version": "cp37",
                "requires_python": null,
                "size": 1034819,
                "upload_time": "2019-08-27T00:33:33",
                "url": "https://files.pythonhosted.org/packages/d3/15/c65ea51b594fb2174512eb68539401bdaa928fc0bb3d78b7e8cb85547db2/dreal-4.19.8.1-cp37-none-manylinux1_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "296a1e93796cfb980abb2a4dde14890f",
                    "sha256": "d95d26909eecf857e9168e6c01a7b81f8b083358a488d6b8745a3f965c8ba747"
                },
                "downloads": -1,
                "filename": "dreal-4.19.8.1.tar.gz",
                "has_sig": false,
                "md5_digest": "296a1e93796cfb980abb2a4dde14890f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 300340,
                "upload_time": "2019-08-26T19:22:08",
                "url": "https://files.pythonhosted.org/packages/69/f6/22b618b8715073126aefe8452a783c276aaa7397102629a0b0bc11e015e9/dreal-4.19.8.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "4d5c888ed4e4651e9a90b9b29e7d73b6",
                "sha256": "105e43cf84170b64bd8ddb7d291860932cb245fc964232b67408b19f704c9d42"
            },
            "downloads": -1,
            "filename": "dreal-4.19.10.2-cp35-none-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "4d5c888ed4e4651e9a90b9b29e7d73b6",
            "packagetype": "bdist_wheel",
            "python_version": "cp35",
            "requires_python": null,
            "size": 1084972,
            "upload_time": "2019-10-08T23:53:05",
            "url": "https://files.pythonhosted.org/packages/e7/5b/07b52ac874e18a08987ef014e4a1e6f0ac6a02bacb7e1bd0ef3ee31b361e/dreal-4.19.10.2-cp35-none-manylinux1_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "7455d08fbbfaf481c1a354acf574fb8e",
                "sha256": "10648dd19f9dc60554c219de97b1a05a6d7a41bf367adcd29f3c3b55255f4766"
            },
            "downloads": -1,
            "filename": "dreal-4.19.10.2-cp36-none-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "7455d08fbbfaf481c1a354acf574fb8e",
            "packagetype": "bdist_wheel",
            "python_version": "cp36",
            "requires_python": null,
            "size": 1074311,
            "upload_time": "2019-10-08T22:46:25",
            "url": "https://files.pythonhosted.org/packages/3d/9c/7c84af8f0cb8c91e79674a43cec8cc042401558ac26569c049cd4f4a0462/dreal-4.19.10.2-cp36-none-manylinux1_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "8ba2a4445531adde3779f5b647d306a6",
                "sha256": "9fd13c7b2ca536747062593271c3f97540d1af0b589cba353dc77db9b752469b"
            },
            "downloads": -1,
            "filename": "dreal-4.19.10.2-cp37-none-macosx_10_13_x86_64.whl",
            "has_sig": false,
            "md5_digest": "8ba2a4445531adde3779f5b647d306a6",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": null,
            "size": 942819,
            "upload_time": "2019-10-08T18:36:56",
            "url": "https://files.pythonhosted.org/packages/f6/8f/f2c984c4d7d838eb66de0d8cb1c68823bbbc5cd0aa30d1520a130d2ff53d/dreal-4.19.10.2-cp37-none-macosx_10_13_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "39748bcf0c9100660371a653176cae21",
                "sha256": "e9b972b3570e63f26415a1b92c4e26c9c7b73b70c0b6903357f9fa0167950ebd"
            },
            "downloads": -1,
            "filename": "dreal-4.19.10.2-cp37-none-macosx_10_14_x86_64.whl",
            "has_sig": false,
            "md5_digest": "39748bcf0c9100660371a653176cae21",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": null,
            "size": 943704,
            "upload_time": "2019-10-08T18:41:19",
            "url": "https://files.pythonhosted.org/packages/a1/88/e9a0998957a2560721575468a4b0b670919d066243755381037a8a299639/dreal-4.19.10.2-cp37-none-macosx_10_14_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "6f330eb7ef662e042ce1e9333ff4d005",
                "sha256": "b7ac8965984f8e214e55a1801e6305cee093906a72e1123199ac194963f85c84"
            },
            "downloads": -1,
            "filename": "dreal-4.19.10.2-cp37-none-macosx_10_15_x86_64.whl",
            "has_sig": false,
            "md5_digest": "6f330eb7ef662e042ce1e9333ff4d005",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": null,
            "size": 943704,
            "upload_time": "2019-10-08T18:38:53",
            "url": "https://files.pythonhosted.org/packages/1a/b0/a8ce056258cd947d0b60f25d41479bac09e688f6775ee26f0173f33fd864/dreal-4.19.10.2-cp37-none-macosx_10_15_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "8f7f880d4a53e26377173bb2d070d484",
                "sha256": "ddd68b03cd5e227b3b26321231e7f05d142882a9932f083bb4bf19f327b69809"
            },
            "downloads": -1,
            "filename": "dreal-4.19.10.2-cp37-none-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "8f7f880d4a53e26377173bb2d070d484",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": null,
            "size": 1103801,
            "upload_time": "2019-10-08T23:16:18",
            "url": "https://files.pythonhosted.org/packages/26/2d/304838c4aa1116f0cc87be3f70ddd7bb0596c4f1d386efca35c836f52c69/dreal-4.19.10.2-cp37-none-manylinux1_x86_64.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "3a07f50f90384e120f944b60fb056b2a",
                "sha256": "f85c08b350d7910249941ea03e8e19e79bd376f7fa25fe1987b7312760373f89"
            },
            "downloads": -1,
            "filename": "dreal-4.19.10.2.tar.gz",
            "has_sig": false,
            "md5_digest": "3a07f50f90384e120f944b60fb056b2a",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 244316,
            "upload_time": "2019-10-08T18:36:58",
            "url": "https://files.pythonhosted.org/packages/83/71/fc2bfde5c2da8383bff6190d92b33580cb69c83976d27a022aa25a5d5535/dreal-4.19.10.2.tar.gz"
        }
    ]
}