Name | oxidd JSON |
Version |
0.0.0
JSON |
| download |
home_page | |
Summary | Decision Diagrams |
upload_time | 2024-03-19 08:38:00 |
maintainer | |
docs_url | None |
author | |
requires_python | >=3.8 |
license | |
keywords |
decision diagrams
bdd
zbdd
zdd
|
VCS |
|
bugtrack_url |
|
requirements |
No requirements were recorded.
|
Travis-CI |
No Travis.
|
coveralls test coverage |
No coveralls.
|
Raw data
{
"_id": null,
"home_page": "",
"name": "oxidd",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.8",
"maintainer_email": "Nils Husung <husung@cs.uni-saarland.de>",
"keywords": "Decision Diagrams,BDD,ZBDD,ZDD",
"author": "",
"author_email": "Nils Husung <husung@cs.uni-saarland.de>",
"download_url": "https://files.pythonhosted.org/packages/da/c5/c7723c1e3a137bf4781eed677454be22679ddecde6d57aa8491805c3df38/oxidd-0.0.0.tar.gz",
"platform": null,
"description": "",
"bugtrack_url": null,
"license": "",
"summary": "Decision Diagrams",
"version": "0.0.0",
"project_urls": {
"Homepage": "https://oxidd.net",
"Issues": "https://github.com/OxiDD/oxidd/issues",
"Repository": "https://github.com/OxiDD/oxidd"
},
"split_keywords": [
"decision diagrams",
"bdd",
"zbdd",
"zdd"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "0cd44f1d97a326cef32f7537869e094b9c65d80a057733573a1092b31db50b4f",
"md5": "d9ddd61b82093232e4ea82a1423da7bc",
"sha256": "94e12563978b69fced60ff27f02559b9b519a6d3bb8850b21f384e7fd9a83571"
},
"downloads": -1,
"filename": "oxidd-0.0.0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "d9ddd61b82093232e4ea82a1423da7bc",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 6019,
"upload_time": "2024-03-19T08:37:58",
"upload_time_iso_8601": "2024-03-19T08:37:58.680581Z",
"url": "https://files.pythonhosted.org/packages/0c/d4/4f1d97a326cef32f7537869e094b9c65d80a057733573a1092b31db50b4f/oxidd-0.0.0-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "dac5c7723c1e3a137bf4781eed677454be22679ddecde6d57aa8491805c3df38",
"md5": "67fd40d83d217cad31d2f9b063f6887c",
"sha256": "ee3e2dbc3193ed52065520eb1f01496ddd77d689b8bc7abd957758a2c9812574"
},
"downloads": -1,
"filename": "oxidd-0.0.0.tar.gz",
"has_sig": false,
"md5_digest": "67fd40d83d217cad31d2f9b063f6887c",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 5720,
"upload_time": "2024-03-19T08:38:00",
"upload_time_iso_8601": "2024-03-19T08:38:00.721836Z",
"url": "https://files.pythonhosted.org/packages/da/c5/c7723c1e3a137bf4781eed677454be22679ddecde6d57aa8491805c3df38/oxidd-0.0.0.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-03-19 08:38:00",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "OxiDD",
"github_project": "oxidd",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"lcname": "oxidd"
}