CPMpy pysat interface (:mod:`cpmpy.solvers.pysat`)
==================================================

.. automodule:: cpmpy.solvers.pysat
    :members:
    :undoc-members:
    :inherited-members: