Constraints
===========

.. toctree::
    :maxdepth: 1

    equality_constraints
    constraint_kind
    quantified_constraints