Wheelodex » Projects » ltlf2dfa » ltlf2dfa-1.0.2-py2.py3-none-any.whl

ltlf2dfa

View on PyPI — Reverse Dependencies (3)

1.0.2 ltlf2dfa-1.0.2-py2.py3-none-any.whl

Wheel Details

Project: ltlf2dfa
Version: 1.0.2
Filename: ltlf2dfa-1.0.2-py2.py3-none-any.whl
Download: [link]
Size: 32275
MD5: 994fa3bbabc5e9c813f218d7cd3c0a42
SHA256: 8218f9e16e74fbabed460772fe9d53525805d5d2f26aca64fba98f825137a684
Uploaded: 2022-02-25 13:34:15 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: ltlf2dfa
Version: 1.0.2
Summary: LTLf and PLTLf to Deterministic Finite-state Automata (DFA)
Author: Francesco Fuggitti
Author-Email: fuggitti[at]diag.uniroma1.it
Home-Page: https://github.com/whitemech/ltlf2dfa.git
License: GNU Lesser General Public License v3 or later (LGPLv3+)
Keywords: ltlf2dfa
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Education
Classifier: License :: OSI Approved :: GNU Lesser General Public License v3 or later (LGPLv3+)
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Requires-Dist: lark-parser (<1,>=0.9.0)
Requires-Dist: sympy
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 6293 characters]

WHEEL

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

RECORD

Path Digest Size
ltlf2dfa/__init__.py sha256=ai2Sv26TR6-sqjqU7z6c6Vn7M2LVM-FhO_3ZEh53i3A 918
ltlf2dfa/__version__.py sha256=KDMU7_BdnIO_Vgpbab1KUNyTzrtNDD2azCypXnILWdY 1127
ltlf2dfa/base.py sha256=JqWaTk4dbl-QH7DwskbbpfINtlTku01fJGozCAxgd_E 7506
ltlf2dfa/helpers.py sha256=GTmChneOaVvlonlmNdh1dNeYmDWBhnsOl3Mz_7Ra860 3684
ltlf2dfa/ltlf.py sha256=r3SqhrY4nVh7TyERqx__4LglgGAEv2zRDvPwf-uA6Nc 17040
ltlf2dfa/ltlf2dfa.py sha256=FvR_9bMZGGowubI6HLljSI2ko8eatfXFVq30IeNt2tw 6615
ltlf2dfa/pl.py sha256=J37ImFWu6joy77MwElIbS_BBLnkqHS--CNCz7J6_CA0 6687
ltlf2dfa/pltlf.py sha256=ZlVXhO2UB_xNr88DlkLMY4FrKu3rc_XAUq0NGx-hWhY 15628
ltlf2dfa/symbols.py sha256=5pGXUTtHIQqH0-PY7pBmIpTt5uKdPmUIdgbWoyIFMeQ 1462
ltlf2dfa/parser/__init__.py sha256=ixuikzMEvYthZBgRpLyc8stdfoBMKyxoStJh7iSYL4A 915
ltlf2dfa/parser/ltlf.lark sha256=NGLy8pxQPvQwmL3ogKrB0CAMGc-O5CxYLZdgR3j8vaE 1667
ltlf2dfa/parser/ltlf.py sha256=5xDd9xNr8yACOGjpAX32r_yIhlv1C__v4toNPswv4Ig 6245
ltlf2dfa/parser/pl.lark sha256=ufbtdEqmqkPGIWLNUfM_nQyOpernG70gNPgXN9wf2yw 681
ltlf2dfa/parser/pl.py sha256=yppwJxuDjcOyZygQkNfoyhw19A2WAL13ZPLFDGF0tcQ 4109
ltlf2dfa/parser/pltlf.lark sha256=ZU0jBd4MVBKtdpQVCGLDUeJP43VQncyMT9OoUzuBdxE 1754
ltlf2dfa/parser/pltlf.py sha256=En8pDp3lb-peqlN0FwYAxqOwAKlqvaztEgVSmqGv26Y 6359
ltlf2dfa-1.0.2.data/data/ltlf2dfa/parser/ltlf.lark sha256=NGLy8pxQPvQwmL3ogKrB0CAMGc-O5CxYLZdgR3j8vaE 1667
ltlf2dfa-1.0.2.data/data/ltlf2dfa/parser/pl.lark sha256=ufbtdEqmqkPGIWLNUfM_nQyOpernG70gNPgXN9wf2yw 681
ltlf2dfa-1.0.2.data/data/ltlf2dfa/parser/pltlf.lark sha256=ZU0jBd4MVBKtdpQVCGLDUeJP43VQncyMT9OoUzuBdxE 1754
ltlf2dfa-1.0.2.dist-info/LICENSE sha256=pWgb-bBdsU2Gd2kwAXxketnm5W_2u8_fIeWEgojfrxs 7651
ltlf2dfa-1.0.2.dist-info/METADATA sha256=60mZK_ZoOe_H9tLTisYjC_3nXq_7p8Lz4CTltoxOMRk 7180
ltlf2dfa-1.0.2.dist-info/WHEEL sha256=Z-nyYpwrcSqxfdux5Mbn_DQ525iP7J2DG3JgGvOYyTQ 110
ltlf2dfa-1.0.2.dist-info/top_level.txt sha256=RKon6XV-0Eq6G3m7FmklwVltMCsfk5lcovwjnwLUh88 9
ltlf2dfa-1.0.2.dist-info/RECORD — —

top_level.txt

ltlf2dfa