From 06c2aa9009a8177f766d4c050264b1c2d0559a03 Mon Sep 17 00:00:00 2001 From: wout4 Date: Thu, 4 Jul 2024 11:30:35 +0200 Subject: [PATCH] trigger tests --- tests/test_constraints.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/test_constraints.py b/tests/test_constraints.py index 8a802792a..528ab5df7 100644 --- a/tests/test_constraints.py +++ b/tests/test_constraints.py @@ -32,7 +32,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": {"pow"}, # TODO: rai ses 'free variable in non-positive context', what is at play? "z3": {}, "pysat": {}, "pysdd": {},