cnfformula.cmdline module .. automodule:: cnfformula.cmdline :members: :undoc-members: :show-inheritance: