Wheelodex » Projects » probabilistic-timed-automata

probabilistic-timed-automata

View on PyPI — Reverse Dependencies (0)

0.1.2 probabilistic_timed_automata-0.1.2-py3-none-any.whl

Wheel Details

Project: probabilistic-timed-automata
Version: 0.1.2
Filename: probabilistic_timed_automata-0.1.2-py3-none-any.whl
Download: [link]
Size: 21000
MD5: 3063f8edb3910b34956b50755e26a97b
SHA256: e22fda48b0e1a7a38b67eafa4e9f6a9a0d9f6ac8067b31b25510594589ea7739
Uploaded: 2020-10-20 20:02:13 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · zip-safe

METADATA

Metadata-Version: 2.1
Name: probabilistic-timed-automata
Version: 0.1.2
Summary: Python library for building and simulating probabilistic timed automata.
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Intended Audience :: Science/Research
Requires-Python: ~=3.6
Requires-Dist: attrs (~=19.3.0)
Requires-Dist: portion (~=2.0.0)
Requires-Dist: typing-extensions
Requires-Dist: autoflake (~=1.3.1); extra == "dev"
Requires-Dist: black (~=19.10b0); extra == "dev"
Requires-Dist: flake8 (~=3.7.9); extra == "dev"
Requires-Dist: mypy (~=0.761); extra == "dev"
Requires-Dist: codecov (~=2.0.22); extra == "dev"
Requires-Dist: pytest (<5.4,>=5.0); extra == "dev"
Requires-Dist: pytest-cov (~=2.8.1); extra == "dev"
Requires-Dist: pytest-flake8 (~=1.0.4); extra == "dev"
Requires-Dist: pytest-sugar (~=0.9.2); extra == "dev"
Requires-Dist: pytest-xdist (~=1.31.0); extra == "dev"
Requires-Dist: sphinx (~=3.0); extra == "dev"
Requires-Dist: sphinx-better-theme (~=0.1.5); extra == "dev"
Requires-Dist: recommonmark; extra == "dev"
Provides-Extra: dev
[Description omitted; length: 674 characters]

WHEEL

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

RECORD

Path Digest Size
pta/__init__.py sha256=74b1e8USwsFgfyWWs0cjL-PssQGvJ8KhCO5MyUYHru8 618
pta/alphabet.py sha256=HOPtq77R9mNiI1sA0_hvikem74KrPXtIJuglT5pQ9f4 5912
pta/clock.py sha256=JR_b1Q8Dkssy6sQn0mC64my8Cwi-3fEeKui6rhiTsY4 13422
pta/distributions.py sha256=S9AN46yU8f0PxcccLm-SI-pdZu4qCuW3qtGPmc57e_I 2378
pta/pta.py sha256=CzvpL2nqOHfIPi8mrNAkSH9EmqAzjBIWnciIQ71T4IU 2990
pta/spaces.py sha256=31We1wyoXymowPzg2zbg9Mi2bodUQYOh4nKhkgEwfUg 1447
pta/utils.py sha256=euTSlLVux_Dpw8-rjkmADiUuPoTIRhNo7EbkBCKdg9k 339
pta/mdp/__init__.py sha256=up2JEaFukOLyTqtvSCo_CV6g0FVhMMwKJkeq-83JByM 175
pta/mdp/digital_mdp.py sha256=vr9bbaEObrRfvHli4-cRSzEzBq9QoAROUuGEOntCMPU 7504
pta/mdp/mdp.py sha256=kVZ2MJlEaQp7U6YpgSFaAgfCUouQ5pjSuCWyDzbTAQA 7687
pta/mdp/region_mdp.py sha256=8BKeXSpU9TeFf1BOma4YNyCL1jt01rkMUbHrP7jVLbk 7975
tests/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tests/pta/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tests/pta/test_clocks.py sha256=GrtIz7vuHjPq-nHDdrINUxqcrPu71cpJ__xiBi-iiV8 158
tests/pta/test_region.py sha256=b1Dfr_1n2PT7C9Lg-FKjcWSS-uONQo5_wradiPQnPDo 1637
probabilistic_timed_automata-0.1.2.dist-info/LICENSE sha256=2P59FEoEZmYRXg7bfe71JBaMRrtmAOixikY3sjUj_YE 1075
probabilistic_timed_automata-0.1.2.dist-info/METADATA sha256=Zm9n71NSatTz51DDITw4xw8ncqu-gwHdl_YQvwTuxlM 1955
probabilistic_timed_automata-0.1.2.dist-info/WHEEL sha256=EVRjI69F5qVjm_YgqcTXPnTAv3BfSUr0WVAHuSP3Xoo 92
probabilistic_timed_automata-0.1.2.dist-info/top_level.txt sha256=-G9ZhSqFpALkXM1g2C7t9x6Vq_BwjDy0w6Ang5apDj0 10
probabilistic_timed_automata-0.1.2.dist-info/zip-safe sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs 1
probabilistic_timed_automata-0.1.2.dist-info/RECORD — —

top_level.txt

pta
tests

zip-safe