nested nvalue allowed

CPMpy · Jan 19, 2024 · 8e7acb2 · 8e7acb2
1 parent 3fd3b20
commit 8e7acb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpmpy/solvers/minizinc.py b/cpmpy/solvers/minizinc.py
@@ -391,7 +391,7 @@ def transform(self, cpm_expr):
         cpm_cons = toplevel_list(cpm_expr)
         supported = {"min", "max", "abs", "element", "count", "nvalue", "alldifferent", "alldifferent_except0", "allequal",
                      "inverse", "ite" "xor", "table", "cumulative", "circuit", "gcc"}
-        return decompose_in_tree(cpm_cons, supported, supported_reified=supported - {"circuit", 'nvalue'})
+        return decompose_in_tree(cpm_cons, supported, supported_reified=supported - {"circuit"})
 
 
     def __add__(self, cpm_expr):