{
    "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"
        ],
        "description": "# py-aiger-abc\nAiger <-> ABC bridge\n\n[![PyPI version](https://badge.fury.io/py/py-aiger-abc.svg)](https://badge.fury.io/py/py-aiger-abc)\n[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)\n\n# Installation\n\n## Non-Python Dependencies\n\nThis package currently assumes that the\n[ABC](https://github.com/berkeley-abc/abc) and\n[aigtoaig](http://fmv.jku.at/aiger/) commands are installed and in the\nPATH. In the future, we hope to automatically include these\ndependencies, but currently one needs to install them on their own.\n\n## Python Package\n\nIf you just need to use `aiger_abc`, you can just run:\n\n`$ pip install py-aiger-abc`\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 run:\n\n`$ poetry install`\n\n# Usage\n\nThe primary entry point for using `aiger_abc` is the `simplify`\nfunction which uses `abc` to simplify an AIG. For example, below we\nshow how `aiger_abc` can be used to simplify the following inefficient\nencoding of const false.\n\n```python\nimport aiger\n\nx = aiger.atom('x')\n\nf = x ^ x\nprint(f.aig)\n```\n\n```\naag 4 1 0 1 3\n2\n8\n4 2 2\n6 3 3\n8 5 7\n```\n\n```python\nimport aiger_abc\nf2 = aiger_abc.simplify(f)\nprint(f2.aig)\n```\n\n```\naag 1 1 0 1 0\n2\n0\n```\n\n## Explicitly Specifying for `abc` and `aigtoaig` commands\n\n`simplify` supports explicitly specifying the\n`abc` and `aigtoaig` commands. This is useful\nif you have installed them in non-standard paths\nor names. E.g.,\n\n```python\nf2 = aiger_abc.simplify(f, abc_cmd='abc', aigtoaig_cmf='aigtoaig')\n```\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-abc",
        "keywords": "",
        "license": "MIT",
        "maintainer": "",
        "maintainer_email": "",
        "name": "py-aiger-abc",
        "package_url": "https://pypi.org/project/py-aiger-abc/",
        "platform": "",
        "project_url": "https://pypi.org/project/py-aiger-abc/",
        "project_urls": {
            "Homepage": "https://github.com/mvcisback/py-aiger-abc",
            "Repository": "https://github.com/mvcisback/py-aiger-abc"
        },
        "release_url": "https://pypi.org/project/py-aiger-abc/0.2.1/",
        "requires_dist": [
            "py-aiger (>=6.0.0,<7.0.0)"
        ],
        "requires_python": ">=3.7,<4.0",
        "summary": "Bridge to using Berkeley-ABC with py-aiger.",
        "version": "0.2.1",
        "yanked": false,
        "yanked_reason": null
    },
    "last_serial": 8169994,
    "releases": {
        "0.1.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "341127e4241a7c5b8a2618286e940d59",
                    "sha256": "ff5133a1d76ca9127ad10ef66bd23f209b8c3f570516e610514c35a5515ac1cd"
                },
                "downloads": -1,
                "filename": "py_aiger_abc-0.1.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "341127e4241a7c5b8a2618286e940d59",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 3543,
                "upload_time": "2019-10-29T05:12:43",
                "upload_time_iso_8601": "2019-10-29T05:12:43.276769Z",
                "url": "https://files.pythonhosted.org/packages/ac/fd/291d4e75718664db87b5d1c10063b9b3d5c86eacd6a2c2f5e2ede638c83e/py_aiger_abc-0.1.0-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "ba6a871359b7188dec4e72ce7f8aad94",
                    "sha256": "f9310b41ddf3b6fa6dee69791e1cf2b80d48aadbe4aa14bcdf7eb170f1aa8bd0"
                },
                "downloads": -1,
                "filename": "py-aiger-abc-0.1.0.tar.gz",
                "has_sig": false,
                "md5_digest": "ba6a871359b7188dec4e72ce7f8aad94",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 3291,
                "upload_time": "2019-10-29T05:12:40",
                "upload_time_iso_8601": "2019-10-29T05:12:40.926664Z",
                "url": "https://files.pythonhosted.org/packages/44/49/be3816aa03effbcacb985f8acab91cfc16f8072c1716e19e68f87700f3dc/py-aiger-abc-0.1.0.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "0.2.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "fca3c945611d9448e33ca4c3c6b02653",
                    "sha256": "bfb9efe981605de013229592f496f8aed3a3acce286aa094c4f9e5e589d51af6"
                },
                "downloads": -1,
                "filename": "py_aiger_abc-0.2.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "fca3c945611d9448e33ca4c3c6b02653",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 3424,
                "upload_time": "2020-05-17T06:23:16",
                "upload_time_iso_8601": "2020-05-17T06:23:16.595894Z",
                "url": "https://files.pythonhosted.org/packages/17/f6/25af8caad315257521c0145ace70541e6db59bc0d7952bd045b7a9a2b271/py_aiger_abc-0.2.0-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "0cf5954868f54235943b95cc62e75d32",
                    "sha256": "5fa08793b0c89732f3f0230af484bbccff032c0ceb4e1fa7f4729896f9a6647e"
                },
                "downloads": -1,
                "filename": "py-aiger-abc-0.2.0.tar.gz",
                "has_sig": false,
                "md5_digest": "0cf5954868f54235943b95cc62e75d32",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 3325,
                "upload_time": "2020-05-17T06:23:15",
                "upload_time_iso_8601": "2020-05-17T06:23:15.505746Z",
                "url": "https://files.pythonhosted.org/packages/31/3a/e11a16eaa2b1bbc8d7113d0bfa02f5ae23508a30080382c3d59e51309550/py-aiger-abc-0.2.0.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ],
        "0.2.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "3631a9265cf35ca6a9d2301e2cc935df",
                    "sha256": "d650b6ee885fda9a949922adc1769d533370a315b924cb55e6bd7a497afe117d"
                },
                "downloads": -1,
                "filename": "py_aiger_abc-0.2.1-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "3631a9265cf35ca6a9d2301e2cc935df",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.7,<4.0",
                "size": 3423,
                "upload_time": "2020-09-12T05:17:49",
                "upload_time_iso_8601": "2020-09-12T05:17:49.546325Z",
                "url": "https://files.pythonhosted.org/packages/0c/1d/1675310d44d3c09d9efc72b24c114347369b78adecee6cd4cec79f93d647/py_aiger_abc-0.2.1-py3-none-any.whl",
                "yanked": false,
                "yanked_reason": null
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a8f7ac5d43977cdc4bfe06b0ca750334",
                    "sha256": "3c71f5dbd0fe5bdd7a19ea94c62a89855299e7d4e98609f0567313b2a4ce16d5"
                },
                "downloads": -1,
                "filename": "py-aiger-abc-0.2.1.tar.gz",
                "has_sig": false,
                "md5_digest": "a8f7ac5d43977cdc4bfe06b0ca750334",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.7,<4.0",
                "size": 3337,
                "upload_time": "2020-09-12T05:17:48",
                "upload_time_iso_8601": "2020-09-12T05:17:48.302785Z",
                "url": "https://files.pythonhosted.org/packages/09/b8/884f659e31eeac94b4f5a1e731d71e05da10b7f00b3350de3755cf03efb0/py-aiger-abc-0.2.1.tar.gz",
                "yanked": false,
                "yanked_reason": null
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "3631a9265cf35ca6a9d2301e2cc935df",
                "sha256": "d650b6ee885fda9a949922adc1769d533370a315b924cb55e6bd7a497afe117d"
            },
            "downloads": -1,
            "filename": "py_aiger_abc-0.2.1-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "3631a9265cf35ca6a9d2301e2cc935df",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.7,<4.0",
            "size": 3423,
            "upload_time": "2020-09-12T05:17:49",
            "upload_time_iso_8601": "2020-09-12T05:17:49.546325Z",
            "url": "https://files.pythonhosted.org/packages/0c/1d/1675310d44d3c09d9efc72b24c114347369b78adecee6cd4cec79f93d647/py_aiger_abc-0.2.1-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "a8f7ac5d43977cdc4bfe06b0ca750334",
                "sha256": "3c71f5dbd0fe5bdd7a19ea94c62a89855299e7d4e98609f0567313b2a4ce16d5"
            },
            "downloads": -1,
            "filename": "py-aiger-abc-0.2.1.tar.gz",
            "has_sig": false,
            "md5_digest": "a8f7ac5d43977cdc4bfe06b0ca750334",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.7,<4.0",
            "size": 3337,
            "upload_time": "2020-09-12T05:17:48",
            "upload_time_iso_8601": "2020-09-12T05:17:48.302785Z",
            "url": "https://files.pythonhosted.org/packages/09/b8/884f659e31eeac94b4f5a1e731d71e05da10b7f00b3350de3755cf03efb0/py-aiger-abc-0.2.1.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "vulnerabilities": []
}