modalogic
A research package for modal-logic based reasoning using the Analytical Tableaux method.
- Free software: GNU General Public License v3
- Documentation: https://rayniervanegmond.github.io/modalogic
Features
Credits
This package was created with Cookiecutter and the rayniervanegmond/pypackage project template.
1 maintainer
Metadata
1 maintainer
Release files for modalogic 0.0.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| modalogic-0.0.1-py2.py3-none-any.whl | Python 2, Python 3 | none | any | Details |
Release files / modalogic-0.0.1-py2.py3-none-any.whl
| Download URL | modalogic-0.0.1-py2.py3-none-any.whl |
|---|---|
| Size | 3.7 kB |
| Tags | Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
4fd69a935e28d3a0eaff0eae0da4ddc55e677c704b39fb7d9d4455804eec9cd1
|
|
BLAKE2b-256 checksum How to use checksums |
ce3c73c26fc289a45df37b0fc79a8bfb9a618741d7f6063d4db94544a4199d26
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.5.0 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.1 CPython/3.9.5
|
