Fix bug in the Houses puzzle example due to a restrictive interpretation of some of the puzzle constraints

Thanks to Markus Triska for the bug report and the enhancements to the puzzle implementation.