3.7.153. No cycle

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