cnfformula.families.ordering module .. automodule:: cnfformula.families.ordering :members: :undoc-members: :show-inheritance: