### 3.7.73. Cyclic

A constraint that involves a kind of cyclicity in its definition. It either uses the arc generator $\mathrm{𝐶𝐼𝑅𝐶𝑈𝐼𝑇}$ or an arc constraint involving $\mathrm{mod}$.