Metadata-Version: 1.1
Name: pythogic
Version: 0.2.3
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
Description: ========
        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.
        
        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.
        
        
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
