Skip to content

Rotated and block constraints are exclusive; remove four dead label lookups - #590

Merged
lmoresi merged 2 commits into
developmentfrom
bugfix/rotated-guard-deadcode
Aug 17, 2026
Merged

Rotated and block constraints are exclusive; remove four dead label lookups#590
lmoresi merged 2 commits into
developmentfrom
bugfix/rotated-guard-deadcode

Check the constraint pair at the solve as well as at registration

aa2b8d8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar