YHacker Newsscreenshots

ericpony.github.io on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of ericpony.github.io: Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)

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

144 points by amit-bansil 11 months ago | 13 comments