This is a 3D version of this graph. The constraints here are over the y-position variables while the xs and zs are unconstrained. Pairs of nodes connected by an edge have a separation constraint, requiring that the source be a minimum distance above the target.