[leni536]

I think in theory it is possible by unary encoding attributes of the five houses then defining the appropriate weights according to the constraints.

In practice it might not be possible to map the resulting graph on the D-Wave's architecture, I can't find any good documentation on the D-Wave though.