stormvogel

View on PyPIReverse Dependencies (0)

0.1.0 stormvogel-0.1.0-py3-none-any.whl

Wheel Details

Project: stormvogel
Version: 0.1.0
Filename: stormvogel-0.1.0-py3-none-any.whl
Download: [link]
Size: 37850
MD5: 82c723bd67d0c42a61cd3e8d1d74c740
SHA256: 79dbcd260cec56bed3ffd187c2ed34116e6a9712d100cb7922edb8713b258f17
Uploaded: 2024-11-07 09:27:59 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: stormvogel
Version: 0.1.0
Summary: User-friendly frontend to the Storm model checker
Author: The stormvogel team
License: GPLv3
Classifier: License :: Other/Proprietary License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.11,<4.0
Requires-Dist: anyio (<5.0.0,>=4.6.0)
Requires-Dist: ipywidgets (<9.0.0,>=8.1.3)
Requires-Dist: jupyter (<2.0.0,>=1.1.1)
Requires-Dist: matplotlib (<4.0.0,>=3.9.2)
Requires-Dist: mock (<6.0.0,>=5.1.0)
Requires-Dist: nbmake (<2.0.0,>=1.5.4)
Requires-Dist: nbval (<0.12.0,>=0.11.0)
Requires-Dist: numpy (<3.0.0,>=2.0.1)
Requires-Dist: pandas (<3.0.0,>=2.2.2)
Requires-Dist: pytest-mock (<4.0.0,>=3.14.0)
Requires-Dist: pyvis (<0.4.0,>=0.3.2)
Requires-Dist: sphinx-autoapi (<4.0.0,>=3.3.1)
Description-Content-Type: text/markdown
[Description omitted; length: 427 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.9.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
stormvogel/__init__.py sha256=BcLjGLv0sPZJp3mKusj-lUkJKCm3HtvBsSavUGFXUBk 446
stormvogel/communication_server.py sha256=y1HQRTG1y_Z7QuViqA6c9T12oLJly6xLcJj2E9_xpPY 11185
stormvogel/dict_editor.py sha256=tKweJTDUR27WSD2MvH47AAcfmHyqDeHyUPBqkqLszg8 5777
stormvogel/displayable.py sha256=xbxPTU0Sfne6iZ8sjD_4OtCZBdi7pOLULB0KKWBRz14 1348
stormvogel/html_templates.py sha256=GJ-clOmE-oo4BEg5jCQ6Z7fksGUWCKMe91jX3RH5dG0 1629
stormvogel/layout.py sha256=m32y8L92_hQd6b4iflOWX8C4vyVF7mG5MSg5IRDlCbA 3935
stormvogel/layout_editor.py sha256=DX93_YKOD-aIIHMXz4FABQCllO1tcUY0Da4-54xe0kQ 7233
stormvogel/layouts/default.json sha256=DgUMmS2cOK1guI4PHC49PO2SKuBOEOi7qOHtQ-p9fS8 2116
stormvogel/layouts/explore.json sha256=QyYRTLoKyPvKCwdN2t1UBSzJwyZ0ndJ3_YPzp6LNnyk 2115
stormvogel/layouts/schema.json sha256=TJxQ_NHvSI3f8ljfMum8yPcmQYpQ5uB01pbDB4Vh0Ls 3725
stormvogel/magic.py sha256=1wQ2vZvKA94d-SUacuXv0_pZkg-v7X5HpARaUT-V0M4 1290
stormvogel/mapping.py sha256=e-xishF0163vn2VXLHV8Z91PO00QUepBfzSZsabpxTk 22335
stormvogel/model.py sha256=cj2_SJbGyKYh78TieO5EpnHsSAfcuofcOE0mBzciNRA 33733
stormvogel/rdict.py sha256=1KJedBfJh8crC_3-5bbbkjy17ITAbQuqblpF-hCmhmM 1673
stormvogel/result.py sha256=buWv_m91hpR2JNzNH8qo7O64mLuf5XfdVNsoj0m6z8A 6199
stormvogel/show.py sha256=C4XENCaOe8-bcebllsddLDYa9XrXcIqO-NfdAMNX1So 2482
stormvogel/simulator.py sha256=l54Ygf7ZT_dwPG2c9gI6eRY543Ke71_Jdh0vODsfkmA 11922
stormvogel/visjs.py sha256=D8NpolNY6ubxmC1peoEWkpN4mWvVIE_Kib1et4Kw38o 8074
stormvogel/visualization.py sha256=r5DD3DLxG9qF632v9QtLy6emLrP8_zHqpI41s7pne3Y 9823
stormvogel-0.1.0.dist-info/METADATA sha256=0F9f3aauPDzXgw09ztGLBIUWNU0WFkee4DX4xG-j0LU 1342
stormvogel-0.1.0.dist-info/WHEEL sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg 88
stormvogel-0.1.0.dist-info/RECORD