diff --git a/tests/test_constraints.py b/tests/test_constraints.py index 1a308dd95..779778e67 100644 --- a/tests/test_constraints.py +++ b/tests/test_constraints.py @@ -234,4 +234,4 @@ def test_reify_imply_constraints(solver, constraint): """ assert SolverLookup.get(solver, Model(constraint)).solve() assert constraint.value(), f"Constraint {constraint} is not satisfied ({constraint.value()}), arguments: {[c.value() for c in constraint.args[0].args[0].args[0]]}, {[c.value() for c in constraint.args[0].args[0].args[1]]} " -; V +