Convert boolean expressions to cnf (:mod:`cpmpy.transformations.to_cnf`)
========================================================================

.. automodule:: cpmpy.transformations.to_cnf
    :members:
    :undoc-members:
    :inherited-members: