Python library for building and working with propositional formulas.
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