 Nonpositively curved cube complex

A cube complex is nonpositively curved when every vertex link is a flag simplicial complex. Equivalently, its universal cover with the piecewise Euclidean metric is a CAT(0) space.