{ "info": { "author": "Ioannis Filippidis", "author_email": "jfilippidis@gmail.com", "bugtrack_url": null, "classifiers": [ "Development Status :: 2 - Pre-Alpha", "Intended Audience :: Developers", "Intended Audience :: Science/Research", "License :: OSI Approved :: BSD License", "Operating System :: OS Independent", "Programming Language :: Cython", "Programming Language :: Python", "Programming Language :: Python :: 2", "Programming Language :: Python :: 2.7", "Programming Language :: Python :: 3", "Programming Language :: Python :: 3.4", "Programming Language :: Python :: 3.5", "Programming Language :: Python :: 3.6", "Topic :: Scientific/Engineering", "Topic :: Software Development" ], "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/johnyf/dd", "description_content_type": "", "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://github.com/johnyf/dd", "keywords": "bdd,binary decision diagram,decision diagram,boolean,networkx,dot", "license": "BSD", "maintainer": "", "maintainer_email": "", "name": "dd", "package_url": "https://pypi.org/project/dd/", "platform": "", "project_url": "https://pypi.org/project/dd/", "project_urls": { "Homepage": "https://github.com/johnyf/dd" }, "release_url": "https://pypi.org/project/dd/0.5.4/", "requires_dist": null, "requires_python": "", "summary": "Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.", "version": "0.5.4" }, "last_serial": 3768824, "releases": { "0.0.1": [ { "comment_text": "", "digests": { "md5": "0f626f3e7aaeb9f86a5829a4c8d753a2", "sha256": "d19dbc914392343201072a8be5e2fb6c8182609f2512a56c4ca1caf20a4f8d61" }, "downloads": -1, "filename": "dd-0.0.1.tar.gz", "has_sig": false, "md5_digest": "0f626f3e7aaeb9f86a5829a4c8d753a2", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 25673, "upload_time": "2015-02-28T09:07:29", "url": "https://files.pythonhosted.org/packages/8c/6b/a88accbd1c5061014cc717bad340a7816c475e2246bb883c594c48898ce3/dd-0.0.1.tar.gz" } ], "0.0.2": [ { "comment_text": "", "digests": { "md5": "a207623347fc3ff6414ac0cb4867157d", "sha256": "9d9c6c6d8427b80fbf6e9f809356ba35a695b72bbd25000c0a3430e5bc2f393a" }, "downloads": -1, "filename": "dd-0.0.2.tar.gz", "has_sig": false, "md5_digest": "a207623347fc3ff6414ac0cb4867157d", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 26349, "upload_time": "2015-03-21T08:09:13", "url": "https://files.pythonhosted.org/packages/8f/31/37d8e4e65178d13d2fd94d8446f719f5442d257b69394ce7b6e134b4e9e7/dd-0.0.2.tar.gz" } ], "0.0.3": [ { "comment_text": "", "digests": { "md5": "a5960c29f391269e7557ea58aad9950f", "sha256": "32fd7bed0aeb1d0e139dff6826fc06efdea539509c8af696af95b2b2fbf86074" }, "downloads": -1, "filename": "dd-0.0.3.tar.gz", "has_sig": false, "md5_digest": "a5960c29f391269e7557ea58aad9950f", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 28343, "upload_time": "2015-04-18T13:02:45", "url": "https://files.pythonhosted.org/packages/f1/e0/d84b9dff4e895cddc1d21a0f73ccbdacc4cf0dd4bc99c44e21933d6b9101/dd-0.0.3.tar.gz" } ], "0.0.4": [ { "comment_text": "", "digests": { "md5": "98c778d0c5be9dcb9409fb46c36e2630", "sha256": "ff5ed5774f8c7eab7de094f737a9465fe989bcaa6200bd3dd3eee7509dc22740" }, "downloads": -1, "filename": "dd-0.0.4.tar.gz", "has_sig": false, "md5_digest": "98c778d0c5be9dcb9409fb46c36e2630", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 34853, "upload_time": "2015-06-07T21:37:16", "url": "https://files.pythonhosted.org/packages/9b/27/1e71c6f4511fb2fc5456a08ab338a937107269202b9dbf6cc6b58445a439/dd-0.0.4.tar.gz" } ], "0.1.1": [ { "comment_text": "", "digests": { "md5": "def36c9f9f56d6e6390ae41e506e1cb0", "sha256": "6ff015439bafd254600ea8e6cccb777d50a7138e9f12cca0065b185f376e7c50" }, "downloads": -1, "filename": "dd-0.1.1.tar.gz", "has_sig": false, "md5_digest": "def36c9f9f56d6e6390ae41e506e1cb0", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 166143, "upload_time": "2015-07-16T23:12:31", "url": "https://files.pythonhosted.org/packages/e5/04/0a79295cb9b384acfb73e2f09c06e245f94e7ac738f721c2f7819bccee35/dd-0.1.1.tar.gz" } ], "0.1.2": [ { "comment_text": "", "digests": { "md5": "3891bf0d93e6b8d7279e9c6eb2c0738f", "sha256": "b98345a757eb01db3e20757e983f386c5db23e435ab47d947817b86fc69bb8a7" }, "downloads": -1, "filename": "dd-0.1.2.tar.gz", "has_sig": false, "md5_digest": "3891bf0d93e6b8d7279e9c6eb2c0738f", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 169992, "upload_time": "2015-07-20T03:31:36", "url": "https://files.pythonhosted.org/packages/ea/95/e7110248d859349a0b71e72ef212e66a28c00e03252d83c7c36560e09510/dd-0.1.2.tar.gz" } ], "0.1.3": [ { "comment_text": "", "digests": { "md5": "5fcf0a72a23eabc6e9cd82c55f9fc35b", "sha256": "43133bd73db1b7d192a82399f8924deb5323dc7e68b091f7691bce650e06446c" }, "downloads": -1, "filename": "dd-0.1.3.tar.gz", "has_sig": false, "md5_digest": "5fcf0a72a23eabc6e9cd82c55f9fc35b", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 170501, "upload_time": "2015-09-15T09:34:00", "url": "https://files.pythonhosted.org/packages/46/39/795c90b2b0e4a9f35feb290a94e208ee3f2633e9ef5084d0ec8d8571bf0b/dd-0.1.3.tar.gz" } ], "0.2.0": [ { "comment_text": "", "digests": { "md5": "d83168f9af45879395de5422635db11f", "sha256": "461e17c68b55b03e87c9fee1502d85ac71122677f52b88a01459fb96f90cfddd" }, "downloads": -1, "filename": "dd-0.2.0.tar.gz", "has_sig": false, "md5_digest": "d83168f9af45879395de5422635db11f", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 200402, "upload_time": "2015-11-06T23:20:39", "url": "https://files.pythonhosted.org/packages/07/4d/2ca9d57230a75c677901e9c2316363104a980fa65b8c9136ea4dd5f6d713/dd-0.2.0.tar.gz" } ], "0.2.1": [ { "comment_text": "", "digests": { "md5": "ec7f97f076147b12ba6598153608295f", "sha256": "9abd40273577f398adb9adc044715473b475dc6e9f7b01ecf385debf0b50f30d" }, "downloads": -1, "filename": "dd-0.2.1.tar.gz", "has_sig": false, "md5_digest": "ec7f97f076147b12ba6598153608295f", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 228410, "upload_time": "2016-01-25T08:55:46", "url": "https://files.pythonhosted.org/packages/59/57/518c2e0ade1997584e25e5bbb3a446560872f364a5370c81c9b4b55e1e8d/dd-0.2.1.tar.gz" } ], "0.2.2": [ { "comment_text": "", "digests": { "md5": "09063169e2d75cffb3d07246ae12db42", "sha256": "b00a08017de9e857e3f932e8f4577a4ac932a48794246f7fb414b1651070c26f" }, "downloads": -1, "filename": "dd-0.2.2.tar.gz", "has_sig": false, "md5_digest": "09063169e2d75cffb3d07246ae12db42", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 232276, "upload_time": "2016-02-22T01:31:58", "url": "https://files.pythonhosted.org/packages/db/42/501f04fad4174e5e8001351712644c59a81ed201f4a672f3242e2998250a/dd-0.2.2.tar.gz" } ], "0.3.0": [ { "comment_text": "", "digests": { "md5": "153364c5ffd2d684cbac3bf00d1a9c7b", "sha256": "58e71be8a436759dc8dbdbd1f2e844713c617af1a3741dd2ef578a9894c8fc69" }, "downloads": -1, "filename": "dd-0.3.0.tar.gz", "has_sig": false, "md5_digest": "153364c5ffd2d684cbac3bf00d1a9c7b", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 233407, "upload_time": "2016-02-28T01:22:43", "url": "https://files.pythonhosted.org/packages/2b/57/abbc7d4f96498eb870c76e09fb06274f1157829d4b530722aa44c6f614a9/dd-0.3.0.tar.gz" } ], "0.3.1": [ { "comment_text": "", "digests": { "md5": "4745d5ee20ae048a0f627c59566b562b", "sha256": "4f107e8774c28cecc49466e930a63a797fcfb8bc2cc6487eb32bf76ebf7f33a0" }, "downloads": -1, "filename": "dd-0.3.1.tar.gz", "has_sig": false, "md5_digest": "4745d5ee20ae048a0f627c59566b562b", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 232995, "upload_time": "2016-05-23T22:30:55", "url": "https://files.pythonhosted.org/packages/28/3a/98434bd52a8da0e54ee7d5d673d71fe997d7e92732064c17bd56de32b5da/dd-0.3.1.tar.gz" } ], "0.4.0": [ { "comment_text": "", "digests": { "md5": "2009765e9b152a0a56f5eadaa1ebde9c", "sha256": "c9e9b8311a70a915f501f7dc5952a849181a787f4a42fc73153d59d87c0060fa" }, "downloads": -1, "filename": "dd-0.4.0.tar.gz", "has_sig": false, "md5_digest": "2009765e9b152a0a56f5eadaa1ebde9c", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 249855, "upload_time": "2016-07-13T03:40:52", "url": "https://files.pythonhosted.org/packages/c7/5d/dcece60047b5dab51eb6a60fefe7819608ce466d97bb423a300b1412d355/dd-0.4.0.tar.gz" } ], "0.4.1": [ { "comment_text": "", "digests": { "md5": "d2c86e30074ddf2d9f09f28528b6d208", "sha256": "64f73ca712d08dc964529f675eb19b91615ccc30b65c85dc8521a56c13703ff7" }, "downloads": -1, "filename": "dd-0.4.1.tar.gz", "has_sig": false, "md5_digest": "d2c86e30074ddf2d9f09f28528b6d208", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 316925, "upload_time": "2016-09-09T19:04:30", "url": "https://files.pythonhosted.org/packages/19/60/342cd6c11ebe0cd5bc47614077f40e9d5eccf0fe1d64351c873cd0e04ee3/dd-0.4.1.tar.gz" } ], "0.4.2": [ { "comment_text": "", "digests": { "md5": "250c83ab2114132881ed5a3cd2d0f688", "sha256": "ddfd4a200ea8c87b2315f1b4d1d76c87681e39154f3f09c431dbfcb4645ccced" }, "downloads": -1, "filename": "dd-0.4.2.tar.gz", "has_sig": false, "md5_digest": "250c83ab2114132881ed5a3cd2d0f688", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 281190, "upload_time": "2017-02-12T01:00:05", "url": "https://files.pythonhosted.org/packages/77/6a/f8b176469c9e9b688a2f7e32f6bfd5a6afa6927578535e5f58d4a79bf516/dd-0.4.2.tar.gz" } ], "0.4.3": [ { "comment_text": "", "digests": { "md5": "9bf4baf5459e4490d5e692c2ae77c2c3", "sha256": "3eb921bf74803cb90050ba70930b2100f13634b6e0188c2c6404740043e1d96c" }, "downloads": -1, "filename": "dd-0.4.3.tar.gz", "has_sig": false, "md5_digest": "9bf4baf5459e4490d5e692c2ae77c2c3", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 333889, "upload_time": "2017-02-13T18:55:58", "url": "https://files.pythonhosted.org/packages/3d/5d/285158fa24c338d3f4d46396bca82d79024f72a771b16f2ce9f6f89a3b7c/dd-0.4.3.tar.gz" } ], "0.5.0": [ { "comment_text": "", "digests": { "md5": "a6f1f9e93c774e1bff88cc0d7769bad0", "sha256": "9b74dc85e16762702f05ee71ca156fde3cdca397aede5d83ea3b87102b80f9eb" }, "downloads": -1, "filename": "dd-0.5.0.tar.gz", "has_sig": false, "md5_digest": "a6f1f9e93c774e1bff88cc0d7769bad0", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 341057, "upload_time": "2017-03-08T09:48:33", "url": "https://files.pythonhosted.org/packages/57/7b/e4b1eb6bb15c9d08b7f14c2cf3c6af50289d7b6d187aaead0979b3952889/dd-0.5.0.tar.gz" } ], "0.5.1": [ { "comment_text": "", "digests": { "md5": "e729de946c831e5b2bf16d0c165e9f56", "sha256": "9ea3da48f490ab4c5c488b3a2b9d25ab728cb822d3c021cc12c43a71a0a927a5" }, "downloads": -1, "filename": "dd-0.5.1.tar.gz", "has_sig": false, "md5_digest": "e729de946c831e5b2bf16d0c165e9f56", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 354085, "upload_time": "2017-03-23T04:00:34", "url": "https://files.pythonhosted.org/packages/10/22/ca4061c711b0c3724ae5744498b2ff90b916b43bac53117a3c6136b9381b/dd-0.5.1.tar.gz" } ], "0.5.2": [ { "comment_text": "", "digests": { "md5": "f4c98a0afa390e009f934642ec95290a", "sha256": "c03359affa44ee8ceb52625173ec45f650be6435b0eda7f7feece9b19f6f2ace" }, "downloads": -1, "filename": "dd-0.5.2.tar.gz", "has_sig": false, "md5_digest": "f4c98a0afa390e009f934642ec95290a", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 317398, "upload_time": "2017-09-10T03:17:10", "url": "https://files.pythonhosted.org/packages/be/f3/0f582f5601ba5c8084d734b628a5780ec2dc46fd1ec5740f10159ee4d724/dd-0.5.2.tar.gz" } ], "0.5.3": [ { "comment_text": "", "digests": { "md5": "7296db656404cde8bbb4d155c3a796cd", "sha256": "04f6f86f6418c05be85034c5ea03cba63d1d071700a1d357dff326f2c2882d87" }, "downloads": -1, "filename": "dd-0.5.3-cp35-cp35m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "7296db656404cde8bbb4d155c3a796cd", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 972766, "upload_time": "2017-10-17T01:10:19", "url": "https://files.pythonhosted.org/packages/ff/28/3294d1b5d95c5d3ba92ed03a0585baf9a1ea037a1df458fcc935c7150d08/dd-0.5.3-cp35-cp35m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "b4b4345578c38a447c8d7843d085a23c", "sha256": "bb35634901e9923f02a88075ebbc5dd491d35fe47f0cb9f7289a8988aca59f2c" }, "downloads": -1, "filename": "dd-0.5.3-cp36-cp36m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "b4b4345578c38a447c8d7843d085a23c", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 984833, "upload_time": "2017-10-17T00:55:55", "url": "https://files.pythonhosted.org/packages/c1/15/b804010350701db19b48ae4cb23ecc2b49b82aea2bf2efed6bc8ddb5a2c1/dd-0.5.3-cp36-cp36m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "1906ebe475d82b408f31d6864311a5d1", "sha256": "8efa3f703a9ce35872f5fadfe85e3db873d54edc9d9961ceeea353330428e389" }, "downloads": -1, "filename": "dd-0.5.3.tar.gz", "has_sig": false, "md5_digest": "1906ebe475d82b408f31d6864311a5d1", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 244005, "upload_time": "2017-10-17T00:55:39", "url": "https://files.pythonhosted.org/packages/4e/10/62ac05681ee66877e429d7222a37140bec4a320e9b2c7a4a106ebd67d1ed/dd-0.5.3.tar.gz" } ], "0.5.4": [ { "comment_text": "", "digests": { "md5": "cd160f83f3c93d97efd8f0f0a1ce4556", "sha256": "39c3d7fdebad4c128d3444fcfaf8491c96b2ef5a1c0baa33f4b7eef81115810c" }, "downloads": -1, "filename": "dd-0.5.4.tar.gz", "has_sig": false, "md5_digest": "cd160f83f3c93d97efd8f0f0a1ce4556", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 398389, "upload_time": "2018-04-16T11:02:45", "url": "https://files.pythonhosted.org/packages/fc/38/708c6bc38d0a00cc440f79c942b977f1ed331138acbc2a8901be8ec47114/dd-0.5.4.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "cd160f83f3c93d97efd8f0f0a1ce4556", "sha256": "39c3d7fdebad4c128d3444fcfaf8491c96b2ef5a1c0baa33f4b7eef81115810c" }, "downloads": -1, "filename": "dd-0.5.4.tar.gz", "has_sig": false, "md5_digest": "cd160f83f3c93d97efd8f0f0a1ce4556", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 398389, "upload_time": "2018-04-16T11:02:45", "url": "https://files.pythonhosted.org/packages/fc/38/708c6bc38d0a00cc440f79c942b977f1ed331138acbc2a8901be8ec47114/dd-0.5.4.tar.gz" } ] }