3.7.150. 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.