Wheelodex » Projects » ltlcross-wrapper » ltlcross_wrapper-0.7.3-py3-none-any.whl

ltlcross-wrapper

View on PyPI — Reverse Dependencies (0)

0.7.3 ltlcross_wrapper-0.7.3-py3-none-any.whl

Wheel Details

Project: ltlcross-wrapper
Version: 0.7.3
Filename: ltlcross_wrapper-0.7.3-py3-none-any.whl
Download: [link]
Size: 25146
MD5: 9c200fadbd6bb24bd4b50c83622f04fd
SHA256: ab86bf543865269b20ee2cc6036210f0111a95fe1042d4081bf30e9df56e6df7
Uploaded: 2020-05-13 20:10:59 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: ltlcross-wrapper
Version: 0.7.3
Summary: Python wrapper around tool ltlcross from Spot library
Author: Fanda Blahoudek
Author-Email: fandikb+dev[at]gmail.com
Home-Page: https://github.com/xblahoud/ltlcross_wrapper
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Requires-Python: >=3.6.0
Requires-Dist: bokeh
Requires-Dist: colorcet
Requires-Dist: matplotlib
Requires-Dist: pandas2pgfplots
Requires-Dist: pandas (>=1.0.3)
Requires-Dist: seaborn
Description-Content-Type: text/markdown
[Description omitted; length: 5321 characters]

WHEEL

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

RECORD

Path Digest Size
ltlcross_wrapper/__init__.py sha256=o6gD_8aXZWf_I1GsDyvogBQ3s4XCFXkRxkdsh2n27iY 293
ltlcross_wrapper/analyzer.py sha256=xjgcbBd8hXR5qsOvNLswTp8GXy2NYuZ5ZZ149oyF6Do 39674
ltlcross_wrapper/locate_errors.py sha256=ET9kHH1wJhB0dbIC2dXiJjJNLdjTeuIRytibTFmHDIo 4092
ltlcross_wrapper/modular.py sha256=B9s42h_Gl3zHum1BnQ6vXBGA2xcPDv1YXSsjPMK09AE 16581
ltlcross_wrapper/runner.py sha256=usxWcKeREakmaryyf8HKyw-qA-xD9MwYX9aWSAAIJzw 6027
ltlcross_wrapper/tables_utils.py sha256=OrbxKYNs4u82ZVRyKl05Fz-6I6oiWSL8Z6kpIpovzMs 6353
ltlcross_wrapper-0.7.3.dist-info/LICENSE sha256=SDcW0gFFofaXPh9HF57onbrtjbfp2PpAf08JQxIY92c 1071
ltlcross_wrapper-0.7.3.dist-info/METADATA sha256=u_fEclCuO_giRTauHhXUWQktoYjEEFY4sOFtKnlAEUA 5963
ltlcross_wrapper-0.7.3.dist-info/WHEEL sha256=_NOXIqFgOaYmlm9RJLPQZ13BJuEIrp5jx5ptRD5uh3Y 92
ltlcross_wrapper-0.7.3.dist-info/top_level.txt sha256=YqcmX-7AFXmUf3-xaqeq664YVFkyurv1FjzKEjCds2w 17
ltlcross_wrapper-0.7.3.dist-info/RECORD — —

top_level.txt

ltlcross_wrapper