Solving the Zebra Puzzle using SystemVerilog Constraints | Logic Puzzles & Coding Fun