Metadata-Version: 2.1
Name: wff
Version: 0.0.0.1
Summary: Python library for building and working with propositional formulas.
Home-page: https://github.com/reity/wff
Author: Andrei Lapets
Author-email: a@lapets.io
License: MIT
Platform: UNKNOWN
Description-Content-Type: text/x-rst

===
wff
===

Python library for building and working with propositional formulas.

.. image:: https://badge.fury.io/py/wff.svg
   :target: https://badge.fury.io/py/wff
   :alt: PyPI version and link.

Package Installation and Usage
------------------------------
The package is available on PyPI::

    python -m pip install wff

The library can be imported in the usual way::

    import wff
    from wff import *

Unit tests can be executed using `doctest <https://docs.python.org/3/library/doctest.html>`_::

    python wff/wff.py -v


