Quality News
new | top | ask | show | best | algorithms | about

Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (ericpony.github.io)
×1.10 #16 | 121 points by amit-bansil 15 hours ago | 10 comments | ??? ???

Story Stats

This chart shows the history of this story's rank on the Hacker News "Top" (Front) Page, "New" Page, and "Best" Page, as well as its raw rank given the Hacker News ranking formula.

This chart shows the history of this story's upvotes compared to the expected upvotes for stories shown at the same ranks and times.

This chart shows the history of this story's estimated true upvote rate: the predicted long-term ratio of upvotes to expected upvotes.