Solving a chess puzzle with Claude and Z3/Python
Place all the pieces—king, queen, two bishops, two knights, and two rooks—on a 6 × 5 chessboard, with the requirement that the two bishops be on opposite colored squares and no piece is attacking another.
johndcook.com/blog/2026/06/2…