rm InverseIne and Channel from testing with minizinc too as they get …

…decomposed (cft total vs partial function problem for reification)
CPMpy · May 28, 2024 · 5d306f9 · 5d306f9
1 parent 63cfab0
commit 5d306f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/test_constraints.py b/tests/test_constraints.py
@@ -34,7 +34,7 @@
                   "choco": {"Inverse", "InverseOne", "Channel"},
                   "ortools":{"Inverse", "InverseOne", "Channel"},
                   "exact": {"Inverse", "InverseOne", "Channel"},
-                  "minizinc": {"IncreasingStrict"} # bug #813 reported on libminizinc
+                  "minizinc": {"IncreasingStrict", "InverseOne", "Channel" } # bug #813 reported on libminizinc
                   }
 
 # Exclude certain operators for solvers.