gurobi does not support floordivision

[Wout4]

the model below is unsat for gurobi, because it doesn't allow rounding of floordiv (only even numbers are valid for x1 because it gets divided by 2). This is not the expected behavior of floordivision

iv = intvar(-1,3)
x1 = intvar(1,4, name="x1")

cons = [x1 // 2 == iv, x1 == 1]
print(Model(cons).solve('gurobi'))