Metadata-Version: 2.0
Name: pythogic
Version: 0.2.0
Summary: Python package for deal with logical formulas and formal systems
Home-page: https://github.com/MarcoFavorito/pythogic
Author: Marco Favorito
Author-email: marco.favorito@gmail.com
License: MIT license
Description-Content-Type: UNKNOWN
Keywords: pythogic
Platform: UNKNOWN
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.4
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6

========
Pythogic
========


.. image:: https://img.shields.io/pypi/v/pythogic.svg
        :target: https://pypi.python.org/pypi/pythogic

.. image:: https://img.shields.io/travis/MarcoFavorito/pythogic.svg
        :target: https://travis-ci.org/MarcoFavorito/pythogic

.. image:: https://readthedocs.org/projects/pythogic/badge/?version=latest
        :target: https://pythogic.readthedocs.io/en/latest/?badge=latest
        :alt: Documentation Status




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.

.. _Cookiecutter: https://github.com/audreyr/cookiecutter
.. _`audreyr/cookiecutter-pypackage`: https://github.com/audreyr/cookiecutter-pypackage


=======
History
=======

0.1.0 (2018-02-20)
------------------

* First release on PyPI.


