# dwavebinarycsp.Constraint.check¶

Constraint.check(solution)[source]

Check that a solution satisfies the constraint.

Parameters: solution (container) – An assignment for the variables in the constraint. True if the solution satisfies the constraint; otherwise False. bool

Examples

This example creates a constraint that $$a \ne b$$ on binary variables and tests it for two candidate solutions, with additional unconstrained variable c.

>>> import dwavebinarycsp
>>> const = dwavebinarycsp.Constraint.from_configurations([(0, 1), (1, 0)],
...             ['a', 'b'], dwavebinarycsp.BINARY)
>>> solution = {'a': 1, 'b': 1, 'c': 0}
>>> const.check(solution)
False
>>> solution = {'a': 1, 'b': 0, 'c': 0}
>>> const.check(solution)
True