186 testcase requires gurobi, check for it
@@ -28,6 +28,8 @@ class TestTransLineariez(unittest.TestCase):
self.assertEqual("(a) -> (b >= 1)", str(cons))
def test_bug_168(self):
+ from cpmpy.solvers import CPM_gurobi
+ if CPM_gurobi.supported():
bv = boolvar(shape=2)
iv = intvar(1, 9)
e1 = (bv[0] * bv[1] == iv)
