Skip to content

Commit

Permalink
trigger tests
Browse files Browse the repository at this point in the history
  • Loading branch information
Wout4 committed Jul 4, 2024
1 parent 9a5c095 commit 06c2aa9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/test_constraints.py
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@
# Some solvers only support a subset of operators in imply-constraints
# This subset can differ between left and right hand side of the implication
EXCLUDE_IMPL = {"ortools": {},
"minizinc": {"pow"}, # TODO: raises 'free variable in non-positive context', what is at play?
"minizinc": {"pow"}, # TODO: rai ses 'free variable in non-positive context', what is at play?
"z3": {},
"pysat": {},
"pysdd": {},
Expand Down

0 comments on commit 06c2aa9

Please sign in to comment.