Wheelodex » Projects » rv-ltl » rv_ltl-0.1.0-py3-none-any.whl

rv-ltl

View on PyPI — Reverse Dependencies (1)

0.1.0

rv_ltl-0.1.0-py3-none-any.whl

Wheel Details

Project:	rv-ltl
Version:	0.1.0
Filename:	rv_ltl-0.1.0-py3-none-any.whl
Download:	[link]
Size:	6606
MD5:	`ca0bdcac585da5df0d091a06afee9c88`
SHA256:	`6019a3ccf8d5b499ac55ebc10fc07e2b0b43844fe1aaf1c4e81c47d5da20af47`
Uploaded:	2023-06-14 17:55:10 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version:	2.1
Name:	rv-ltl
Version:	0.1.0
Summary:	Runtime Verification Linear Temporal Logic (RV-LTL) in Python
Author:	Shun Kashiwa
Author-Email:	shunthedev[at]gmail.com
Classifier:	Programming Language :: Python :: 3
Classifier:	Programming Language :: Python :: 3.7
Classifier:	Programming Language :: Python :: 3.8
Classifier:	Programming Language :: Python :: 3.9
Classifier:	Programming Language :: Python :: 3.10
Classifier:	Programming Language :: Python :: 3.11
Requires-Python:	>=3.7,<4.0
Description-Content-Type:	text/markdown

[Description omitted; length: 329 characters]

WHEEL

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

RECORD

Path	Digest	Size
rv_ltl/README.md	sha256=VCXErFB-UaxWLO7Vd9iadbd6hIS0ieVDbHmBEWexWG4	2709
rv_ltl/__init__.py	sha256=SBcI2nFJQOKsUah0GLca__5BGZ84mjmZrMswHvQaTUs	383
rv_ltl/b4.py	sha256=YkMYJCpPlYAT08H7AV8haLe6LkaKa4MEkT6i3NhKL6A	1425
rv_ltl/exception.py	sha256=24HCS3UjlHAEmPssaS7p6TlQgtwDB_k5XnVT-Xpn-9k	821
rv_ltl/monitor.py	sha256=CuQFad_76ooo0PGyikdtM2cdcyQJEnbFbiZOu_3fvqI	6616
rv_ltl/proposition.py	sha256=JRfnAi0o-ZYr3jGGAJ3NgOXsKDGXk1QLs7-DvjMmX2E	3275
rv_ltl-0.1.0.dist-info/METADATA	sha256=sqd023OHHUJ4h8z-3ZOK-JUXb-Wt54k3vP_M_Ssr35g	875
rv_ltl-0.1.0.dist-info/WHEEL	sha256=Zb28QaM1gQi8f4VCBhsUklF61CTlNYfs9YAZn-TOGFk	88
rv_ltl-0.1.0.dist-info/RECORD	—	—