John D. Cook • 6/20/2026

All pieces on a 6 by 5 board

This article explores using Claude to generate Z3/Python code to solve a chess puzzle: placing a king, queen, two bishops, two knights, and two rooks on a 6x5 board such that bishops are on opposite colors and no piece attacks another. It details the prompt, solution count (192 raw, 24 unique after deduplication), and includes example solutions and the full Z3 solver code. The article is focused on programming, constraint solving, and algorithmic problem-solving in the IT/technology domain.

0 comments

#Python #code generation #constraint satisfaction