This repository was archived by the owner on Apr 10, 2019. It is now read-only.
- Notifications
You must be signed in to change notification settings - Fork 0
Home
Marco Favorito edited this page Mar 9, 2018 · 3 revisions
Welcome to the pythogic wiki!
pythogic is a Python package for deal with logical formulas and formal systems such as:
- Propositional Calculus
- First-order Logic
- REf
- Linear Temporal Logic on Finite Traces
- Linear Dynamic Logic on Finite Traces
- Linear Dynamic Logic on Finite Traces
- Linear Dynamic Logic on Finite Traces for empty traces
It is released to PyPI. Hence, just type:
pip install pythogic See How to use page to see some use example.