You are working on the CPMpy/cpmpy repository. The source code is checked out at /testbed at commit…

You are working on the CPMpy/cpmpy repository. The source code is checked out at /testbed at commit…: a task in SWE-Lego-RL-2699 (Harbor dataset). cons = x1 // 2 == iv, x1 == 1 print(Model(cons).solve('gurobi'))