Wheelodex » Projects » py-aiger-ptltl

py-aiger-ptltl

View on PyPI — Reverse Dependencies (3)

3.1.2 py_aiger_ptltl-3.1.2-py3-none-any.whl

Wheel Details

Project: py-aiger-ptltl
Version: 3.1.2
Filename: py_aiger_ptltl-3.1.2-py3-none-any.whl
Download: [link]
Size: 5195
MD5: 1fb462aac15a462f6b51a7b7a1f7b216
SHA256: cb64d2a1699cbb1a8940d619912303079a958726c59b9862f469f896387247ae
Uploaded: 2022-11-03 04:10:12 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: py-aiger-ptltl
Version: 3.1.2
Summary: Library for generating (p)ast (t)ense (l)inear (t)emporal (l)ogic monitors as aiger circuits.
Author: Marcell Vazquez-Chanlatte
Author-Email: mvc[at]linux.com
Home-Page: https://github.com/mvcisback/py-aiger-past-ltl
Project-Url: Repository, https://github.com/mvcisback/py-aiger-past-ltl
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Requires-Python: >=3.7,<4.0
Requires-Dist: py-aiger (<7.0.0,>=6.0.0)
Requires-Dist: py-aiger-bv (<5.0.0,>=4.5.2); extra == "with_bv"
Provides-Extra: with_bv
Description-Content-Type: text/markdown
[Description omitted; length: 2107 characters]

WHEEL

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

RECORD

Path Digest Size
aiger_ptltl/__init__.py sha256=IRjH6mWXSkckmW16cci5zr-z4zDLUhWJz4KEnj_OvXk 50
aiger_ptltl/ptltl.py sha256=Cf0Yux0_R09j0rWJHY7hMyH5mo2NqhZ1QZD7B4sR1-U 4053
aiger_ptltl/test_ptltl.py sha256=2jezsUJ7aakJH5bUL6KLrVHxt2rlzzgFExGUgl3Eb7I 1900
py_aiger_ptltl-3.1.2.dist-info/LICENSE sha256=SheOdIxUtOZPx6n-JuOTKQXYzb2gtn8PYeivOwmaY2k 1082
py_aiger_ptltl-3.1.2.dist-info/WHEEL sha256=DA86_h4QwwzGeRoz62o1svYt5kGEXpoUTuTtwzoTb30 83
py_aiger_ptltl-3.1.2.dist-info/METADATA sha256=5ytqggZj5JdrbKverloQLIBTCQrkWTu_T9BoIf0u0ME 2981
py_aiger_ptltl-3.1.2.dist-info/RECORD — —