{
    "info": {
        "author": "Sam Owre, Ian A. Mason, Bruno Dutertre.",
        "author_email": "iam@csl.sri.com",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 4 - Beta",
            "Intended Audience :: Developers",
            "Intended Audience :: Science/Research",
            "License :: OSI Approved :: GNU General Public License v3 (GPLv3)",
            "Natural Language :: English",
            "Operating System :: MacOS",
            "Operating System :: Microsoft :: Windows",
            "Operating System :: POSIX :: BSD",
            "Operating System :: POSIX :: Linux",
            "Programming Language :: C",
            "Programming Language :: Python",
            "Programming Language :: Python :: 2",
            "Programming Language :: Python :: 2.7",
            "Programming Language :: Python :: 3",
            "Programming Language :: Python :: 3.4",
            "Programming Language :: Python :: 3.5",
            "Programming Language :: Python :: 3.6",
            "Topic :: Scientific/Engineering :: Mathematics",
            "Topic :: Software Development :: Compilers",
            "Topic :: Software Development :: Libraries :: Python Modules"
        ],
        "description": "This is the long description.",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/SRI-CSL/yices2_python_bindings",
        "keywords": "",
        "license": "GPLv3",
        "maintainer": "",
        "maintainer_email": "",
        "name": "yices",
        "package_url": "https://pypi.org/project/yices/",
        "platform": "",
        "project_url": "https://pypi.org/project/yices/",
        "project_urls": {
            "Homepage": "https://github.com/SRI-CSL/yices2_python_bindings"
        },
        "release_url": "https://pypi.org/project/yices/1.1.2/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "Python Bindings for the Yices SMT Solver",
        "version": "1.1.2"
    },
    "last_serial": 4530963,
    "releases": {
        "1.0.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "cc83855c28615a5742c2f49691a16270",
                    "sha256": "cd3ab618a8b2e9299d0921d59c8befbe220da53de5f427e9ddf727018af81a19"
                },
                "downloads": -1,
                "filename": "yices-1.0.0.tar.gz",
                "has_sig": false,
                "md5_digest": "cc83855c28615a5742c2f49691a16270",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23391,
                "upload_time": "2017-09-11T13:37:34",
                "url": "https://files.pythonhosted.org/packages/15/6f/66d0269128f8d09c123e3c27e161b1d612f63075841a70b287307948a0d1/yices-1.0.0.tar.gz"
            }
        ],
        "1.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "9fc66fba4ece900f16a96c1d7fbe4919",
                    "sha256": "c35b1c808ddfcc9c8b196e2c60d2c6ada0421b50c193bc9149ae25d1ad93fb2b"
                },
                "downloads": -1,
                "filename": "yices-1.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "9fc66fba4ece900f16a96c1d7fbe4919",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 24526,
                "upload_time": "2017-09-27T00:52:16",
                "url": "https://files.pythonhosted.org/packages/2b/97/16faef094f24d07c52a91634fbd7e8faae95f47671c24b51aab186b418d1/yices-1.0.1.tar.gz"
            }
        ],
        "1.0.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "ef7caecc69d1db156c6eb83c58bcb3e6",
                    "sha256": "b0db0f10c541f443717a7df84875620c66fb913809ae8dbf6d83b0231ca26794"
                },
                "downloads": -1,
                "filename": "yices-1.0.2.tar.gz",
                "has_sig": false,
                "md5_digest": "ef7caecc69d1db156c6eb83c58bcb3e6",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 25016,
                "upload_time": "2017-09-27T23:45:23",
                "url": "https://files.pythonhosted.org/packages/8c/3f/6299d4058247ef1fc9a82b917f9af60005cc4c30f118758af7120d6bdf14/yices-1.0.2.tar.gz"
            }
        ],
        "1.0.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "2a64b841e0d9d8a9ec19790e37fc44f8",
                    "sha256": "29d86862e4e007a550c481d12c241c822a7c3492e9c25e5301cdea25ee4a6469"
                },
                "downloads": -1,
                "filename": "yices-1.0.3.tar.gz",
                "has_sig": false,
                "md5_digest": "2a64b841e0d9d8a9ec19790e37fc44f8",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 25627,
                "upload_time": "2017-09-28T16:21:52",
                "url": "https://files.pythonhosted.org/packages/a0/84/43d065f97991c14ea543b29e07380790d0cd99481bb3a2ea7746488eedcc/yices-1.0.3.tar.gz"
            }
        ],
        "1.0.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "03e496b07e27f6529225111b769b057f",
                    "sha256": "cd2b682eb7f21220c1dcc5ae192ff139aa8b49f98b4bfbac3f2e7e00ff2959ff"
                },
                "downloads": -1,
                "filename": "yices-1.0.4.tar.gz",
                "has_sig": false,
                "md5_digest": "03e496b07e27f6529225111b769b057f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 25866,
                "upload_time": "2017-09-28T17:25:58",
                "url": "https://files.pythonhosted.org/packages/0b/c1/0c829fb57f083aa62bb0a7443c2cbec93c629faa2ee3cdc545743c36b732/yices-1.0.4.tar.gz"
            }
        ],
        "1.0.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "80c51858fc791451eeb91e7088f292b4",
                    "sha256": "14d09154fd30e24aae67575f3d41e0c15fa889cdd8e70cdaeac1801c0266924f"
                },
                "downloads": -1,
                "filename": "yices-1.0.5.tar.gz",
                "has_sig": false,
                "md5_digest": "80c51858fc791451eeb91e7088f292b4",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 25909,
                "upload_time": "2017-09-28T17:30:14",
                "url": "https://files.pythonhosted.org/packages/b9/a0/e4150466b4dd9e2c194faa1b46096ff55de6c23dec56b9156921a27902f5/yices-1.0.5.tar.gz"
            }
        ],
        "1.0.6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "fcabdd9f7a809c84703a4809dbf03ca0",
                    "sha256": "89293386cba8a0cb5bf2199f5c0868427c906a43da785669fd60a287fb0e66d9"
                },
                "downloads": -1,
                "filename": "yices-1.0.6.tar.gz",
                "has_sig": false,
                "md5_digest": "fcabdd9f7a809c84703a4809dbf03ca0",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 25960,
                "upload_time": "2017-09-28T17:43:52",
                "url": "https://files.pythonhosted.org/packages/11/27/3c1c115cf57fda0db37750a8d76bb66abc1d78c378234a3d066de2f82292/yices-1.0.6.tar.gz"
            }
        ],
        "1.0.7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "c9d03c7913fea15e14a81ab1fea84d93",
                    "sha256": "4dace470805a5c13d40f519e508b9abe8a99bce1cb759414367b5c6615585d35"
                },
                "downloads": -1,
                "filename": "yices-1.0.7.tar.gz",
                "has_sig": false,
                "md5_digest": "c9d03c7913fea15e14a81ab1fea84d93",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 26198,
                "upload_time": "2017-09-29T23:45:14",
                "url": "https://files.pythonhosted.org/packages/4e/e4/c69e6a9c7597fac33f43f3a6cc149d76be5a1e5924e88e880e67e0e50714/yices-1.0.7.tar.gz"
            }
        ],
        "1.0.8": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "4f0e8dcab8359c81718229c1e05aa719",
                    "sha256": "aa11950952b675f98601cde2a675bdd18bb69fc33161aba579fda56ae00dc0fc"
                },
                "downloads": -1,
                "filename": "yices-1.0.8.tar.gz",
                "has_sig": false,
                "md5_digest": "4f0e8dcab8359c81718229c1e05aa719",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 27339,
                "upload_time": "2017-10-04T21:35:07",
                "url": "https://files.pythonhosted.org/packages/92/44/0a4cc730d292bad67eed2606b6cb07b7fd4a7ec11d3445af84893ed3286c/yices-1.0.8.tar.gz"
            }
        ],
        "1.1.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "0385f034a76d05cd8bc0e8dde8e92f45",
                    "sha256": "8c79b957f6b1a63f02c5b419d7aae291635c9fbf301f9eef3a44be4e9b70763c"
                },
                "downloads": -1,
                "filename": "yices-1.1.0.tar.gz",
                "has_sig": false,
                "md5_digest": "0385f034a76d05cd8bc0e8dde8e92f45",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 46589,
                "upload_time": "2018-10-08T13:46:25",
                "url": "https://files.pythonhosted.org/packages/49/60/4b7bb302f2a59ae49706bed5a2b9e8fd4c291360655151c7428cbdada89d/yices-1.1.0.tar.gz"
            }
        ],
        "1.1.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "31518d419eba7ad2269e3d293ef8518f",
                    "sha256": "dd62bccc96639238d9bc4031ec793b96f00b2ad5242758b74e431c63045d77a3"
                },
                "downloads": -1,
                "filename": "yices-1.1.2.tar.gz",
                "has_sig": false,
                "md5_digest": "31518d419eba7ad2269e3d293ef8518f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 47649,
                "upload_time": "2018-11-26T19:54:00",
                "url": "https://files.pythonhosted.org/packages/ba/93/6a932153b966d91b65a6bca8289910a15cc415c6cccf1a030ca6c82eda50/yices-1.1.2.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "31518d419eba7ad2269e3d293ef8518f",
                "sha256": "dd62bccc96639238d9bc4031ec793b96f00b2ad5242758b74e431c63045d77a3"
            },
            "downloads": -1,
            "filename": "yices-1.1.2.tar.gz",
            "has_sig": false,
            "md5_digest": "31518d419eba7ad2269e3d293ef8518f",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 47649,
            "upload_time": "2018-11-26T19:54:00",
            "url": "https://files.pythonhosted.org/packages/ba/93/6a932153b966d91b65a6bca8289910a15cc415c6cccf1a030ca6c82eda50/yices-1.1.2.tar.gz"
        }
    ]
}