dd

Name	dd JSON
Version	0.6.0 JSON
	download
home_page	https://github.com/tulip-control/dd
Summary	Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
upload_time	2023-12-16 13:31:27
maintainer
docs_url	None
author	Caltech Control and Dynamical Systems
requires_python	>=3.11
license	BSD
keywords	bdd binary decision diagram decision diagram boolean networkx dot graphviz
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            dd is a package for working with binary decision diagrams that includes both a pure Python implementation and Cython bindings to C libraries (CUDD, Sylvan, BuDDy). The Python and Cython modules implement the same API, so the same user code runs with both. All the standard operations on BDDs are available, including dynamic variable reordering using sifting, garbage collection, dump/load from files, plotting, and a parser of quantified Boolean expressions. More details can be found in the README at: https://github.com/tulip-control/dd

            

Raw data

            {
    "_id": null,
    "home_page": "https://github.com/tulip-control/dd",
    "name": "dd",
    "maintainer": "",
    "docs_url": null,
    "requires_python": ">=3.11",
    "maintainer_email": "",
    "keywords": "bdd,binary decision diagram,decision diagram,boolean,networkx,dot,graphviz",
    "author": "Caltech Control and Dynamical Systems",
    "author_email": "tulip@tulip-control.org",
    "download_url": "https://files.pythonhosted.org/packages/18/b2/57a2d7151e7e904092e0411f79e8dadfc3ae143679236a9dec88f4667f8a/dd-0.6.0.tar.gz",
    "platform": null,
    "description": "dd is a package for working with binary decision diagrams that includes both a pure Python implementation and Cython bindings to C libraries (CUDD, Sylvan, BuDDy). The Python and Cython modules implement the same API, so the same user code runs with both. All the standard operations on BDDs are available, including dynamic variable reordering using sifting, garbage collection, dump/load from files, plotting, and a parser of quantified Boolean expressions. More details can be found in the README at: https://github.com/tulip-control/dd\n",
    "bugtrack_url": null,
    "license": "BSD",
    "summary": "Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.",
    "version": "0.6.0",
    "project_urls": {
        "Bug Tracker": "https://github.com/tulip-control/dd/issues",
        "Documentation": "https://github.com/tulip-control/dd/blob/main/doc.md",
        "Homepage": "https://github.com/tulip-control/dd",
        "Source Code": "https://github.com/tulip-control/dd"
    },
    "split_keywords": [
        "bdd",
        "binary decision diagram",
        "decision diagram",
        "boolean",
        "networkx",
        "dot",
        "graphviz"
    ],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "18b257a2d7151e7e904092e0411f79e8dadfc3ae143679236a9dec88f4667f8a",
                "md5": "f846f4f667381700f07488cbe0055da3",
                "sha256": "4baadadc9b2ebf6136a5b84dc51a43cec5fe91203286cd377e1e093358cdffcd"
            },
            "downloads": -1,
            "filename": "dd-0.6.0.tar.gz",
            "has_sig": false,
            "md5_digest": "f846f4f667381700f07488cbe0055da3",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.11",
            "size": 1059332,
            "upload_time": "2023-12-16T13:31:27",
            "upload_time_iso_8601": "2023-12-16T13:31:27.708411Z",
            "url": "https://files.pythonhosted.org/packages/18/b2/57a2d7151e7e904092e0411f79e8dadfc3ae143679236a9dec88f4667f8a/dd-0.6.0.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2023-12-16 13:31:27",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "tulip-control",
    "github_project": "dd",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": true,
    "requirements": [],
    "lcname": "dd"
}