Skip to content

fix(physical-expr): stop false infeasibility report from Eq+FALSE in cp_solver - #24464

Open
Smallfu666 wants to merge 3 commits into
apache:mainfrom
Smallfu666:fix/19264-not-eq-analyze
Open

fix(physical-expr): stop false infeasibility report from Eq+FALSE in cp_solver#24464
Smallfu666 wants to merge 3 commits into
apache:mainfrom
Smallfu666:fix/19264-not-eq-analyze

fix: use Eq comparison semantics for the singleton check in Eq+FALSE

0a762d6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Process
succeeded Aug 23, 2026 in 6s