Constraints =========== .. toctree:: :maxdepth: 1 flexible_contexts equality_constraints constraint_kind quantified_constraints