py-aiger-bdd

Name	py-aiger-bdd JSON
Version	3.1.3 JSON
	download
home_page	https://github.com/mvcisback/py-aiger-bdd
Summary	Aiger to BDD bridge.
upload_time	2024-04-02 03:02:43
maintainer	None
docs_url	None
author	Marcell Vazquez-Chanlatte
requires_python	<4.0,>=3.11
license	MIT
keywords
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            # py-aiger-bdd
[![Build Status](https://cloud.drone.io/api/badges/mvcisback/py-aiger-bdd/status.svg)](https://cloud.drone.io/mvcisback/py-aiger-bdd)
[![PyPI version](https://badge.fury.io/py/py-aiger-bdd.svg)](https://badge.fury.io/py/py-aiger-bdd)
[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)

# Installation

`$ pip install py-aiger-bdd`

For developers, note that this project uses the
[poetry](https://poetry.eustace.io/) python package/dependency
management tool. Please familarize yourself with it and then
run:

`$ poetry install`

# Usage

This tutorial assumes familiarity with [py-aiger](https://github.com/mvcisback/py-aiger) and [py-aiger-bv](https://github.com/mvcisback/py-aiger-bv).

```python
import aiger_bv as BV
from aiger_bdd import to_bdd, from_bdd, count

x = BV.atom(3, 'x', signed=False) 

expr = x < 5  # Could be an AIG or AIGBV or BoolExpr.
bdd, manager, input2var = to_bdd(expr)  # Convert circuit encoded by expr into a BDD.
expr2 = from_bdd(bdd)  # Creates an Aiger Expression from a BDD.

assert count(expr, fraction=True) == 5/8
assert count(expr, fraction=False) == 5
```

            

Raw data

            {
    "_id": null,
    "home_page": "https://github.com/mvcisback/py-aiger-bdd",
    "name": "py-aiger-bdd",
    "maintainer": null,
    "docs_url": null,
    "requires_python": "<4.0,>=3.11",
    "maintainer_email": null,
    "keywords": null,
    "author": "Marcell Vazquez-Chanlatte",
    "author_email": "mvc@linux.com",
    "download_url": "https://files.pythonhosted.org/packages/82/2d/4c4d15f487bb8d8650cf07a897356ee5bf62f2331c701290fa54d97245c0/py_aiger_bdd-3.1.3.tar.gz",
    "platform": null,
    "description": "# py-aiger-bdd\n[![Build Status](https://cloud.drone.io/api/badges/mvcisback/py-aiger-bdd/status.svg)](https://cloud.drone.io/mvcisback/py-aiger-bdd)\n[![PyPI version](https://badge.fury.io/py/py-aiger-bdd.svg)](https://badge.fury.io/py/py-aiger-bdd)\n[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)\n\n# Installation\n\n`$ pip install py-aiger-bdd`\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\nThis tutorial assumes familiarity with [py-aiger](https://github.com/mvcisback/py-aiger) and [py-aiger-bv](https://github.com/mvcisback/py-aiger-bv).\n\n```python\nimport aiger_bv as BV\nfrom aiger_bdd import to_bdd, from_bdd, count\n\nx = BV.atom(3, 'x', signed=False) \n\nexpr = x < 5  # Could be an AIG or AIGBV or BoolExpr.\nbdd, manager, input2var = to_bdd(expr)  # Convert circuit encoded by expr into a BDD.\nexpr2 = from_bdd(bdd)  # Creates an Aiger Expression from a BDD.\n\nassert count(expr, fraction=True) == 5/8\nassert count(expr, fraction=False) == 5\n```\n",
    "bugtrack_url": null,
    "license": "MIT",
    "summary": "Aiger to BDD bridge.",
    "version": "3.1.3",
    "project_urls": {
        "Homepage": "https://github.com/mvcisback/py-aiger-bdd",
        "Repository": "https://github.com/mvcisback/py-aiger-bdd"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "88a580c44c61d6cbedc06f6572174bec8f0a2b421760b27ba7d64b6c5316f712",
                "md5": "e7ec167e176dc1b4945ac80343747e5c",
                "sha256": "8143d23044c9595835888e88c8915546536637f1f3220cd2d171afe3665baa99"
            },
            "downloads": -1,
            "filename": "py_aiger_bdd-3.1.3-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "e7ec167e176dc1b4945ac80343747e5c",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": "<4.0,>=3.11",
            "size": 4840,
            "upload_time": "2024-04-02T03:02:42",
            "upload_time_iso_8601": "2024-04-02T03:02:42.378351Z",
            "url": "https://files.pythonhosted.org/packages/88/a5/80c44c61d6cbedc06f6572174bec8f0a2b421760b27ba7d64b6c5316f712/py_aiger_bdd-3.1.3-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "822d4c4d15f487bb8d8650cf07a897356ee5bf62f2331c701290fa54d97245c0",
                "md5": "4445baf6fce835cf73a1cb85180ea98c",
                "sha256": "79a326b17ba06f49fad220f78999f16cf68cf10a39dfa68b3d526961366da5d7"
            },
            "downloads": -1,
            "filename": "py_aiger_bdd-3.1.3.tar.gz",
            "has_sig": false,
            "md5_digest": "4445baf6fce835cf73a1cb85180ea98c",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": "<4.0,>=3.11",
            "size": 4034,
            "upload_time": "2024-04-02T03:02:43",
            "upload_time_iso_8601": "2024-04-02T03:02:43.611043Z",
            "url": "https://files.pythonhosted.org/packages/82/2d/4c4d15f487bb8d8650cf07a897356ee5bf62f2331c701290fa54d97245c0/py_aiger_bdd-3.1.3.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-04-02 03:02:43",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "mvcisback",
    "github_project": "py-aiger-bdd",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": false,
    "lcname": "py-aiger-bdd"
}