Category: Fun

The LinkedIn Queens game is pretty fun to play! There is another website with more of the same type of puzzles. I had the idea of creating a solver to beat the game. Since the puzzles are fairly small and there is only one valid solution, an SMT solver seemed like a good solution. Z3…