This post is the programming joke about Python, "import solution; solution()". | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

doctorpangloss 11 months ago | parent | context | favorite | on: Solving LinkedIn Queens with SMT

This post is the programming joke about Python, "import solution; solution()".

sevensor 11 months ago [–]

Barely a joke, this is literally what using the Python Z3 bindings feels like.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact