Skip to main content

Variable: IntVarMax

const IntVarMax: 1073741823 = 1073741823

Maximum value of a decision variable or a decision expression (such as x+1 where x is a variable).


The following model is infeasible:

let model = new CP.Model();
let x = model.intVar({range: [10000000, 2000000]});
// Constraint x*x >= 1:
let result = await CP.solve(model);

Because for any value of x, the expression x*x is greater than IntVarMax and thus cannot be computed.