Avoid pinning solver variables too early when RHS is a union (#2839)#2839
Open
migeed-z wants to merge 1 commit intofacebook:mainfrom
Open
Avoid pinning solver variables too early when RHS is a union (#2839)#2839migeed-z wants to merge 1 commit intofacebook:mainfrom
migeed-z wants to merge 1 commit intofacebook:mainfrom
Commits
Commits on Mar 20, 2026
- authored andcommitted
![meta-codesync[bot]](https://avatars.githubusercontent.com/in/1373969?v=4&size=32){kind=avatar}