A solver for the 0hh1 logic puzzle