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

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