Skip to content

Commit

Permalink
exclude inverse from tests
Browse files Browse the repository at this point in the history
  • Loading branch information
Wout4 committed May 8, 2024
1 parent 2efbe75 commit 3f8ef4e
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions tests/test_constraints.py
Original file line number Diff line number Diff line change
Expand Up @@ -16,13 +16,13 @@

# Exclude some global constraints for solvers
# Can be used when .value() method is not implemented/contains bugs
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'},
"exact": {},
"choco": {}
EXCLUDE_GLOBAL = {"ortools": {'inverse'},
"gurobi": {'inverse'},
"minizinc": {"circuit", 'inverse'},
"pysat": {"circuit", "element","min","max","count", "nvalue", "allequal","alldifferent","cumulative", 'inverse'},
"pysdd": {"circuit", "element","min","max","count", "nvalue", "allequal","alldifferent","cumulative",'xor', 'inverse'},
"exact": {'inverse'},
"choco": {'inverse'}
}

# Exclude certain operators for solvers.
Expand Down

0 comments on commit 3f8ef4e

Please sign in to comment.