This repository has been archived by the owner on Apr 10, 2019. It is now read-only.

Home

Jump to bottom

Marco Favorito edited this page Mar 9, 2018 · 3 revisions

Welcome to the pythogic wiki!

What is Pythogic

pythogic is a Python package for deal with logical formulas and formal systems such as:

Installation

It is released to PyPI. Hence, just type:

pip install pythogic

See How to use page to see some use example.

Clone this wiki locally