Sudoku Solving with System Verilog Constraints | Coding with Example | Unique | Matrix Transpose

[@tharak1991]

Mass

[@Rashrimp]

I have a question about the col_c constraint:
So you are taking transpose of solved_puzzle and storing it in solved_puzzle_transpose and then applying unique on the transpose. How does the solved puzzle get the unique transpose values? We never put it back into solved_puzzle right?