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.
0.2.3 (2018-02-25)
“To negative normal form” procedure for LDLf formulas.
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
Close
Hashes for pythogic-0.2.4.linux-x86_64.tar.gz
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 7769cdfda9db270c2b31e81324e25254fc45c5b4d131300adfc5a59148418895 |
|
| MD5 | e700931db1d82e432d4e33dd9e754b6e |
|
| BLAKE2b-256 | 8d04f3f9f637cba33b7d9babd2a2d8526dd4e0546356259d5703334e4debad23 |
