summaryrefslogtreecommitdiff
path: root/docs/users_guide/exts/constraints.rst
blob: 6011dd6ea7f945e2168d98561c21b58a299ac9c0 (plain)
1
2
3
4
5
6
7
8
9
Constraints
===========

.. toctree::
    :maxdepth: 1

    equality_constraints
    constraint_kind
    quantified_constraints