{
    "info": {
        "author": "IVy team",
        "author_email": "nomail@example.com",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "# ivy\n\nIVy is a research tool intended to allow interactive development of\nprotocols and their proofs of correctness and to provide a platform\nfor developing and experimenting with automated proof techniques. In\nparticular, IVy provides interactive visualization of automated\nproofs, and supports a use model in which the human protocol designer\nand the automated tool interact to expose errors and prove\ncorrectness.\n\n#Installation\nLinux\nOn Debian-based linux ditributions such as Ubuntu, download and install the file ms-ivy_X.X_YYYY.deb where X.X is the IVy version and YYYY is the machine architecture. Use your system\u2019s package manager to install this package, or the following commands:\n```\n$ sudo dpkg -i ms-ivy_X.X_YYYY.deb\n$ sudo apt-get install -f\n```\nThe first command will report missing dependencies, which will be installed by the second command.\n\nWindows\nThe Windows binary distribution is in the form of a zip archive. Download the file ivy.X.Y-.Windows-z86.zip, where X.X is the IVy version (this will work on both 32-bit and 64 bit Intel Windows). Use Windows Explorer to extract this archive in the directory C:\\. This should give you a directory C:\\ivy. To use IVy in a command window, first execute this command:\n```\n> C:\\ivy\\scripts\\activate\n```\n\n## Further Reading\n\nFor further information on IVy, see [the IVy web site](http://microsoft.github.io/ivy/).\n\n\n\n\n\n\n",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/microsoft/ivy",
        "keywords": "",
        "license": "MIT",
        "maintainer": "",
        "maintainer_email": "",
        "name": "ms-ivy",
        "package_url": "https://pypi.org/project/ms-ivy/",
        "platform": "",
        "project_url": "https://pypi.org/project/ms-ivy/",
        "project_urls": {
            "Homepage": "https://github.com/microsoft/ivy"
        },
        "release_url": "https://pypi.org/project/ms-ivy/0.3/",
        "requires_dist": [
            "ply",
            "tarjan"
        ],
        "requires_python": "",
        "summary": "IVy verification tool",
        "version": "0.3"
    },
    "last_serial": 5823413,
    "releases": {
        "0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "2a1ee9fb7a11fd35c246c453afa8d6f4",
                    "sha256": "cb19b23c360264748e27afe734d7787fda096ba99cef237aff6ce356dd62668c"
                },
                "downloads": -1,
                "filename": "ms_ivy-0.1-py2-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "2a1ee9fb7a11fd35c246c453afa8d6f4",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 10532284,
                "upload_time": "2019-09-12T17:03:03",
                "url": "https://files.pythonhosted.org/packages/ee/8c/ca2e982f54b9a41b12a491aa13d4518887b2e7b9521567117ecf8308b385/ms_ivy-0.1-py2-none-manylinux1_x86_64.whl"
            }
        ],
        "0.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "7027e8538dfe9ea58c8110f661ea86ac",
                    "sha256": "3dfb25f2969efc0c4e369ab9eef2f80ffdc0be78479724fded891217da72a0c9"
                },
                "downloads": -1,
                "filename": "ms_ivy-0.2-py2-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "7027e8538dfe9ea58c8110f661ea86ac",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 20386380,
                "upload_time": "2019-09-12T17:21:45",
                "url": "https://files.pythonhosted.org/packages/b1/49/bf9fadb12ff0c1ae1454276833946fc6248c569f323a779385e35dcc93f2/ms_ivy-0.2-py2-none-manylinux1_x86_64.whl"
            }
        ],
        "0.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "9f7c65b29859790c677860824df419b7",
                    "sha256": "92b5f022e0f47bbf8d83ce397bb5c7197d65d934441f6bc2b50859595d1f92ae"
                },
                "downloads": -1,
                "filename": "ms_ivy-0.3-py2-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "9f7c65b29859790c677860824df419b7",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 20947341,
                "upload_time": "2019-09-13T01:17:06",
                "url": "https://files.pythonhosted.org/packages/55/5d/9141919ef2d066bdfbac2862be9e17f8ffd2730f765eca2596772a688bb0/ms_ivy-0.3-py2-none-manylinux1_x86_64.whl"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "9f7c65b29859790c677860824df419b7",
                "sha256": "92b5f022e0f47bbf8d83ce397bb5c7197d65d934441f6bc2b50859595d1f92ae"
            },
            "downloads": -1,
            "filename": "ms_ivy-0.3-py2-none-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "9f7c65b29859790c677860824df419b7",
            "packagetype": "bdist_wheel",
            "python_version": "py2",
            "requires_python": null,
            "size": 20947341,
            "upload_time": "2019-09-13T01:17:06",
            "url": "https://files.pythonhosted.org/packages/55/5d/9141919ef2d066bdfbac2862be9e17f8ffd2730f765eca2596772a688bb0/ms_ivy-0.3-py2-none-manylinux1_x86_64.whl"
        }
    ]
}