SAT dataset (:mod:`cpmpy.tools.datasets.sat`)
=============================================

.. automodule:: cpmpy.tools.datasets.sat

.. autoclass:: cpmpy.tools.datasets.sat.SATDataset
    :members:
    :undoc-members:
    :inherited-members: