Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)

📰 Hacker News · amit-bansil

Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015). 14 comments, 155 points on Hacker News.

Published 16 Nov 2025