### 3.7.150. maxint

A constraint that uses $\mathrm{maxint}$ in its definition in terms of graph properties or in terms of automata. $\mathrm{maxint}$ is the largest integer that can be represented on a machine.