Wheelodex » Projects » piacere-doml-synthesis

piacere-doml-synthesis

View on PyPI — Reverse Dependencies (0)

2023.1.3 piacere_doml_synthesis-2023.1.3-py3-none-any.whl

Wheel Details

Project: piacere-doml-synthesis
Version: 2023.1.3
Filename: piacere_doml_synthesis-2023.1.3-py3-none-any.whl
Download: [link]
Size: 11960
MD5: eec018671e4da7c86becb3cb7b04e5c8
SHA256: 139359c9d679447cee19a898ee6e87dfe37a6c2c9de4d9ee4245727d666b7752
Uploaded: 2023-01-31 15:57:09 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: piacere-doml-synthesis
Version: 2023.1.3
Summary: Synthetize DOML from user requirements
Author-Email: Andrea Franchini <hello[at]andreafranchini.com>
Project-Url: homepage, https://github.com/andreafra/piacere-synthesis
Project-Url: documentation, https://piacere-model-checker.readthedocs.org
Project-Url: repository, https://github.com/andreafra/piacere-synthesis.git
License: MIT License
Keywords: z3,synthesis,doml,piacere
Classifier: Development Status :: 4 - Beta
Classifier: Programming Language :: Python
Requires-Dist: PyYAML
Requires-Dist: z3-solver
Requires-Dist: termcolor
Description-Content-Type: text/markdown
[Description omitted; length: 390 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.38.4)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
doml_synthesis/__init__.py sha256=TyYownCyH4dyv9GAOL-bfFxF-eA2FU3Ec0JSBWkrf6U 356
doml_synthesis/__main__.py sha256=8GolL4EotXGB8Uz7oVmKWVDWi4RZjk-sVMUU-YKheNo 36
doml_synthesis/data.py sha256=D_qysDCXn0ucGPFtgHaQNJKZkak51NRVvx-OBv3yrZo 2641
doml_synthesis/requirements.py sha256=AQ46d9thzbKTXY0o7LcAhVYOO4JM6ooMCaoDpKYolqI 11374
doml_synthesis/results.py sha256=glvRd8AEG181uEpq1NFGWJr79LswdFHwGgreBKU_6Rk 6415
doml_synthesis/solver.py sha256=_T2msxEqwyKa68TlqXS0c3c1oDp4w0jMemE_Z0VDHpo 17079
doml_synthesis/synthesis.py sha256=VUEoPksJXYpgXA9uFIlKyDaqJSKn_NwMTb-jFg4--Gc 1279
doml_synthesis/tests.py sha256=Z46ZhSHjkT_FglJwit75ft7uWv6PbZWWZKbusFvJiok 3861
doml_synthesis/types.py sha256=LBOP0XR1Hggd6GD_WMjSS87vDgyhV0IdYKvcPh0LL0s 2411
piacere_doml_synthesis-2023.1.3.dist-info/METADATA sha256=JTvjZo4BZ5fI9ByRdxXnjfRHOALbij5Ha25yXl_pfGU 1042
piacere_doml_synthesis-2023.1.3.dist-info/WHEEL sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo 92
piacere_doml_synthesis-2023.1.3.dist-info/top_level.txt sha256=WZ24wy7vGn6-_SDxCPGr2vcabxCiagTDwOM204eH4a4 15
piacere_doml_synthesis-2023.1.3.dist-info/RECORD — —

top_level.txt

doml_synthesis