Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines ericpony.github.io 60 points by amit-bansil 3 hours ago