cnfformula.utils.dimacstransform module .. automodule:: cnfformula.utils.dimacstransform :members: :undoc-members: :show-inheritance: