Wheelodex » Projects » logaut

logaut

View on PyPI — Reverse Dependencies (1)

0.2.0 logaut-0.2.0-py3-none-any.whl

Wheel Details

Project: logaut
Version: 0.2.0
Filename: logaut-0.2.0-py3-none-any.whl
Download: [link]
Size: 32884
MD5: 3a7854dec962f6a9493274d7157a86e9
SHA256: 5ebcda45a5a83ea4c60baed5ce8c90783c61763dfbab971b84d109939e9e6225
Uploaded: 2023-06-06 11:41:41 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: logaut
Version: 0.2.0
Summary: From logic to automata.
Author: Marco Favorito
Author-Email: marco.favorito[at]gmail.com
Home-Page: https://marcofavorito.me/logaut
Project-Url: Bug Tracker, https://github.com/whitemech/logaut/issues
Project-Url: Documentation, https://marcofavorito.me/logaut
Project-Url: Pull Requests, https://github.com/whitemech/logaut/pulls
Project-Url: Repository, https://github.com/whitemech/logaut.git
License: GPL-3.0-or-later
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+)
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.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.7
Requires-Python: >=3.8,<4.0
Requires-Dist: pylogics (<0.3.0,>=0.2.1)
Requires-Dist: pythomata (<0.4.0,>=0.3.2)
Description-Content-Type: text/markdown
[Description omitted; length: 5610 characters]

WHEEL

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

RECORD

Path Digest Size
logaut/__init__.py sha256=twHie1lvyynhKWsmgQiB_b-e7I4a9lCNZyEITbMMvYY 891
logaut/_registry.py sha256=QJjge3CkEbK_sgde5DAb7tJ2R7icTVr_wIsVFx998H8 9049
logaut/backends/__init__.py sha256=9CnicSlRH2lUsqA8s1dsL_nPQs8HlK1IIfDdCSRK7yM 1409
logaut/backends/base.py sha256=bSxQ4XXTfj8DeM0HAXWQYTKNZ-hOtJJNJHfBWBt8jzc 4650
logaut/backends/common/__init__.py sha256=3w4YxBpY9miPFbwlfG0IFvdGt_uN4-jAgeYfJud59yE 806
logaut/backends/common/find_atoms/__init__.py sha256=LkCghrGRUUWf5lblUcMkVHPYmNtP8nkGcAZ70n0dtuU 957
logaut/backends/common/find_atoms/base.py sha256=51Y1e3PVFlAy38l3Axslon8tlW4h3EkeLZSVH1BXeHg 2084
logaut/backends/common/find_atoms/ldl.py sha256=6a8l4XIAR4Hh_kGDZ87UbpOkpQImcFLSWwXJxj6qORM 1710
logaut/backends/common/find_atoms/ltl.py sha256=z_JgdYBawREXi5qkG5I5Rgw3Pd8NEiLBmMK_qSZ88Z0 1269
logaut/backends/common/process_mona_output.py sha256=o6Lz8S31I8iqUlWRVGt31JvsI30b94dRGqzYcLXDtTM 7314
logaut/backends/common/utils.py sha256=ga4qsTX8gPeOCH0qo_rDCYi5ZtWMBWZbRWtDDMASgdU 1296
logaut/backends/ltlf2dfa/__init__.py sha256=JKFMPjr0ESx6P4c38qV8y-eEesiWl4kv8r1xSeVTb7A 810
logaut/backends/ltlf2dfa/core.py sha256=4CsLu7Ig7eZewOfXJHu1xNrhbFuL26LHyc1AeU7XFVw 6424
logaut/backends/ltlf2dfa/to_ltlf2dfa_formula.py sha256=mE7vCSDWul0F8EHPqTrOvM3tcOgjjH--QqnViblEANI 4899
logaut/backends/lydia/__init__.py sha256=CsJ5PybDbDvz3Ln5gLequjGmggVu4jVvyg3uvBxS96Q 807
logaut/backends/lydia/_lydia_utils.py sha256=1vJ03GpXAJgJiHnihdUtQfp4RrT5ERcLq-OzVMLab_Y 2357
logaut/backends/lydia/core.py sha256=kbin4QG_xygVywsryzgpit4rKHk4Rp49jx1VxGvPMVc 3323
logaut/backends/lydia/to_lydia_grammar.py sha256=ivRT-kiqQ5rmEnjbojQ7MqQuIO2wmAOddk1EOjr4NTs 7295
logaut/core.py sha256=yHqWHgxmj8CrxQrInggysi28OSmnlqHruFarQgKxlXs 3484
logaut/exceptions.py sha256=m0vASfzODUtpRrJCNOsCKy255WMChAFshhUcCAFhPno 1503
logaut/helpers.py sha256=RX5JywnnbiCc18DM_Nx80wheGJ4QLFkYkKIxk0FgLpY 2477
logaut-0.2.0.dist-info/LICENSE sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg 7652
logaut-0.2.0.dist-info/METADATA sha256=CXMYwkwVutchSAtRUZIGPgo2hy7m1zXXhvQIpVPF3GY 6854
logaut-0.2.0.dist-info/WHEEL sha256=Zb28QaM1gQi8f4VCBhsUklF61CTlNYfs9YAZn-TOGFk 88
logaut-0.2.0.dist-info/RECORD — —