# PIACERE DOML Synthesis
This package provides experimental syntesis of a model
starting from an existing model (a DOMLX file, to be precise)
and user requirements (a list of functions that receive the `State` object)
using the [Z3](https://github.com/Z3Prover/z3) solver.
This package is intended to work with [PIACERE Model Checker](https://github.com/andreafra/piacere-model-checker).
Raw data
{
"_id": null,
"home_page": "",
"name": "piacere-doml-synthesis",
"maintainer": "",
"docs_url": null,
"requires_python": "",
"maintainer_email": "",
"keywords": "z3,synthesis,doml,piacere",
"author": "",
"author_email": "Andrea Franchini <hello@andreafranchini.com>",
"download_url": "https://files.pythonhosted.org/packages/43/33/dec0dff8a05f90d7fa7a501c9c8f522e8828aa7cbaac4b9be48cb5dd9c04/piacere-doml-synthesis-2023.1.3.tar.gz",
"platform": null,
"description": "# PIACERE DOML Synthesis\n\nThis package provides experimental syntesis of a model\nstarting from an existing model (a DOMLX file, to be precise)\nand user requirements (a list of functions that receive the `State` object)\nusing the [Z3](https://github.com/Z3Prover/z3) solver.\n\nThis package is intended to work with [PIACERE Model Checker](https://github.com/andreafra/piacere-model-checker).\n",
"bugtrack_url": null,
"license": "MIT License",
"summary": "Synthetize DOML from user requirements",
"version": "2023.1.3",
"split_keywords": [
"z3",
"synthesis",
"doml",
"piacere"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "853f158f8800fb577cd88bc3fe003ef83c37d7acd3ed5d483539aea88b082712",
"md5": "eec018671e4da7c86becb3cb7b04e5c8",
"sha256": "139359c9d679447cee19a898ee6e87dfe37a6c2c9de4d9ee4245727d666b7752"
},
"downloads": -1,
"filename": "piacere_doml_synthesis-2023.1.3-py3-none-any.whl",
"has_sig": false,
"md5_digest": "eec018671e4da7c86becb3cb7b04e5c8",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 11960,
"upload_time": "2023-01-31T15:57:09",
"upload_time_iso_8601": "2023-01-31T15:57:09.281410Z",
"url": "https://files.pythonhosted.org/packages/85/3f/158f8800fb577cd88bc3fe003ef83c37d7acd3ed5d483539aea88b082712/piacere_doml_synthesis-2023.1.3-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "4333dec0dff8a05f90d7fa7a501c9c8f522e8828aa7cbaac4b9be48cb5dd9c04",
"md5": "4c338e961c4f71e925ebf182a478ea82",
"sha256": "68af010effc340b2af410fc7b54c9cad57eea05db2d790aa94d80f227667a3a9"
},
"downloads": -1,
"filename": "piacere-doml-synthesis-2023.1.3.tar.gz",
"has_sig": false,
"md5_digest": "4c338e961c4f71e925ebf182a478ea82",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 13419,
"upload_time": "2023-01-31T15:57:11",
"upload_time_iso_8601": "2023-01-31T15:57:11.610450Z",
"url": "https://files.pythonhosted.org/packages/43/33/dec0dff8a05f90d7fa7a501c9c8f522e8828aa7cbaac4b9be48cb5dd9c04/piacere-doml-synthesis-2023.1.3.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-01-31 15:57:11",
"github": false,
"gitlab": false,
"bitbucket": false,
"lcname": "piacere-doml-synthesis"
}
JSON