Skip to content

Commit

Permalink
exclude inverse from Bool solvers
Browse files Browse the repository at this point in the history
  • Loading branch information
IgnaceBleukx committed Mar 25, 2024
1 parent 00be5a5 commit 68acd3b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 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"},
"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
}
Expand Down

0 comments on commit 68acd3b

Please sign in to comment.