cnfformula.transformations package Submodules .. toctree:: cnfformula.transformations.substitutions Module contents .. automodule:: cnfformula.transformations :members: :undoc-members: :show-inheritance: