{
    "info": {
        "author": "Roberto Bruttomesso",
        "author_email": "roberto.bruttomesso@gmail.com",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "========\nIntrepyd\n========\nIntrepyd is a python module that provides a simulator and a model checker in form of\na rich API, to allow the rapid prototyping of **formal methods** algorithms\nfor the rigorous analysis of circuits, specifications, models.\n\n============================\nFormal Methods Little Corner\n============================\nA collection of experiences using Intrepyd can be found `here <https://formalmethods.github.io>`_.\n\n====\nFAQs\n====\nPlease refer to the dedicated `Wiki page <https://github.com/formalmethods/intrepyd/wiki/FAQs>`_.",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "http://github.com/formalmethods/intrepyd/archive/0.7.0.tar.gz",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "http://github.com/formalmethods/intrepyd",
        "keywords": "",
        "license": "BSD-3-Clause",
        "maintainer": "",
        "maintainer_email": "",
        "name": "intrepyd",
        "package_url": "https://pypi.org/project/intrepyd/",
        "platform": "Windows",
        "project_url": "https://pypi.org/project/intrepyd/",
        "project_urls": {
            "Download": "http://github.com/formalmethods/intrepyd/archive/0.7.0.tar.gz",
            "Homepage": "http://github.com/formalmethods/intrepyd"
        },
        "release_url": "https://pypi.org/project/intrepyd/0.7.0/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "Intrepyd Model Checker",
        "version": "0.7.0"
    },
    "last_serial": 5258603,
    "releases": {
        "0.5.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "b0816030ef667a5d0092b89698202352",
                    "sha256": "8d68fbdeefe0010a7e856ac4fc64159eba768f314737f0c4c5f87a69782334dc"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.0.tar.gz",
                "has_sig": false,
                "md5_digest": "b0816030ef667a5d0092b89698202352",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 5277031,
                "upload_time": "2017-10-09T13:42:02",
                "url": "https://files.pythonhosted.org/packages/ec/59/c71f3c3c67b6d60d91de7dc56f85f33f8b690ec8e743026b9ed6458ed375/intrepyd-0.5.0.tar.gz"
            }
        ],
        "0.5.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "93a93ef1b6a5fc7b1af7c6ff572e3e69",
                    "sha256": "197bcc7a886412837c0eba7ba8ddbd847c34ab30ba3aad3151b7bc81fbf479e7"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.1.tar.gz",
                "has_sig": false,
                "md5_digest": "93a93ef1b6a5fc7b1af7c6ff572e3e69",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 5277032,
                "upload_time": "2017-10-09T13:44:17",
                "url": "https://files.pythonhosted.org/packages/71/de/50a4ccd11c46afc1e9711171c3bb2cd1f5f474a92db664b905b748545b4c/intrepyd-0.5.1.tar.gz"
            }
        ],
        "0.5.10": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f8283f030ac859841bc6583604b6692a",
                    "sha256": "dfe2d2ade72272d1510a438ae654f387a6e7887b7170316df0bda393159daab4"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.10.tar.gz",
                "has_sig": false,
                "md5_digest": "f8283f030ac859841bc6583604b6692a",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 56169,
                "upload_time": "2017-10-11T19:38:10",
                "url": "https://files.pythonhosted.org/packages/32/37/d4437c3e266b443511917080018383747dd735a07c1452a97d38929896fb/intrepyd-0.5.10.tar.gz"
            }
        ],
        "0.5.11": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "7b17dfbff2f920e119396c36e567b72c",
                    "sha256": "c284682a8e7dc9391088fdd16f853ac1297e9f48e45a9a1bae8632558628a825"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.11.tar.gz",
                "has_sig": false,
                "md5_digest": "7b17dfbff2f920e119396c36e567b72c",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 14378929,
                "upload_time": "2017-10-11T20:01:24",
                "url": "https://files.pythonhosted.org/packages/f6/92/c239097a073888d4a527fcd0ab0be4c06e3658d1482de3620efd0c828bf6/intrepyd-0.5.11.tar.gz"
            }
        ],
        "0.5.12": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "62aa4b99cfc5637444dc4c54436fc543",
                    "sha256": "a555032e046f5f0515f9032d18f781ce683f4ec3fd4dfff30f9eb71c6c6b5af2"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.12.tar.gz",
                "has_sig": false,
                "md5_digest": "62aa4b99cfc5637444dc4c54436fc543",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 14378928,
                "upload_time": "2017-10-11T20:41:15",
                "url": "https://files.pythonhosted.org/packages/e4/42/218c0169e4c1ddfbdcc566f6be05ccadd09d402ac44640d65110ee1db5fb/intrepyd-0.5.12.tar.gz"
            }
        ],
        "0.5.13": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "ffef56b1cb02523a99974aef4dd9afdb",
                    "sha256": "7fc2405ebb507ada3761593a8eb1a8472593e909fbb5074017931fa05a2fdc00"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.13.tar.gz",
                "has_sig": false,
                "md5_digest": "ffef56b1cb02523a99974aef4dd9afdb",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 16994970,
                "upload_time": "2017-10-12T12:35:10",
                "url": "https://files.pythonhosted.org/packages/d6/02/6b1f613e557b2d9014270ef79a789f4a0940f12e2092b96516739b3f777c/intrepyd-0.5.13.tar.gz"
            }
        ],
        "0.5.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "dba61aaaeb795c2e1a44a8e763669dcb",
                    "sha256": "d7c088d8a207fd156541e696dc5861d69509878c9f307a83ab0614bdb61cc473"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.2.tar.gz",
                "has_sig": false,
                "md5_digest": "dba61aaaeb795c2e1a44a8e763669dcb",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 55920,
                "upload_time": "2017-10-10T22:04:46",
                "url": "https://files.pythonhosted.org/packages/7a/19/847419617c1c204b7652a049f80c6d8924b04e79c3458cb9776571b82026/intrepyd-0.5.2.tar.gz"
            }
        ],
        "0.5.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "fae786107f1e0db03223daff9a987375",
                    "sha256": "15380ec4fc75c45cd0b57f286cb1257d16d4c2930a3d2d9608aa8b1e9b725f86"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.3.tar.gz",
                "has_sig": false,
                "md5_digest": "fae786107f1e0db03223daff9a987375",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 14372646,
                "upload_time": "2017-10-11T09:27:13",
                "url": "https://files.pythonhosted.org/packages/57/b4/4937037124f6548e46d56d95db8645dfe95182e1a6da11462f8f7a4f6ab0/intrepyd-0.5.3.tar.gz"
            }
        ],
        "0.5.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "bc36694d964bf9890a8b76cf6ffc09c3",
                    "sha256": "909368d77deaa78cfc401af1c84f3b51f231959679e4be50b66eb90a32f84c4d"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.4.tar.gz",
                "has_sig": false,
                "md5_digest": "bc36694d964bf9890a8b76cf6ffc09c3",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 14372655,
                "upload_time": "2017-10-11T09:34:17",
                "url": "https://files.pythonhosted.org/packages/f0/f6/12d1e4c051dfe1f27b5cccd199f29b7fcaa13d7f04d5cb4e61255324ede2/intrepyd-0.5.4.tar.gz"
            }
        ],
        "0.5.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "813307f3ed0c193722a4cec605d967b5",
                    "sha256": "f1996a09a79f6f3355030c7c0efb09657e0107bbb04168932b1edd8d4c4aae59"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.5.tar.gz",
                "has_sig": false,
                "md5_digest": "813307f3ed0c193722a4cec605d967b5",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 14372380,
                "upload_time": "2017-10-11T09:39:23",
                "url": "https://files.pythonhosted.org/packages/7a/81/0fb273f6af96ddc9652c459790210bc1e959534db41a233e36a4d59cb832/intrepyd-0.5.5.tar.gz"
            }
        ],
        "0.5.7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "8564413cc96aed4dbe01c3f4237dd633",
                    "sha256": "46dc395c6fedb0f84cc711ece9cdf9cbe100618b1fe7cde5fedac06f3620e721"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.7.tar.gz",
                "has_sig": false,
                "md5_digest": "8564413cc96aed4dbe01c3f4237dd633",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 14372359,
                "upload_time": "2017-10-11T13:08:46",
                "url": "https://files.pythonhosted.org/packages/1e/c6/fd0b128489fa9a3fd0f39fa57c8ba421b7c8be8a5e512ccb3c358ff253ae/intrepyd-0.5.7.tar.gz"
            }
        ],
        "0.5.8": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "de54a255f0d4c7ea3b96907de4008ff1",
                    "sha256": "adc991fb14cc314e03f52e56bce978358823f7d7dcef56465bb5393f45d8b32d"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.8.tar.gz",
                "has_sig": false,
                "md5_digest": "de54a255f0d4c7ea3b96907de4008ff1",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 14372376,
                "upload_time": "2017-10-11T13:18:20",
                "url": "https://files.pythonhosted.org/packages/ab/39/fb5c6bfc8917fbf4081b68ced82f78a42e66a02cae88b33b9cedd3891809/intrepyd-0.5.8.tar.gz"
            }
        ],
        "0.5.9": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "c6dc0f71f8baaa0a761af9749bdbf4a7",
                    "sha256": "3d5bb32a6daf7f67946c5d3c1c8e32ebe73be6a1edf9c425cc3f91e197bf901c"
                },
                "downloads": -1,
                "filename": "intrepyd-0.5.9.tar.gz",
                "has_sig": false,
                "md5_digest": "c6dc0f71f8baaa0a761af9749bdbf4a7",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 14372404,
                "upload_time": "2017-10-11T13:26:04",
                "url": "https://files.pythonhosted.org/packages/0d/d6/2427f842412bf8548ac13aa740fa999f721528b76e7a8730f5fcfa738835/intrepyd-0.5.9.tar.gz"
            }
        ],
        "0.6.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "48739e8ee56f4351919d394e8439a4dd",
                    "sha256": "c4dbb7812ce2db3b8e6403da9d830087c6b0fb30bfa702ed60a0ffd5abf5eff6"
                },
                "downloads": -1,
                "filename": "intrepyd-0.6.0.tar.gz",
                "has_sig": false,
                "md5_digest": "48739e8ee56f4351919d394e8439a4dd",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23193502,
                "upload_time": "2017-10-18T21:00:14",
                "url": "https://files.pythonhosted.org/packages/62/38/014077b211782e9135bde713f616f07b045e17baf085ed48eb886252180c/intrepyd-0.6.0.tar.gz"
            }
        ],
        "0.6.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d34e36183954a4a1925f8697940bdd8e",
                    "sha256": "7ea4cea726f6099b9232186f0f1ffade39753232665ef90bbe8c9d8045e9712a"
                },
                "downloads": -1,
                "filename": "intrepyd-0.6.1.tar.gz",
                "has_sig": false,
                "md5_digest": "d34e36183954a4a1925f8697940bdd8e",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23193584,
                "upload_time": "2017-10-22T21:08:45",
                "url": "https://files.pythonhosted.org/packages/24/70/2650f1b8651357a97ff8deffc921add8bc898f43e293f67491339852a546/intrepyd-0.6.1.tar.gz"
            }
        ],
        "0.6.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "8b21e31b551788ef7b105422df180acf",
                    "sha256": "630d246ab3256cabf3b26940e733734d36740d85bb85c975709ad5851504364f"
                },
                "downloads": -1,
                "filename": "intrepyd-0.6.2.tar.gz",
                "has_sig": false,
                "md5_digest": "8b21e31b551788ef7b105422df180acf",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23193572,
                "upload_time": "2017-11-27T10:32:35",
                "url": "https://files.pythonhosted.org/packages/af/6c/27e29154ae239b87d7a5d701a6787c3d49952b9bbdc2f8e54fe458c3b45a/intrepyd-0.6.2.tar.gz"
            }
        ],
        "0.6.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "a89f122937897f961d3b4835bcc43cf7",
                    "sha256": "7f952fd35446c6fdd571be866dd47fe65957e56f439d885ee5a436dfc1c5bd1d"
                },
                "downloads": -1,
                "filename": "intrepyd-0.6.3.tar.gz",
                "has_sig": false,
                "md5_digest": "a89f122937897f961d3b4835bcc43cf7",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23193847,
                "upload_time": "2017-12-15T22:14:38",
                "url": "https://files.pythonhosted.org/packages/58/8a/0f3b0cdff7730889409781f08f48fcabbbd34a0580c50c8371f1521f581f/intrepyd-0.6.3.tar.gz"
            }
        ],
        "0.6.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "4a662064b74b4708fecfde9306696d5c",
                    "sha256": "dd4ab6a0f615277f03c120363e3ae48abf3d3a77782ccfda1ff2feded233a92c"
                },
                "downloads": -1,
                "filename": "intrepyd-0.6.4.tar.gz",
                "has_sig": false,
                "md5_digest": "4a662064b74b4708fecfde9306696d5c",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23195453,
                "upload_time": "2018-01-02T13:37:10",
                "url": "https://files.pythonhosted.org/packages/7e/67/2d606940b0cd01b74feaf9b56b3b0a8cb81c2f143cef3a77bad9b244dce7/intrepyd-0.6.4.tar.gz"
            }
        ],
        "0.7.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "6416cb7c79a0922968f3ff5b1dc68eb5",
                    "sha256": "c3a1e4c425f4fb489da29f4062b3f35ede82ec6cf222f029f42dc4c89f632bb4"
                },
                "downloads": -1,
                "filename": "intrepyd-0.7.0.tar.gz",
                "has_sig": false,
                "md5_digest": "6416cb7c79a0922968f3ff5b1dc68eb5",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23784598,
                "upload_time": "2019-05-12T10:05:24",
                "url": "https://files.pythonhosted.org/packages/41/8c/b9d8c373e6a43623333a55b5c5cfae9bd3b5785b4ab48820e5c13d2e6bb1/intrepyd-0.7.0.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "6416cb7c79a0922968f3ff5b1dc68eb5",
                "sha256": "c3a1e4c425f4fb489da29f4062b3f35ede82ec6cf222f029f42dc4c89f632bb4"
            },
            "downloads": -1,
            "filename": "intrepyd-0.7.0.tar.gz",
            "has_sig": false,
            "md5_digest": "6416cb7c79a0922968f3ff5b1dc68eb5",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 23784598,
            "upload_time": "2019-05-12T10:05:24",
            "url": "https://files.pythonhosted.org/packages/41/8c/b9d8c373e6a43623333a55b5c5cfae9bd3b5785b4ab48820e5c13d2e6bb1/intrepyd-0.7.0.tar.gz"
        }
    ]
}