Open Source Adventures: Episode 72: Crystal Z3 Solver for Dominosa Puzzle

Dominosa is a puzzle with simple rules: there's a grid filled with numbers you need to pair those numbers into dominos each domino needs to be different As usual, I recommend playing the puzzle a few times to get a good feel for it. It will make it...