XCSP3 (:mod:`cpmpy.tools.xcsp3`)
=====================================================

.. automodule:: cpmpy.tools.xcsp3
    :members:
    :undoc-members:
    :inherited-members:

.. include:: ./xcsp3/analyze.rst
.. include:: ./xcsp3/dataset.rst
.. include:: ./xcsp3/globals.rst
.. include:: ./xcsp3/solution.rst
.. include:: ./xcsp3/cli.rst
.. include:: ./xcsp3/benchmark.rst