feat: add `ConstrainNotEqual` instruction#7032

Merged

TomAFrench merged 11 commits intomasterfrom

tf/improve-inequality-constraints

Jan 16, 2025

Commits on Jan 11, 2025

Commits on Jan 13, 2025

Commits on Jan 14, 2025

Commits on Jan 15, 2025

Commits on Jan 16, 2025