{
    "info": {
        "author": "Marcell Vazquez-Chanlatte",
        "author_email": "mvc@linux.com",
        "bugtrack_url": null,
        "classifiers": [
            "License :: OSI Approved :: MIT License",
            "Programming Language :: Python :: 3",
            "Programming Language :: Python :: 3.7",
            "Programming Language :: Python :: 3.8",
            "Programming Language :: Python :: 3.9",
            "Programming Language :: Python :: 3.10"
        ],
        "description": "# py-aiger-cnf\nPython library to convert between AIGER and CNF\n\n[![Build Status](https://cloud.drone.io/api/badges/mvcisback/py-aiger-cnf/status.svg)](https://cloud.drone.io/mvcisback/py-aiger-cnf)\n[![codecov](https://codecov.io/gh/mvcisback/py-aiger-cnf/branch/master/graph/badge.svg)](https://codecov.io/gh/mvcisback/py-aiger-cnf)\n[![PyPI version](https://badge.fury.io/py/py-aiger-cnf.svg)](https://badge.fury.io/py/py-aiger-cnf)\n[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)\n\n<!-- markdown-toc start - Don't edit this section. Run M-x markdown-toc-generate-toc again -->\n**Table of Contents**\n\n- [Installation](#installation)\n- [Usage](#usage)\n\n<!-- markdown-toc end -->\n\n# Installation\n\nIf you just need to use `aiger_cnf`, you can just run:\n\n`$ pip install py-aiger-cnf`\n\nFor developers, note that this project uses the\n[poetry](https://poetry.eustace.io/) python package/dependency\nmanagement tool. Please familarize yourself with it and then\nrun:\n\n`$ poetry install`\n\n# Usage\n\nThe primary entry point for using `aiger_cnf` is the `aig2cnf`\nfunction which, unsurprisingly, maps `AIG` objects to `CNF` objects.\n\n```python\nimport aiger\nfrom aiger_cnf import aig2cnf\n\nx, y, z = map(aiger.atom, ('x', 'y', 'z'))\nexpr = (x & y) | ~z\ncnf = aig2cnf(expr.aig)\n```\n\nNote that this library also supports `aiger` wrapper libraries so long\nas they export a `.aig` attribute. Thus, could also\nwrite:\n\n```python\ncnf = aig2cnf(expr)\n```\n\n\nThe `CNF` object is a `NamedTuple` with the following three fields:\n\n1. `clauses`: A list of tuples of ints, e.g., `[(1,2,3), (-1,\n   2)]`. Each integer represents a variable's id, with the sign\n   indicating the polarity of the variable.\n2. `input2lit`: A [bidict](https://bidict.readthedocs.io/en/master/)\n   from input names to variable ids.\n2. `output2lit`: A [bidict](https://bidict.readthedocs.io/en/master/)\n   from output names to variable ids.\n",
        "description_content_type": "text/markdown",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/mvcisback/py-aiger-cnf",
        "keywords": "",
        "license": "MIT",
        "maintainer": "",
        "maintainer_email": "",
        "name": "py-aiger-cnf",
        "package_url": "https://pypi.org/project/py-aiger-cnf/",
        "platform": "",
        "project_url": "https://pypi.org/project/py-aiger-cnf/",
        "project_urls": {
            "Homepage": "https://github.com/mvcisback/py-aiger-cnf",
            "Repository": "https://github.com/mvcisback/py-aiger-cnf"
        },
        "release_url": "https://pypi.org/project/py-aiger-cnf/5.0.4/",
        "requires_dist": [
            "bidict (>=0.21.0,<0.22.0)",
            "funcy (>=1.12,<2.0)",
            "py-aiger (>=6.0.0,<7.0.0)"
        ],
        "requires_python": ">=3.7,<4.0",
        "summary": "Python library to convert between AIGER and CNF",
        "version": "5.0.4",
        "yanked": false,
        "yanked_reason": null
    },
    "last_serial": 12042984,
    "releases": {
        "0.1.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "71e55ff34578fa2e139d9326964f2316",
                    "sha256": "94754dcc0d8d2d0779fb6c66dc0a345b87cd8485ab735a4ab4a8fbdf5ef5cf2a"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-0.1.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "71e55ff34578fa2e139d9326964f2316",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6,<4.0",
                "size": 4300,
                "upload_time": "2019-07-22T05:59:06",
                "upload_time_iso_8601": "2019-07-22T05:59:06.122756Z",
                "url": "https://files.pythonhosted.org/packages/41/bf/53f476005ffc06ad84f4e02ffc8f288c8f5e22a76997cb12fc90b6756c6e/py_aiger_cnf-0.1.0-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "567beabfa742732e69b7a96cf7f4773f",
                    "sha256": "e263def1c030014b06eb8bbcff95d8ef04e828c4cc22e94937a7f68fe8dbb141"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-0.1.0.tar.gz",
                "has_sig": false,
                "md5_digest": "567beabfa742732e69b7a96cf7f4773f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6,<4.0",
                "size": 4007,
                "upload_time": "2019-07-22T05:59:03",
                "upload_time_iso_8601": "2019-07-22T05:59:03.846604Z",
                "url": "https://files.pythonhosted.org/packages/75/d4/e091aa77ea0ba1607818e1daa43294c947ef5910706a8ef8e5ec99b69ca1/py-aiger-cnf-0.1.0.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "0.1.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d7e3a5bbc2355e3bbbe0631eba6308e6",
                    "sha256": "19d4ba5a9438847c888784d33cae7bed3fae904d49bfa01389bc8f930c1ff8ed"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-0.1.1-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "d7e3a5bbc2355e3bbbe0631eba6308e6",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6,<4.0",
                "size": 4297,
                "upload_time": "2019-07-22T06:07:19",
                "upload_time_iso_8601": "2019-07-22T06:07:19.686203Z",
                "url": "https://files.pythonhosted.org/packages/26/8c/525fc676cf6f466463156ee5813f45e3fe0968952348a488da9591107402/py_aiger_cnf-0.1.1-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "b95281259b060e164af3f1080eed1336",
                    "sha256": "9c1c3a1630e58b16e6436412cc2a996e89cfad47291f4f6e1f9c653514723555"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-0.1.1.tar.gz",
                "has_sig": false,
                "md5_digest": "b95281259b060e164af3f1080eed1336",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6,<4.0",
                "size": 4027,
                "upload_time": "2019-07-22T06:07:18",
                "upload_time_iso_8601": "2019-07-22T06:07:18.131066Z",
                "url": "https://files.pythonhosted.org/packages/c5/f3/27083510bd8ec1be4d8bf745ad8af075ebccfa78b2c40119f99fed9a07ee/py-aiger-cnf-0.1.1.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "0.1.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "8ce865e313d684dd264d0fde64e5dfa0",
                    "sha256": "95826eeab5053e34aae61e470808bf04b58df208e2ba043b1913a7c027185f4e"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-0.1.2-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "8ce865e313d684dd264d0fde64e5dfa0",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6,<4.0",
                "size": 4173,
                "upload_time": "2019-07-24T01:02:01",
                "upload_time_iso_8601": "2019-07-24T01:02:01.806778Z",
                "url": "https://files.pythonhosted.org/packages/37/65/361ff0f05c5d870f179ba2eb1c00f32281fc5ee89b5f5af07a9aa7e9dc22/py_aiger_cnf-0.1.2-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f271db1606ac2c3f015a2ed11517e566",
                    "sha256": "0d3cdbf25d0f9a7a7a57ab8b469d37bf68ac752a8fef47d98698fe3b28b79c24"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-0.1.2.tar.gz",
                "has_sig": false,
                "md5_digest": "f271db1606ac2c3f015a2ed11517e566",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6,<4.0",
                "size": 3897,
                "upload_time": "2019-07-24T01:02:00",
                "upload_time_iso_8601": "2019-07-24T01:02:00.138397Z",
                "url": "https://files.pythonhosted.org/packages/81/4a/dff7a40ba1b7f6b6bbd42c22efdebc2daf61e9a9846c050816c97dea1bfe/py-aiger-cnf-0.1.2.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "1.0.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "66853d835e4f7f3687203e38b8d4fca8",
                    "sha256": "29e79a6b4e33559116cbc965301220a81d4162a1b7a1f1b8e19b32599ea82bd0"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-1.0.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "66853d835e4f7f3687203e38b8d4fca8",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6,<4.0",
                "size": 4338,
                "upload_time": "2019-10-21T04:33:54",
                "upload_time_iso_8601": "2019-10-21T04:33:54.829081Z",
                "url": "https://files.pythonhosted.org/packages/e7/77/fe39c4124b5396266122dfaa30d1ca77678dca5688d7adaf7fcc4050b4fc/py_aiger_cnf-1.0.0-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "7e37c7d145f038ecf7a384885c4cee4f",
                    "sha256": "9e99f22c82a078e4367748f29bbcba33794035cc723d8a714e66713a09400836"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-1.0.0.tar.gz",
                "has_sig": false,
                "md5_digest": "7e37c7d145f038ecf7a384885c4cee4f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6,<4.0",
                "size": 4117,
                "upload_time": "2019-10-21T04:33:53",
                "upload_time_iso_8601": "2019-10-21T04:33:53.489916Z",
                "url": "https://files.pythonhosted.org/packages/18/7b/a2787c9fed6e2a044222daa2c892daf94e7723b3459856a48664c32b5d69/py-aiger-cnf-1.0.0.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "1.1.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "9d30379b67bf66ce5d54c4e3ddaaff54",
                    "sha256": "bfe3f3b6683212183c4417ac99dfacd80299a1933b28730c47c6830c383191a4"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-1.1.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "9d30379b67bf66ce5d54c4e3ddaaff54",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6,<4.0",
                "size": 4662,
                "upload_time": "2019-10-23T22:33:18",
                "upload_time_iso_8601": "2019-10-23T22:33:18.492121Z",
                "url": "https://files.pythonhosted.org/packages/0b/53/5e9193b081a9651cb402315f4b488b7614fb70769e97aac8dd55c5c66a5c/py_aiger_cnf-1.1.0-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a4aa74d344d3a6ea7eaa9bc19117929f",
                    "sha256": "4bea91014b67dfce4f9c8cb9fab4260d587c621bc3674e263dad94c00ab38309"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-1.1.0.tar.gz",
                "has_sig": false,
                "md5_digest": "a4aa74d344d3a6ea7eaa9bc19117929f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6,<4.0",
                "size": 4393,
                "upload_time": "2019-10-23T22:33:17",
                "upload_time_iso_8601": "2019-10-23T22:33:17.142640Z",
                "url": "https://files.pythonhosted.org/packages/01/82/c6f081d36853b97eb7ee172df1dcae6ddaffbab60b0c367a009354dc1ceb/py-aiger-cnf-1.1.0.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "1.2.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "c3d1c62db18a3c1fb81e9f8374cdfaee",
                    "sha256": "af78c107d905e08ca97ccaf27efcb0993e06ff5fe91901726004c8b8a7a48f7e"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-1.2.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "c3d1c62db18a3c1fb81e9f8374cdfaee",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6,<4.0",
                "size": 4645,
                "upload_time": "2019-10-28T19:55:19",
                "upload_time_iso_8601": "2019-10-28T19:55:19.879274Z",
                "url": "https://files.pythonhosted.org/packages/c0/54/e2f10e0e393a4875d3633d898dcb8bf99eb49ccba93240c72b3ba87f739a/py_aiger_cnf-1.2.0-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "10205f50040d76ca0496c1b079b3ff57",
                    "sha256": "1c44a30e0dcf21dc232ddd7f1725847acb4c3b2acd81894712b339a371b25c12"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-1.2.0.tar.gz",
                "has_sig": false,
                "md5_digest": "10205f50040d76ca0496c1b079b3ff57",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6,<4.0",
                "size": 4394,
                "upload_time": "2019-10-28T19:55:18",
                "upload_time_iso_8601": "2019-10-28T19:55:18.686374Z",
                "url": "https://files.pythonhosted.org/packages/25/e1/0fd23d1a73f6183f1b8cbbc3ad17f1a33cc69743417d7c2f566592e318ed/py-aiger-cnf-1.2.0.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "2.0.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "2c75f5c4849254fc9d094c17ceeb5a9f",
                    "sha256": "41aef839872ee12588bb05ba3d441289cbf080e02f71d90e0056f5024cd67992"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-2.0.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "2c75f5c4849254fc9d094c17ceeb5a9f",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6,<4.0",
                "size": 4628,
                "upload_time": "2019-10-28T23:08:47",
                "upload_time_iso_8601": "2019-10-28T23:08:47.638716Z",
                "url": "https://files.pythonhosted.org/packages/28/60/cd38f0be09dcb64d5502022c24b21cca6f816fd76b6b400c4f02b3a06971/py_aiger_cnf-2.0.0-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "d9fbb17bea6a3689fd68a1fcb1c3f265",
                    "sha256": "74b700e0e2b2015ddc5770a476c1e855dc28732ca46f3217be71e3fdcd9bb52c"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-2.0.0.tar.gz",
                "has_sig": false,
                "md5_digest": "d9fbb17bea6a3689fd68a1fcb1c3f265",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6,<4.0",
                "size": 4367,
                "upload_time": "2019-10-28T23:08:46",
                "upload_time_iso_8601": "2019-10-28T23:08:46.047253Z",
                "url": "https://files.pythonhosted.org/packages/d9/3c/7726a4cdc20d24940c3c0ea4e9bda0aec40c38dfc042ebccc018e682959d/py-aiger-cnf-2.0.0.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "3.0.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d0e4478b519986867facc9b8ea98fc34",
                    "sha256": "ab31e786a53f0e518bbdfdd6026a4f8d3d2fa935843220c9f2df0892ac320501"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-3.0.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "d0e4478b519986867facc9b8ea98fc34",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6,<4.0",
                "size": 4788,
                "upload_time": "2020-03-14T22:19:44",
                "upload_time_iso_8601": "2020-03-14T22:19:44.203209Z",
                "url": "https://files.pythonhosted.org/packages/e8/9c/8d35557cef92f4ba6fdfb856b2b3f387dfe90d21a98c283c333290020cc1/py_aiger_cnf-3.0.0-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "e450f7816aa635fde0ad4a68d67b0fdc",
                    "sha256": "212c0963e82ed01316d02809fdfe494041a5a82d88c65a219687a6f358b8ed5c"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-3.0.0.tar.gz",
                "has_sig": false,
                "md5_digest": "e450f7816aa635fde0ad4a68d67b0fdc",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6,<4.0",
                "size": 4523,
                "upload_time": "2020-03-14T22:19:43",
                "upload_time_iso_8601": "2020-03-14T22:19:43.131536Z",
                "url": "https://files.pythonhosted.org/packages/14/ca/41e79ae04c95eb1fa05200366ec3a4399b2c2a6b9c2ce19f08e2b4909bd3/py-aiger-cnf-3.0.0.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "4.0.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "fd59c1d3a42db1adec6cb8a02ede7276",
                    "sha256": "9e6376449af03454e31a8b8fb09903eb1c093a357157d0356cd6edd5c4eb6c51"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-4.0.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "fd59c1d3a42db1adec6cb8a02ede7276",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 5129,
                "upload_time": "2020-05-14T23:49:14",
                "upload_time_iso_8601": "2020-05-14T23:49:14.346876Z",
                "url": "https://files.pythonhosted.org/packages/8c/3e/a4b42f61b382fa92d023c76e9d5ef9b44e2d9d645d432b16eb0c853d4dfd/py_aiger_cnf-4.0.0-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "75278a77b1da3e962d6d787427667518",
                    "sha256": "f93fcf083a2f20340cc50ab558c932372755e7d7adab7d82aa8f6de2d1181e6b"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-4.0.0.tar.gz",
                "has_sig": false,
                "md5_digest": "75278a77b1da3e962d6d787427667518",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 4889,
                "upload_time": "2020-05-14T23:49:13",
                "upload_time_iso_8601": "2020-05-14T23:49:13.400172Z",
                "url": "https://files.pythonhosted.org/packages/c3/78/a5a41fabb55631909794e58aff9d078c49b7a1d8b72bdb61fdd6507e4d96/py-aiger-cnf-4.0.0.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "5.0.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "52ca7637f8e222c443ba05feb10f7a0f",
                    "sha256": "2db1d06436bf9cac497d3e1f7fd461a2e40444ca8f1817fcdb9686ead7213d1b"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-5.0.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "52ca7637f8e222c443ba05feb10f7a0f",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 5130,
                "upload_time": "2020-05-17T05:11:55",
                "upload_time_iso_8601": "2020-05-17T05:11:55.318837Z",
                "url": "https://files.pythonhosted.org/packages/a6/a7/9bb59d92b38fe13aadda208ecd3a9c1b49d5b3efa68f72aa898436a590a6/py_aiger_cnf-5.0.0-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a36f45c4cd3dad0a50cd5fdb33cbdfa5",
                    "sha256": "765bcadf0359e841fd12822ec5a9bbb2e57389be387ce3f1cec172ce96022b79"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-5.0.0.tar.gz",
                "has_sig": false,
                "md5_digest": "a36f45c4cd3dad0a50cd5fdb33cbdfa5",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 4878,
                "upload_time": "2020-05-17T05:11:54",
                "upload_time_iso_8601": "2020-05-17T05:11:54.203295Z",
                "url": "https://files.pythonhosted.org/packages/cc/44/663206b68b32382d5e36b653954ea12d267f394fc20f0dfead43dbcead24/py-aiger-cnf-5.0.0.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "5.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "01ff74b4dc15b71a1db555fa02332f08",
                    "sha256": "bdbc46b548ae8f1b496e4fef2d911c0c8e2ce1fb793db89ce96be43840e0051e"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-5.0.1-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "01ff74b4dc15b71a1db555fa02332f08",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 5127,
                "upload_time": "2020-09-12T05:23:38",
                "upload_time_iso_8601": "2020-09-12T05:23:38.747491Z",
                "url": "https://files.pythonhosted.org/packages/2f/59/99225c19f80a406c03aaeb4d8053a5d32446d7817dd6639f4b54182b37c9/py_aiger_cnf-5.0.1-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "2a858e5d7455e23f50128212ef7050bb",
                    "sha256": "85c1446e6cad0353716df7eb1a902eb4487ce27691c4a1e16a3c9699ed733276"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-5.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "2a858e5d7455e23f50128212ef7050bb",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 4872,
                "upload_time": "2020-09-12T05:23:37",
                "upload_time_iso_8601": "2020-09-12T05:23:37.562491Z",
                "url": "https://files.pythonhosted.org/packages/1d/8b/17a089d234d60314c0ff8488dc1f20baeaf14b3e1bb24a958af325108d2a/py-aiger-cnf-5.0.1.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "5.0.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "682a8a37ea2eab8b9b96430bbbdfdca9",
                    "sha256": "c456761d3333af8b168f348c44c036d7c78339bc4be502abb2d4120bb675c62a"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-5.0.2-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "682a8a37ea2eab8b9b96430bbbdfdca9",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 5155,
                "upload_time": "2021-08-15T23:25:37",
                "upload_time_iso_8601": "2021-08-15T23:25:37.802909Z",
                "url": "https://files.pythonhosted.org/packages/bb/a8/f345404c0e2688b8fb40df96c07074aeba7458ee2a9e57c6c0c939f923d2/py_aiger_cnf-5.0.2-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "7188782be4ee9c99a45cd76311b7e60d",
                    "sha256": "6349a4ca1c6b0fa2ab2b94ea8e1fe742376a50339dd27dcc53aabc8a9bd83211"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-5.0.2.tar.gz",
                "has_sig": false,
                "md5_digest": "7188782be4ee9c99a45cd76311b7e60d",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 4830,
                "upload_time": "2021-08-15T23:25:36",
                "upload_time_iso_8601": "2021-08-15T23:25:36.068580Z",
                "url": "https://files.pythonhosted.org/packages/50/9d/b46088c78d22a1dc0d62e984c54363288cd0c7d104c1eacb4bf71cbd3a3f/py-aiger-cnf-5.0.2.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "5.0.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "bd62ffd5f1e16db2ecd9b60c57d70c54",
                    "sha256": "5de9c3fa3830246ff8942cca373d725755bc8e29183fbd7187c06fdbf92694f2"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-5.0.3-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "bd62ffd5f1e16db2ecd9b60c57d70c54",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 5158,
                "upload_time": "2021-11-16T23:43:25",
                "upload_time_iso_8601": "2021-11-16T23:43:25.780112Z",
                "url": "https://files.pythonhosted.org/packages/f5/6a/85e637d6cec1ee95d86399b9ceb48cf82374777898d8d6aa588f88e974cf/py_aiger_cnf-5.0.3-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "ec3171d2420b4f9e6e8b3d9001a18749",
                    "sha256": "39321c9c850360e0c5fcc223e4c9ddf43bffd05a5a44e2450de383377e8d48d1"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-5.0.3.tar.gz",
                "has_sig": false,
                "md5_digest": "ec3171d2420b4f9e6e8b3d9001a18749",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 4831,
                "upload_time": "2021-11-16T23:43:24",
                "upload_time_iso_8601": "2021-11-16T23:43:24.200595Z",
                "url": "https://files.pythonhosted.org/packages/6c/8d/50b57ac626e5ce48fc566ccbd674255441485b322fde413d77bd8a1be1b3/py-aiger-cnf-5.0.3.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "5.0.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "66d7ba9228032cef8300bff2fb73ad43",
                    "sha256": "5e565d76fad578717afb1609ceda91a5b09565b4e5d443ef344162b9e66d9bac"
                },
                "downloads": -1,
                "filename": "py_aiger_cnf-5.0.4-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "66d7ba9228032cef8300bff2fb73ad43",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 5157,
                "upload_time": "2021-11-17T00:28:06",
                "upload_time_iso_8601": "2021-11-17T00:28:06.410632Z",
                "url": "https://files.pythonhosted.org/packages/d6/2e/81d9f76d72f99162c9d28e7684de0961efa0b246fbc8fa3d5df0c054ce65/py_aiger_cnf-5.0.4-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "0342c4268108700abd0f5d1b21011399",
                    "sha256": "5cc2641158df6e34f40df8c82ec4cc6ecca83a0166ede1e1e7e2fd4cbaa23571"
                },
                "downloads": -1,
                "filename": "py-aiger-cnf-5.0.4.tar.gz",
                "has_sig": false,
                "md5_digest": "0342c4268108700abd0f5d1b21011399",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 4839,
                "upload_time": "2021-11-17T00:28:04",
                "upload_time_iso_8601": "2021-11-17T00:28:04.672563Z",
                "url": "https://files.pythonhosted.org/packages/b2/1d/9aae1dae4105865e7b2f95690be42c98c2e758f9adf3cbc0162b13f48475/py-aiger-cnf-5.0.4.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "66d7ba9228032cef8300bff2fb73ad43",
                "sha256": "5e565d76fad578717afb1609ceda91a5b09565b4e5d443ef344162b9e66d9bac"
            },
            "downloads": -1,
            "filename": "py_aiger_cnf-5.0.4-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "66d7ba9228032cef8300bff2fb73ad43",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.7,<4.0",
            "size": 5157,
            "upload_time": "2021-11-17T00:28:06",
            "upload_time_iso_8601": "2021-11-17T00:28:06.410632Z",
            "url": "https://files.pythonhosted.org/packages/d6/2e/81d9f76d72f99162c9d28e7684de0961efa0b246fbc8fa3d5df0c054ce65/py_aiger_cnf-5.0.4-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "0342c4268108700abd0f5d1b21011399",
                "sha256": "5cc2641158df6e34f40df8c82ec4cc6ecca83a0166ede1e1e7e2fd4cbaa23571"
            },
            "downloads": -1,
            "filename": "py-aiger-cnf-5.0.4.tar.gz",
            "has_sig": false,
            "md5_digest": "0342c4268108700abd0f5d1b21011399",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.7,<4.0",
            "size": 4839,
            "upload_time": "2021-11-17T00:28:04",
            "upload_time_iso_8601": "2021-11-17T00:28:04.672563Z",
            "url": "https://files.pythonhosted.org/packages/b2/1d/9aae1dae4105865e7b2f95690be42c98c2e758f9adf3cbc0162b13f48475/py-aiger-cnf-5.0.4.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "vulnerabilities": []
}