Skip to content

Commit

Permalink
remove inverse tests part 2
Browse files Browse the repository at this point in the history
  • Loading branch information
Dimosts committed Mar 25, 2024
1 parent eec5fcc commit 62a9bea
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions tests/test_constraints.py
Original file line number Diff line number Diff line change
Expand Up @@ -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": {}
}
Expand Down Expand Up @@ -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:
Expand Down

0 comments on commit 62a9bea

Please sign in to comment.