piacere-synthesis


Namepiacere-synthesis JSON
Version 2023.1.0 PyPI version JSON
download
home_page
SummarySynthetize DOML from user requirements
upload_time2023-01-25 16:43:11
maintainer
docs_urlNone
author
requires_python
licenseMIT License
keywords doml piacere synthesis z3
VCS
bugtrack_url
requirements No requirements were recorded.
Travis-CI No Travis.
coveralls test coverage No coveralls.
            
            

Raw data

            {
    "_id": null,
    "home_page": "",
    "name": "piacere-synthesis",
    "maintainer": "",
    "docs_url": null,
    "requires_python": "",
    "maintainer_email": "",
    "keywords": "doml,piacere,synthesis,z3",
    "author": "",
    "author_email": "Andrea Franchini <hello@andreafranchini.com>",
    "download_url": "https://files.pythonhosted.org/packages/2d/a8/26063ce6385c865d92e37c4ce2032873b9b74920a58a783abe530336cbba/piacere_synthesis-2023.1.0.tar.gz",
    "platform": null,
    "description": "",
    "bugtrack_url": null,
    "license": "MIT License",
    "summary": "Synthetize DOML from user requirements",
    "version": "2023.1.0",
    "split_keywords": [
        "doml",
        "piacere",
        "synthesis",
        "z3"
    ],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "5f1f7b4f0be7a6a1fc3f6d6f0f535f34fac8661612fc7b140b091941a6441965",
                "md5": "fddf6f53cb90400b9c7025538b643027",
                "sha256": "39fb3c09fb3c6ed3c588dac38cb07677c1fdbe8661267bfa7e796f4fa8778114"
            },
            "downloads": -1,
            "filename": "piacere_synthesis-2023.1.0-py2.py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "fddf6f53cb90400b9c7025538b643027",
            "packagetype": "bdist_wheel",
            "python_version": "py2.py3",
            "requires_python": null,
            "size": 10548,
            "upload_time": "2023-01-25T16:43:09",
            "upload_time_iso_8601": "2023-01-25T16:43:09.553205Z",
            "url": "https://files.pythonhosted.org/packages/5f/1f/7b4f0be7a6a1fc3f6d6f0f535f34fac8661612fc7b140b091941a6441965/piacere_synthesis-2023.1.0-py2.py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "2da826063ce6385c865d92e37c4ce2032873b9b74920a58a783abe530336cbba",
                "md5": "8d63421fdb16f51ce98f3bd33b1c8cef",
                "sha256": "851d8c69661d7eb65200c444603db7e5f263fa44b0ee550740ae9def1f868e0f"
            },
            "downloads": -1,
            "filename": "piacere_synthesis-2023.1.0.tar.gz",
            "has_sig": false,
            "md5_digest": "8d63421fdb16f51ce98f3bd33b1c8cef",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 477152,
            "upload_time": "2023-01-25T16:43:11",
            "upload_time_iso_8601": "2023-01-25T16:43:11.711458Z",
            "url": "https://files.pythonhosted.org/packages/2d/a8/26063ce6385c865d92e37c4ce2032873b9b74920a58a783abe530336cbba/piacere_synthesis-2023.1.0.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2023-01-25 16:43:11",
    "github": false,
    "gitlab": false,
    "bitbucket": false,
    "lcname": "piacere-synthesis"
}
        
Elapsed time: 0.09543s