Wheelodex » Projects » modalogic

modalogic

View on PyPI — Reverse Dependencies (0)

0.0.1 modalogic-0.0.1-py2.py3-none-any.whl

Wheel Details

Project: modalogic
Version: 0.0.1
Filename: modalogic-0.0.1-py2.py3-none-any.whl
Download: [link]
Size: 3674
MD5: 4603e116ad69e1bc20a618967d69aa17
SHA256: 4fd69a935e28d3a0eaff0eae0da4ddc55e677c704b39fb7d9d4455804eec9cd1
Uploaded: 2021-06-23 20:41:24 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: modalogic
Version: 0.0.1
Summary: A research package modal-logic based reasoning using the Analytical Tableaux method.
Author: Raynier van Egmond
Author-Email: raynierx[at]gmail.com
Home-Page: https://github.com/rayniervanegmond/modalogic
License: GNU General Public License v3
Keywords: modalogic
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Requires-Python: >=3.5
Description-Content-Type: text/markdown
[Description omitted; length: 541 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
modalogic/__init__.py sha256=eJSURqmT9InDo262l2yy1HukBZzQAkZitnz1luwiFP8 138
modalogic/cli.py sha256=Rai5KcGkM8jrSOX8_5nvvoblydfBiVazKtrQlX2zjII 461
modalogic/modalogic.py sha256=vR5AaF0iel21LvsdcqwheoBz0SIj9K9I_Ub8M8oA98Y 20
modalogic-0.0.1.dist-info/LICENSE sha256=Rv1T72jhsI5eMuzA9qj8H9PlOmahVG1z2sYzzDt73Ec 1638
modalogic-0.0.1.dist-info/METADATA sha256=trIV2Hp5lGDQIbdmpap4jTgtprtyQYexGUUMc60kMtM 1403
modalogic-0.0.1.dist-info/WHEEL sha256=Z-nyYpwrcSqxfdux5Mbn_DQ525iP7J2DG3JgGvOYyTQ 110
modalogic-0.0.1.dist-info/entry_points.txt sha256=Lbn9TwHkwNpv6dGrVkWcs86oYiSMJArXEvo-yHirq38 50
modalogic-0.0.1.dist-info/top_level.txt sha256=4rvW6lvtDqvdkwLakV9VZA9jpESF02tLBj-wWv-fAl8 10
modalogic-0.0.1.dist-info/RECORD — —

top_level.txt

modalogic

entry_points.txt

[console_scripts]
modalogic = modalogic.cli:main