3.7.161. No cycle

A constraint enforcing the fact that an undirected graph has no cycle.