dwavebinarycsp.Constraint.check

Constraint.check(solution)

Check that a solution satisfies the constraint.

Parameters:

solution (container) – An assignment for the variables in the constraint.

Returns:

True if the solution satisfies the constraint; otherwise False.

Return type:

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.

>>> 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