From 62a9bea236aae6bdc82242ecf0f872982e18fafa Mon Sep 17 00:00:00 2001 From: Dimos Tsouros Date: Mon, 25 Mar 2024 14:49:45 +0100 Subject: [PATCH] remove inverse tests part 2 --- tests/test_constraints.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/test_constraints.py b/tests/test_constraints.py index 34e511721..40b7e1590 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", "inverse"}, - "pysdd": {"circuit", "element","min","max","count", "nvalue", "allequal","alldifferent","cumulative",'xor', "inverse"}, + "pysat": {"circuit", "element","min","max","count", "nvalue", "allequal","alldifferent","cumulative"}, + "pysdd": {"circuit", "element","min","max","count", "nvalue", "allequal","alldifferent","cumulative",'xor'}, "exact": {}, "choco": {} } @@ -150,7 +150,7 @@ def global_constraints(solver): """ Generate all global constraints - AllDifferent, AllEqual, Circuit, Minimum, Maximum, Element, - Xor, Cumulative, NValue, Count, Inverse + Xor, Cumulative, NValue, Count """ global_cons = [AllDifferent, AllEqual, Minimum, Maximum, NValue] for global_type in global_cons: