There is no theoretical limit to the size of a logic puzzle, but beyond a certain number of variables, you veer into "work" territory, either...