From 68acd3b12ebb23ebed90f0a36518a7c9efc9e39f Mon Sep 17 00:00:00 2001 From: IgnaceBleukx Date: Mon, 25 Mar 2024 13:20:37 +0100 Subject: [PATCH] exclude inverse from Bool solvers --- tests/test_constraints.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/test_constraints.py b/tests/test_constraints.py index f8b458c76..51b35e54f 100644 --- a/tests/test_constraints.py +++ b/tests/test_constraints.py @@ -14,8 +14,8 @@ EXCLUDE_GLOBAL = {"ortools": {}, "gurobi": {}, "minizinc": {"circuit"}, - "pysat": {"circuit", "element","min","max","count", "nvalue", "allequal","alldifferent","cumulative"}, - "pysdd": {"circuit", "element","min","max","count", "nvalue", "allequal","alldifferent","cumulative",'xor'}, + "pysat": {"circuit", "element","min","max","count", "nvalue", "allequal","alldifferent","cumulative", "invese"}, + "pysdd": {"circuit", "element","min","max","count", "nvalue", "allequal","alldifferent","cumulative",'xor', "inverse"}, "exact": {}, "choco": {"inverse"} # bug 1099 on Choco github }