wff

Python library for building and working with propositional formulas.

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:

python wff/wff.py -v