3.7.143. maxint

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