lex limit callback

CPMpy · Jun 11, 2024 · 10f0583 · 10f0583
1 parent f7be710
commit 10f0583
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/xcsp3/executable/callbacks.py b/xcsp3/executable/callbacks.py
@@ -338,7 +338,8 @@ def ctr_ordered(self, lst: list[Variable], operator: TypeOrderedOperator, length
 
 
     def ctr_lex_limit(self, lst: list[Variable], limit: list[int], operator: TypeOrderedOperator):  # should soon enter XCSP3-core
-        self._unimplemented(lst, limit, operator)
+        self.ctr_lex([lst, limit], operator)
+        #self._unimplemented(lst, limit, operator)
 
     def ctr_lex(self, lists: list[list[Variable]], operator: TypeOrderedOperator):
         cpm_lists = [self.get_cpm_vars(lst) for lst in lists]