Tomasz Węgrzanowskitaw.hashnode.dev·Jul 10, 2022Open Source Adventures: Episode 72: Crystal Z3 Solver for Dominosa PuzzleDominosa 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...Open Source AdventurescrystalAdd a thoughtful commentNo comments yetBe the first to start the conversation.