Include this object whenever you want to use concise notation It provides the following ginfix operators for IntVars: plus minus times, div, ==: !=: <<: >>: >=: <=: