Python package for deal with logical formulas and formal systems
Project description
Pythogic
Python package for deal with logical formulas and formal systems.
Free software: MIT license
Documentation: https://pythogic.readthedocs.io.
Features
TODO
Credits
This package was created with Cookiecutter and the audreyr/cookiecutter-pypackage project template.
History
0.1.0 (2018-02-20)
First release on PyPI.
0.2.0 (2018-02-23)
First-Order logic support (Formulas, Interpretations, Assignment, Truth of the formulas)
0.2.1 (2018-02-23)
Fix on the repo
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Close
Hashes for pythogic-0.2.1.linux-x86_64.tar.gz
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | dd10012c225f1d4c6bdd52dfa1d8277baa4f6e25b4cab19350018ce8a8642fde |
|
| MD5 | 55fd4c2f2e09d2d8c5ccd37527244b1c |
|
| BLAKE2b-256 | a788c99dadb3c25d5d6c0b329f2b704b9fbd2878885accc1a05834aa0fd9995d |
Close
Hashes for pythogic-0.2.1-py2.py3-none-any.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 4ad523c0f5dd4f9aef05c903d7ceefe3cae6de2451414b1495f64fdaf23d2f46 |
|
| MD5 | f341e57b8adad259878b6a78a80654bd |
|
| BLAKE2b-256 | 8a05a775fc8b662705d9a40c175928ac355350a0db4f264cc4e2786d10bcd9ed |
