{
    "info": {
        "author": "Simon BUSARD, Xavier GILLARD",
        "author_email": "simon.busard@uclouvain.be, xavier.gillard@uclouvain.be",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "UNKNOWN\n\n\n",
        "description_content_type": null,
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "http://lvl.info.ucl.ac.be/Tools/PyNuSMV",
        "keywords": "",
        "license": "",
        "maintainer": "",
        "maintainer_email": "",
        "name": "pynusmv-tools",
        "package_url": "https://pypi.org/project/pynusmv-tools/",
        "platform": "",
        "project_url": "https://pypi.org/project/pynusmv-tools/",
        "project_urls": {
            "Homepage": "http://lvl.info.ucl.ac.be/Tools/PyNuSMV"
        },
        "release_url": "https://pypi.org/project/pynusmv-tools/1.0rc10/",
        "requires_dist": [
            "pynusmv",
            "tkCanvasGraph"
        ],
        "requires_python": "",
        "summary": "Tools, examples and experiments that showcase the potential uses for PyNuSMV",
        "version": "1.0rc10"
    },
    "last_serial": 3319141,
    "releases": {
        "1.0rc10": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f6a86daaa6f0226cddd14cb06645f75c",
                    "sha256": "7f9b147405c62706612a0ae7650f15dea24d674ee65c29db0da9f0d9b009b0cb"
                },
                "downloads": -1,
                "filename": "pynusmv_tools-1.0rc10-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "f6a86daaa6f0226cddd14cb06645f75c",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 305124,
                "upload_time": "2017-11-09T10:38:32",
                "url": "https://files.pythonhosted.org/packages/21/bd/af51c353be71d4ed7a0e6af71b49abbcf55b6e1f737134bef807bc1672e3/pynusmv_tools-1.0rc10-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "48bd18c8f068677325b8ad54b5adae4c",
                    "sha256": "584da62807a78fcef27b7503c212c83ff6ff40ca0eab627d6e848c422b74bd96"
                },
                "downloads": -1,
                "filename": "pynusmv-tools-1.0rc10.tar.gz",
                "has_sig": false,
                "md5_digest": "48bd18c8f068677325b8ad54b5adae4c",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 215541,
                "upload_time": "2017-11-09T10:38:36",
                "url": "https://files.pythonhosted.org/packages/34/d3/9aa5a67e1b91c426b7867c57e4188255e8309b39cce115d64fcbfd71432b/pynusmv-tools-1.0rc10.tar.gz"
            }
        ],
        "1.0rc3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "2aa4728087e82bce67a760078d148432",
                    "sha256": "716e96bbfa9aa15f871d9ab2d742f6f238b527862c979dd7a3854ba6e18784ac"
                },
                "downloads": -1,
                "filename": "pynusmv_tools-1.0rc3-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "2aa4728087e82bce67a760078d148432",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 195858,
                "upload_time": "2016-12-16T23:36:47",
                "url": "https://files.pythonhosted.org/packages/a7/fd/05f0608655d88bcbb642057f619a9c477e680ee517c95249d85ce0b3876c/pynusmv_tools-1.0rc3-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "87b34b278f755308c7707de2c99ec502",
                    "sha256": "5c86b70acbf4b8bb56c84112283c61f7af7d39aebd54e134993aa133b8869877"
                },
                "downloads": -1,
                "filename": "pynusmv-tools-1.0rc3.tar.gz",
                "has_sig": false,
                "md5_digest": "87b34b278f755308c7707de2c99ec502",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 132815,
                "upload_time": "2016-12-16T23:36:51",
                "url": "https://files.pythonhosted.org/packages/f9/77/0293785fedfd72cc13b5e39ccb9e1241755ca26eff96262be9c3d59556da/pynusmv-tools-1.0rc3.tar.gz"
            }
        ],
        "1.0rc4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e9c0f60a90e7bb9841af1403f5352b34",
                    "sha256": "72dd992dcf37fbebb1ac2bfe34a7539d682a3f7b45def2874bec1eaa81df1753"
                },
                "downloads": -1,
                "filename": "pynusmv_tools-1.0rc4-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "e9c0f60a90e7bb9841af1403f5352b34",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 196120,
                "upload_time": "2016-12-17T00:15:37",
                "url": "https://files.pythonhosted.org/packages/0e/f8/dd5e899be3101c323ba2c62d9b53f5a8245d96dfd73402dd51cb505a94ac/pynusmv_tools-1.0rc4-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f18e36353c246b8701d3e0984146bba5",
                    "sha256": "4befeb7db2ba893c6c4b04cb13b6fcca49916536ee245ff91629aa6f31bd3a35"
                },
                "downloads": -1,
                "filename": "pynusmv-tools-1.0rc4.tar.gz",
                "has_sig": false,
                "md5_digest": "f18e36353c246b8701d3e0984146bba5",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 132835,
                "upload_time": "2016-12-17T00:15:20",
                "url": "https://files.pythonhosted.org/packages/10/65/5169b6dc3581cded33622f38e7c8111f527144d6fdcdf48e99bdfd069a07/pynusmv-tools-1.0rc4.tar.gz"
            }
        ],
        "1.0rc5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "02117972c3cea0750a06bd79abeb34e9",
                    "sha256": "65a2a9334cad96c4119622996a50b7a3bc7a9c94aee38685fdde5dbf42db505b"
                },
                "downloads": -1,
                "filename": "pynusmv-tools-1.0rc5.macosx-10.11-x86_64.tar.gz",
                "has_sig": false,
                "md5_digest": "02117972c3cea0750a06bd79abeb34e9",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 335547,
                "upload_time": "2016-12-21T12:22:23",
                "url": "https://files.pythonhosted.org/packages/81/9e/011105bd6ad0559b1dc3b602e88fb729537494d279a5c60aef78a1bc40ae/pynusmv-tools-1.0rc5.macosx-10.11-x86_64.tar.gz"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "215f5299c8ba37c93281e58a31715853",
                    "sha256": "29820af5942b27afe0282bcf8d73fc1f89cd3845adb0518e725a102cc2b514f4"
                },
                "downloads": -1,
                "filename": "pynusmv_tools-1.0rc5-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "215f5299c8ba37c93281e58a31715853",
                "packagetype": "bdist_wheel",
                "python_version": "3.5",
                "requires_python": null,
                "size": 196795,
                "upload_time": "2016-12-21T12:27:02",
                "url": "https://files.pythonhosted.org/packages/e5/3a/21bc80d7718d2b14797633ff38050e56e2c490480e0f941baf32759cadf4/pynusmv_tools-1.0rc5-py3-none-any.whl"
            }
        ],
        "1.0rc6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "28e2cd880277f23fe8be70afd68e3a01",
                    "sha256": "ed4192c8268bba1f8e399b96a2a90c31950172ddc65ed5e5367286137ba1e3b7"
                },
                "downloads": -1,
                "filename": "pynusmv_tools-1.0rc6-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "28e2cd880277f23fe8be70afd68e3a01",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 235217,
                "upload_time": "2017-01-05T00:35:24",
                "url": "https://files.pythonhosted.org/packages/ad/21/896e4a94bed1a3de67a493a36f782c8b83ceb49e0bf7786f9b7f47023aed/pynusmv_tools-1.0rc6-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "05f42657e0d14a5c37e06220814b7de3",
                    "sha256": "81d04ebc243e1fc6f35b773135b8f52bdc9923929985ed6b406b560ea5a6472e"
                },
                "downloads": -1,
                "filename": "pynusmv-tools-1.0rc6.tar.gz",
                "has_sig": false,
                "md5_digest": "05f42657e0d14a5c37e06220814b7de3",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 167450,
                "upload_time": "2017-01-05T00:35:27",
                "url": "https://files.pythonhosted.org/packages/e7/e4/6d8f480bc3b8d2fda0ab65549d72648ec34eaaa8ec21dcd28d9d89c0cec7/pynusmv-tools-1.0rc6.tar.gz"
            }
        ],
        "1.0rc7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "265d0071fbc2701da634ebad32263398",
                    "sha256": "fc58f09f25c2138a627e2be588ada03c2fe047b48951c75b29d7c12d5ec78967"
                },
                "downloads": -1,
                "filename": "pynusmv_tools-1.0rc7-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "265d0071fbc2701da634ebad32263398",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 266975,
                "upload_time": "2017-05-19T18:36:06",
                "url": "https://files.pythonhosted.org/packages/af/0b/0476eacf2453f682517809165ad9f2e1618cc0da6b6aeba814f62b6c005d/pynusmv_tools-1.0rc7-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "7bfab3454f6dc6555ca69597dc824df8",
                    "sha256": "aacafff1f6094a2404f0dbe4f3a1274a977ab1ede30d897dce6819a42816cb4a"
                },
                "downloads": -1,
                "filename": "pynusmv-tools-1.0rc7.tar.gz",
                "has_sig": false,
                "md5_digest": "7bfab3454f6dc6555ca69597dc824df8",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 186849,
                "upload_time": "2017-05-19T18:36:09",
                "url": "https://files.pythonhosted.org/packages/1c/86/8b83b354b3fa9e1ac06bf0dbe62b6247b8f59b91964b16f7f0694c1c30d2/pynusmv-tools-1.0rc7.tar.gz"
            }
        ],
        "1.0rc8": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "13212c289d54484752ec01697de73adf",
                    "sha256": "7e30398b591ab8bbe1ba824cd267318d93f95273d81b81f424f1acacc678e2e9"
                },
                "downloads": -1,
                "filename": "pynusmv_tools-1.0rc8-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "13212c289d54484752ec01697de73adf",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 267684,
                "upload_time": "2017-07-31T12:53:19",
                "url": "https://files.pythonhosted.org/packages/39/28/3f62ada71bd97d8019512599d816f28a242803ce4ff8f145d2bfea22dc6a/pynusmv_tools-1.0rc8-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "6f14559c500b0fcf791d4ac676a847c3",
                    "sha256": "7291e74ce63dfc3df2464f9b26036b2a0885c9ceb321170ba4175c76e0d5493c"
                },
                "downloads": -1,
                "filename": "pynusmv-tools-1.0rc8.tar.gz",
                "has_sig": false,
                "md5_digest": "6f14559c500b0fcf791d4ac676a847c3",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 182631,
                "upload_time": "2017-07-31T12:53:21",
                "url": "https://files.pythonhosted.org/packages/21/2c/7834dd0002e8c8beb83e291a11a5a7046e2cb505b2c75846f634a6ed32af/pynusmv-tools-1.0rc8.tar.gz"
            }
        ],
        "1.0rc9": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e71467bc26cb48ebb13f781ca0b440a3",
                    "sha256": "fd6ed7f1501dfe77ab29ae6d7e84ab92c3ba57130f8394c754544620fc658cff"
                },
                "downloads": -1,
                "filename": "pynusmv_tools-1.0rc9-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "e71467bc26cb48ebb13f781ca0b440a3",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 304990,
                "upload_time": "2017-10-16T10:02:58",
                "url": "https://files.pythonhosted.org/packages/26/1d/07b0c88037267640a84e09814310a8fa41d74b728255e49950d793dc9221/pynusmv_tools-1.0rc9-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f0a5737f153b48560b95f31a3a2b8810",
                    "sha256": "07696c0fcd03253c27267aca15d2c38e9e0a6797a0583f4cc7ffbbd043ea0faa"
                },
                "downloads": -1,
                "filename": "pynusmv-tools-1.0rc9.tar.gz",
                "has_sig": false,
                "md5_digest": "f0a5737f153b48560b95f31a3a2b8810",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 215393,
                "upload_time": "2017-10-16T10:02:59",
                "url": "https://files.pythonhosted.org/packages/e4/49/d8ac438af7c788cbede0697fa945d9475acd12319a10fb3755cf56a95963/pynusmv-tools-1.0rc9.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "f6a86daaa6f0226cddd14cb06645f75c",
                "sha256": "7f9b147405c62706612a0ae7650f15dea24d674ee65c29db0da9f0d9b009b0cb"
            },
            "downloads": -1,
            "filename": "pynusmv_tools-1.0rc10-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "f6a86daaa6f0226cddd14cb06645f75c",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": null,
            "size": 305124,
            "upload_time": "2017-11-09T10:38:32",
            "url": "https://files.pythonhosted.org/packages/21/bd/af51c353be71d4ed7a0e6af71b49abbcf55b6e1f737134bef807bc1672e3/pynusmv_tools-1.0rc10-py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "48bd18c8f068677325b8ad54b5adae4c",
                "sha256": "584da62807a78fcef27b7503c212c83ff6ff40ca0eab627d6e848c422b74bd96"
            },
            "downloads": -1,
            "filename": "pynusmv-tools-1.0rc10.tar.gz",
            "has_sig": false,
            "md5_digest": "48bd18c8f068677325b8ad54b5adae4c",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 215541,
            "upload_time": "2017-11-09T10:38:36",
            "url": "https://files.pythonhosted.org/packages/34/d3/9aa5a67e1b91c426b7867c57e4188255e8309b39cce115d64fcbfd71432b/pynusmv-tools-1.0rc10.tar.gz"
        }
    ]
}