LinkedIn Queens Solver

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 is a popular choice, the last time I used it was playing around with yosys and hardware formal verification.

Read the code and learn more: https://github.com/jogolden/linkqueens

You only get one puzzle a day so testing this has been a little slow 😂