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.
0.2.2 (2018-02-25)
Refactoring of the formulas and formal systems functionalities.
Implemented LDLf.
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.2.linux-x86_64.tar.gz
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | f365506190f8fdc0e76801c9ecce2d44bdb9f56fbcef75d68cc47baa81f9fc17 |
|
| MD5 | d63922cc8889ee6bab1aa7043238583e |
|
| BLAKE2b-256 | 58d81903f43506b3028b62695032f654a63b3e9493ab06c063828390e7818373 |
Close
Hashes for pythogic-0.2.2-py2.py3-none-any.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 793b950d12b186f4f88cbe92d7918c82fef7c11f3bf1e0f7e731a33d85e09af6 |
|
| MD5 | 946c4ab679ff1dd5e53ffe20994bb63d |
|
| BLAKE2b-256 | c03a27c07fcc81b1e92d1b0314745851bdf09cdb9b1d2d1ab4c81c144d010254 |
