| Name | SymbSyntDec JSON |
| Version |
1.0.9
JSON |
| download |
| home_page | None |
| Summary | This package takes a symbolic DFA and produces an AIGER file of type aag |
| upload_time | 2024-08-22 14:53:55 |
| maintainer | None |
| docs_url | None |
| author | None |
| requires_python | >=3.8 |
| license | None |
| keywords |
|
| VCS |
 |
| bugtrack_url |
|
| requirements |
No requirements were recorded.
|
| Travis-CI |
No Travis.
|
| coveralls test coverage |
No coveralls.
|
# SymbSyntDec
## Description
SymbSyntDec is a tool designed to convert a DECLARE specification of a system into an AIGER file (.aag). This conversion is achieved through a novel transformation into a symbolic deterministic finite automaton (SDFA), which is then used as input for the `SymDFA2AIGER` tool.
The main function provided is `SymbSyntDec`.
An example input file is included in this directory to demonstrate the expected format for the function.
#### Personal Note
This tool was created by Daniel Bachmann Aisen as part of his master’s thesis.
In 2024, amidst challenging times, this project is dedicated to the safe return of all hostages, to the soldiers safeguarding my friends, family, and me, and in memory of those who have fallen.
May we look forward to better days.
## Inputs
The tool requires four inputs corresponding to full DECLARE specification of a system:
- `sigma_controlled_str`: `set[str]`
- `sigma_environment_str`: `set[str]`
- `specification_env_phiE_str`: `set[str]`
- `specification_con_phiC_str`: `set[str]`
### Optional Inputs
- `file_name`: `str` (default: `"SymbSyntDec_master_thesis.aag"`)
### Example Usage
```python
sigma_environment_str = {"set", "pay", "cancel"}
sigma_controlled_str = {"ship", "refund"}
specification_env_phiE_str = {"absence2(pay)", "absence2(cancel)", "resp-existence(pay,set)", "neg-succession(ship,cancel)", "neg-succession(ship,set)"}
specification_con_phiC_str = {"precedence(set, ship)", "precedence(pay, ship)", "precedence(pay, refund)", "response(pay, ship | refund)", "neg-succession(cancel, ship)"
}
symbolicDFA = SymbSyntDec(sigma_controlled_str, sigma_environment_str, specification_env_phiE_str, specification_con_phiC_str, "SymbSyntDec_master_thesis.aag")
```
## Installation and Dependencies
This tool requires three external libraries: [pylogics_modalities](https://github.com/danielaisen/pylogics_modalities), [SymDFA2Aiger](https://github.com/danielaisen/SymDFA2Aiger) and `multipledispatch`.
- **pylogics_modalities**: This library extends the pylogics library by whitemech. To install it, use the `.whl` file provided in the `dependencies` folder.
`pip install dependencies/pylogics_modalities-0.2.2-py3-none-any.whl`
`pip install SymDFA2Aiger`
`pip install multipledispatch`
```bash
pip install SymbSyntDec
Raw data
{
"_id": null,
"home_page": null,
"name": "SymbSyntDec",
"maintainer": null,
"docs_url": null,
"requires_python": ">=3.8",
"maintainer_email": null,
"keywords": null,
"author": null,
"author_email": "Daniel Bachmann Aisen <danielmaxaisen@gmail.com>",
"download_url": "https://files.pythonhosted.org/packages/d0/5b/65c61dff9ad64e1d2f8601d17feff0c8e16b5927bd0581a5cda5e0772fd4/symbsyntdec-1.0.9.tar.gz",
"platform": null,
"description": "# SymbSyntDec\n\n## Description\n\nSymbSyntDec is a tool designed to convert a DECLARE specification of a system into an AIGER file (.aag). This conversion is achieved through a novel transformation into a symbolic deterministic finite automaton (SDFA), which is then used as input for the `SymDFA2AIGER` tool. \nThe main function provided is `SymbSyntDec`. \nAn example input file is included in this directory to demonstrate the expected format for the function.\n\n#### Personal Note\n\nThis tool was created by Daniel Bachmann Aisen as part of his master\u2019s thesis. \nIn 2024, amidst challenging times, this project is dedicated to the safe return of all hostages, to the soldiers safeguarding my friends, family, and me, and in memory of those who have fallen. \nMay we look forward to better days.\n\n## Inputs\n\nThe tool requires four inputs corresponding to full DECLARE specification of a system:\n\n- `sigma_controlled_str`: `set[str]`\n- `sigma_environment_str`: `set[str]`\n- `specification_env_phiE_str`: `set[str]`\n- `specification_con_phiC_str`: `set[str]`\n\n### Optional Inputs\n\n- `file_name`: `str` (default: `\"SymbSyntDec_master_thesis.aag\"`)\n\n\n### Example Usage\n\n```python\nsigma_environment_str = {\"set\", \"pay\", \"cancel\"}\nsigma_controlled_str = {\"ship\", \"refund\"}\n\nspecification_env_phiE_str = {\"absence2(pay)\", \"absence2(cancel)\", \"resp-existence(pay,set)\", \"neg-succession(ship,cancel)\", \"neg-succession(ship,set)\"}\nspecification_con_phiC_str = {\"precedence(set, ship)\", \"precedence(pay, ship)\", \"precedence(pay, refund)\", \"response(pay, ship | refund)\", \"neg-succession(cancel, ship)\"\n}\n\nsymbolicDFA = SymbSyntDec(sigma_controlled_str, sigma_environment_str, specification_env_phiE_str, specification_con_phiC_str, \"SymbSyntDec_master_thesis.aag\")\n```\n\n## Installation and Dependencies\n\nThis tool requires three external libraries: [pylogics_modalities](https://github.com/danielaisen/pylogics_modalities), [SymDFA2Aiger](https://github.com/danielaisen/SymDFA2Aiger) and `multipledispatch`.\n\n- **pylogics_modalities**: This library extends the pylogics library by whitemech. To install it, use the `.whl` file provided in the `dependencies` folder.\n\n`pip install dependencies/pylogics_modalities-0.2.2-py3-none-any.whl`\n`pip install SymDFA2Aiger`\n`pip install multipledispatch`\n\n```bash\npip install SymbSyntDec",
"bugtrack_url": null,
"license": null,
"summary": "This package takes a symbolic DFA and produces an AIGER file of type aag",
"version": "1.0.9",
"project_urls": {
"Homepage": "https://github.com/danielaisen/SymbSyntDec",
"Issues": "https://github.com/danielaisen/SymbSyntDec/issues"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "c0bf31303ca08bf6ec982e929170015e1d5befd4062afb0275af288219a58651",
"md5": "5a613d44ce8a1ba3f525fbabc519dc20",
"sha256": "23040dc0195cb02d03a844f2e602f065bd43dcf4e1bac20b1e78553aa107f494"
},
"downloads": -1,
"filename": "symbsyntdec-1.0.9-py3-none-any.whl",
"has_sig": false,
"md5_digest": "5a613d44ce8a1ba3f525fbabc519dc20",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 11812,
"upload_time": "2024-08-22T14:53:53",
"upload_time_iso_8601": "2024-08-22T14:53:53.356234Z",
"url": "https://files.pythonhosted.org/packages/c0/bf/31303ca08bf6ec982e929170015e1d5befd4062afb0275af288219a58651/symbsyntdec-1.0.9-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "d05b65c61dff9ad64e1d2f8601d17feff0c8e16b5927bd0581a5cda5e0772fd4",
"md5": "aaf543351c9fcf5492d9550bb2aa9619",
"sha256": "a001b71cbcce8bbf1ab5ebb9fad3919c1ba85f0f23ad1abb5f47c90f912af902"
},
"downloads": -1,
"filename": "symbsyntdec-1.0.9.tar.gz",
"has_sig": false,
"md5_digest": "aaf543351c9fcf5492d9550bb2aa9619",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 455664,
"upload_time": "2024-08-22T14:53:55",
"upload_time_iso_8601": "2024-08-22T14:53:55.875967Z",
"url": "https://files.pythonhosted.org/packages/d0/5b/65c61dff9ad64e1d2f8601d17feff0c8e16b5927bd0581a5cda5e0772fd4/symbsyntdec-1.0.9.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-08-22 14:53:55",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "danielaisen",
"github_project": "SymbSyntDec",
"travis_ci": false,
"coveralls": false,
"github_actions": false,
"lcname": "symbsyntdec"
}
