Wheelodex » Projects » ltlcross-runner

ltlcross-runner

View on PyPI — Reverse Dependencies (0)

0.3 ltlcross_runner-0.3-py3-none-any.whl

Wheel Details

Project: ltlcross-runner
Version: 0.3
Filename: ltlcross_runner-0.3-py3-none-any.whl
Download: [link]
Size: 20137
MD5: 5f022512da9b2178e0f524d5989d2c01
SHA256: 8a69ca72d49b7d7dbe9a0b511d2e695d0f9cd8b17aaf021e803eaa36c37bee7f
Uploaded: 2019-12-28 02:56:09 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: ltlcross-runner
Version: 0.3
Summary: Python wrapper around tool ltlcross from Spot library
Author: Fanda Blahoudek
Author-Email: fandikb+dev[at]gmail.com
Home-Page: https://gitlab.com/fandikb/ltlcross-runner
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: pandas
Description-Content-Type: text/markdown
[Description omitted; length: 603 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_runner/__init__.py sha256=b6mW8-42m5rNw2pUn1TiUdo4uGdy557Hwd4PkHexbCU 180
ltlcross_runner/experiments_lib.py sha256=hjjJ290RWnf9X1oowSHuBjxRUpQUHIst6e5EtRBWFdY 6643
ltlcross_runner/locate_errors.py sha256=ET9kHH1wJhB0dbIC2dXiJjJNLdjTeuIRytibTFmHDIo 4092
ltlcross_runner/ltlcross_runner.py sha256=kYkpQ1a3Vz8BAH3AMLWl36-Wt7s2LF2nqw7I_NNBdEU 28682
ltlcross_runner/modular.py sha256=QNsIjqkszGioO9ZSPBlmbLWNCx9quwi17t2zTauD3y8 12680
ltlcross_runner/tables_utils.py sha256=OrbxKYNs4u82ZVRyKl05Fz-6I6oiWSL8Z6kpIpovzMs 6353
ltlcross_runner-0.3.dist-info/LICENSE sha256=SDcW0gFFofaXPh9HF57onbrtjbfp2PpAf08JQxIY92c 1071
ltlcross_runner-0.3.dist-info/METADATA sha256=6i1wUV1MgnyeAeG70K7BoDa-_TO8cruGMUwqE3nAQ_c 1150
ltlcross_runner-0.3.dist-info/WHEEL sha256=_NOXIqFgOaYmlm9RJLPQZ13BJuEIrp5jx5ptRD5uh3Y 92
ltlcross_runner-0.3.dist-info/top_level.txt sha256=iu4R480OF52-DDpp5-dYRTyZp5Cxlt7lEjHEX1ERjZI 16
ltlcross_runner-0.3.dist-info/RECORD — —

top_level.txt

ltlcross_runner