add implied pow to minizinc tests

CPMpy · Oct 12, 2023 · d603bc0 · d603bc0
1 parent 2bef390
commit d603bc0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/test_constraints.py b/tests/test_constraints.py
@@ -30,7 +30,7 @@
 # Some solvers only support a subset of operators in imply-constraints
 # This subset can differ between left and right hand side of the implication
 EXCLUDE_IMPL = {"ortools": {},
-                "minizinc": {"pow"},  # TODO: raises 'free variable in non-positive context', what is at play?
+                "minizinc": {},
                 "z3": {},
                 "pysat": {},
                 "pysdd": {},