This demonstrates how solvers automatically share variables.
You can edit the initial inputs. The first region DeltaBlue solver will re-satisfy its constraints (assinging an integer value to x and a Date to d), then Cassowary will update y based on the new value of x, and finally region 3 DeltaBlue will update s with the new values of d and y.
The constraints in the figure are implemented here