dd


Namedd JSON
Version 0.6.0 PyPI version JSON
download
home_pagehttps://github.com/tulip-control/dd
SummaryBinary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
upload_time2023-12-16 13:31:27
maintainer
docs_urlNone
authorCaltech Control and Dynamical Systems
requires_python>=3.11
licenseBSD
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"
}
        
Elapsed time: 0.16035s