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

Commits on Aug 18, 2026

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

Smallfu666
and
evangelisilva
committed
04acb8d

Commits on Aug 20, 2026

fix: preserve input intervals in propagate_comparison uncertainty arm
Smallfu666
committed
4ef75fd

Commits on Aug 22, 2026

fix: use Eq comparison semantics for the singleton check in Eq+FALSE
Smallfu666
committed
0a762d6