{
    "info": {
        "author": "Cristian Mattarei",
        "author_email": "cristian.mattarei@gmail.com",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "================================\n CoSA: CoreIR Symbolic Analyzer\n================================\n\nCoSA is an SMT-based symbolic model checker for hardware design.\n\nSupported Input Formats\n=======================\n* CoreIR (https://github.com/rdaly525/coreir)\n* Verilog\n* SystemVerilog\n* Symbolic Transition System\n* Explicit Transition System\n* BTOR2 (https://github.com/Boolector/btor2tools)\n\nSupported Verifications\n=======================\n* Invariant Properties\n* LTL Properties\n* Proving capabilities\n* Equivalence Checking\n* Parametric (Invariant) Model Checking\n* Fault Analysis\n* Automated Lemma Extraction\n\nCoSA relies on PySMT (http://www.pysmt.org), which is a solver\nagnostic library to interface with SMT solvers.\n\nFor more information visit http://github.com/cristian-mattarei/CoSA\n\n\n",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "http://github.com/cristian-mattarei/CoSA",
        "keywords": "",
        "license": "BSD",
        "maintainer": "",
        "maintainer_email": "",
        "name": "CoSA",
        "package_url": "https://pypi.org/project/CoSA/",
        "platform": "",
        "project_url": "https://pypi.org/project/CoSA/",
        "project_urls": {
            "Homepage": "http://github.com/cristian-mattarei/CoSA"
        },
        "release_url": "https://pypi.org/project/CoSA/0.4/",
        "requires_dist": [
            "six",
            "pyparsing",
            "pysmt",
            "coreir",
            "hwtypes"
        ],
        "requires_python": "",
        "summary": "CoreIR Symbolic Analyzer",
        "version": "0.4"
    },
    "last_serial": 5353774,
    "releases": {
        "0.1.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "16da7f1048d44edf25a50e3dd2718609",
                    "sha256": "d6e4bdac0e5cf5efd6b26f03bdbfd5f7e46a607fbd6669914691f4db5b3a328a"
                },
                "downloads": -1,
                "filename": "CoSA-0.1.1.tar.gz",
                "has_sig": false,
                "md5_digest": "16da7f1048d44edf25a50e3dd2718609",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 54530,
                "upload_time": "2018-08-17T21:48:41",
                "url": "https://files.pythonhosted.org/packages/c1/dc/d07fd36a869259e8c2c58a11d94065e06f686ee5bc22d2fe4901ca4d486b/CoSA-0.1.1.tar.gz"
            }
        ],
        "0.1.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "7aba1f0b2070fbef719584598eab7cf3",
                    "sha256": "6754b1619e91ff5f024c8906a6611adeb41ba8bc4bdca367868436f3bfe25e49"
                },
                "downloads": -1,
                "filename": "CoSA-0.1.2.tar.gz",
                "has_sig": false,
                "md5_digest": "7aba1f0b2070fbef719584598eab7cf3",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 55168,
                "upload_time": "2018-08-27T21:06:49",
                "url": "https://files.pythonhosted.org/packages/d0/a1/f0bc7cabfb95ec137279e8af11364ae9767283cc5c8f0748303e5d281362/CoSA-0.1.2.tar.gz"
            }
        ],
        "0.2.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f8d13e0b4fe5b662cc05c381bc20b89a",
                    "sha256": "03a5ee472f417673b94fed004d3af28dd57350a648fd9dc4b53d8d727b8b956a"
                },
                "downloads": -1,
                "filename": "CoSA-0.2.0.tar.gz",
                "has_sig": false,
                "md5_digest": "f8d13e0b4fe5b662cc05c381bc20b89a",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 71898,
                "upload_time": "2018-09-19T17:08:43",
                "url": "https://files.pythonhosted.org/packages/23/fb/aa706344fa502deae5a22cb436920afcff7221089e4c898d65001680cb07/CoSA-0.2.0.tar.gz"
            }
        ],
        "0.2.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "a2cf2ff0d7565bb7331357a94b8ec3e2",
                    "sha256": "206870943fc4e0e1de27c46da1ef826a3690f155b87477ffb22a1dc9ee33cf7c"
                },
                "downloads": -1,
                "filename": "CoSA-0.2.1.tar.gz",
                "has_sig": false,
                "md5_digest": "a2cf2ff0d7565bb7331357a94b8ec3e2",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 72071,
                "upload_time": "2018-09-19T22:08:11",
                "url": "https://files.pythonhosted.org/packages/c6/2c/03aea1875954ee269096bb96205da0cd01cdbfb7d4c08342e31db955a8ca/CoSA-0.2.1.tar.gz"
            }
        ],
        "0.2.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "8636a2f56ab3918e5e3b10913e117327",
                    "sha256": "7f8857676dd108601f71709cf0e253d01192bb6a42ea3651737b4165a3117f84"
                },
                "downloads": -1,
                "filename": "CoSA-0.2.2.tar.gz",
                "has_sig": false,
                "md5_digest": "8636a2f56ab3918e5e3b10913e117327",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 79055,
                "upload_time": "2018-10-01T18:48:06",
                "url": "https://files.pythonhosted.org/packages/35/61/061faba0c09b1b782736b5725801bff60e581d34f37b8383bb82aca95fb7/CoSA-0.2.2.tar.gz"
            }
        ],
        "0.2.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "2be78768075cb3dd65db2bf45b59002f",
                    "sha256": "c500cf9335892d73eccff3d3c5bbbacca51f16f9398ba2d41bb52a9c8fa2a0ed"
                },
                "downloads": -1,
                "filename": "CoSA-0.2.3.tar.gz",
                "has_sig": false,
                "md5_digest": "2be78768075cb3dd65db2bf45b59002f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 90753,
                "upload_time": "2018-10-08T17:15:33",
                "url": "https://files.pythonhosted.org/packages/cb/ea/8d67a00f3559612864f93761c957a5f5e843a13b54e5cc83d87ad484fd89/CoSA-0.2.3.tar.gz"
            }
        ],
        "0.2.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "55c1e49277d4b94bc541ed79fe72f73e",
                    "sha256": "8e4c64b8476bdf12dd7fb957ecba2c2e912bb3478e59c723e7c9f0b9298e84a9"
                },
                "downloads": -1,
                "filename": "CoSA-0.2.4.tar.gz",
                "has_sig": false,
                "md5_digest": "55c1e49277d4b94bc541ed79fe72f73e",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 92589,
                "upload_time": "2018-10-09T17:45:39",
                "url": "https://files.pythonhosted.org/packages/26/83/eb71705c4f2a49e8ff85dd4984693d68aaa379e3fd167193d3554aac24a6/CoSA-0.2.4.tar.gz"
            }
        ],
        "0.2.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "4184f281bf5b72c95973a150cab5e610",
                    "sha256": "f0d5c87a938a07ceb9f46d16d76e12eb7a450e1825d5300beb8d960319da6c34"
                },
                "downloads": -1,
                "filename": "CoSA-0.2.5.tar.gz",
                "has_sig": false,
                "md5_digest": "4184f281bf5b72c95973a150cab5e610",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 96461,
                "upload_time": "2018-10-12T22:09:25",
                "url": "https://files.pythonhosted.org/packages/b1/1c/538993c0def260396bce03b2833a0ccdf172923abba5eddae7a56d2ef898/CoSA-0.2.5.tar.gz"
            }
        ],
        "0.2.6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d5f3db6301a4576653bbc4e6d833a2fa",
                    "sha256": "874527b5c5cbad7b5522139a71b452512f92427cdf5171570622ca14939b0671"
                },
                "downloads": -1,
                "filename": "CoSA-0.2.6.tar.gz",
                "has_sig": false,
                "md5_digest": "d5f3db6301a4576653bbc4e6d833a2fa",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 96504,
                "upload_time": "2018-10-12T23:00:46",
                "url": "https://files.pythonhosted.org/packages/94/e7/c547e4b6281097cc5f08fc5ac8bacbc3e57a35d131fdb35f7a5e2b5495d1/CoSA-0.2.6.tar.gz"
            }
        ],
        "0.2.7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e53a7117d1303f5f4dcfe8d7a91a03cd",
                    "sha256": "853851f0e45cbfe90e0c83c572059d84f0575ed208d32144b7d555af5a753b10"
                },
                "downloads": -1,
                "filename": "CoSA-0.2.7.tar.gz",
                "has_sig": false,
                "md5_digest": "e53a7117d1303f5f4dcfe8d7a91a03cd",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 94491,
                "upload_time": "2018-10-17T17:25:54",
                "url": "https://files.pythonhosted.org/packages/d4/d0/cb3a335787655e321fea4fd1418c6cf2031ee02dd0d33ed210c49545e623/CoSA-0.2.7.tar.gz"
            }
        ],
        "0.2.8": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "34680b2f6ed70c8ecdea3fff80e4427a",
                    "sha256": "f80e6b2afac2abc02850c10c1fb3e998cb74bef029591c5e933ebc444083be7e"
                },
                "downloads": -1,
                "filename": "CoSA-0.2.8.tar.gz",
                "has_sig": false,
                "md5_digest": "34680b2f6ed70c8ecdea3fff80e4427a",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 95973,
                "upload_time": "2018-10-18T01:21:22",
                "url": "https://files.pythonhosted.org/packages/b8/e2/381d7af9155784c99f85210fa1455404920be74c76adc2d7e614ee7c1bbe/CoSA-0.2.8.tar.gz"
            }
        ],
        "0.3.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "5321276d09f59bf317407c95bf665bab",
                    "sha256": "ffb3de652f388173199e883b4a25b987a644ece7b4edd9a3ddd4c27c16235cde"
                },
                "downloads": -1,
                "filename": "CoSA-0.3.0.tar.gz",
                "has_sig": false,
                "md5_digest": "5321276d09f59bf317407c95bf665bab",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 88238,
                "upload_time": "2018-11-02T19:45:58",
                "url": "https://files.pythonhosted.org/packages/58/b0/d1d4dedd9032fd535a9c3d57dd8a42a38b29446df66dc1e782bd2cd4ada9/CoSA-0.3.0.tar.gz"
            }
        ],
        "0.3.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "53e2aa9dd0d569c8a07619a6c8d375ce",
                    "sha256": "c64fde4fefdfaa43a1125b7d8b41734ab1b92ccef4b4c88295e2aaf6cdcd4045"
                },
                "downloads": -1,
                "filename": "CoSA-0.3.1-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "53e2aa9dd0d569c8a07619a6c8d375ce",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 121873,
                "upload_time": "2019-03-13T17:16:58",
                "url": "https://files.pythonhosted.org/packages/16/ee/a44d0d4f623510026293442bdb50a27936c56d1a036905a872f3fb207b47/CoSA-0.3.1-py2.py3-none-any.whl"
            }
        ],
        "0.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "26c09c3bde84afc4552c3ab99d387dcf",
                    "sha256": "c4ddbd1e48f7a3ee47917c11a2730e60f8a29781b5d2559c705792d093eed1f8"
                },
                "downloads": -1,
                "filename": "CoSA-0.4-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "26c09c3bde84afc4552c3ab99d387dcf",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 132311,
                "upload_time": "2019-06-03T18:10:48",
                "url": "https://files.pythonhosted.org/packages/f6/c2/1f65a1a2888c63a505b0a433139760372ffdaa2fd4c526f4026e37f82cb4/CoSA-0.4-py2.py3-none-any.whl"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "26c09c3bde84afc4552c3ab99d387dcf",
                "sha256": "c4ddbd1e48f7a3ee47917c11a2730e60f8a29781b5d2559c705792d093eed1f8"
            },
            "downloads": -1,
            "filename": "CoSA-0.4-py2.py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "26c09c3bde84afc4552c3ab99d387dcf",
            "packagetype": "bdist_wheel",
            "python_version": "py2.py3",
            "requires_python": null,
            "size": 132311,
            "upload_time": "2019-06-03T18:10:48",
            "url": "https://files.pythonhosted.org/packages/f6/c2/1f65a1a2888c63a505b0a433139760372ffdaa2fd4c526f4026e37f82cb4/CoSA-0.4-py2.py3-none-any.whl"
        }
    ]
}