Hacker News new | ask | show | jobs
by Recursing 2407 days ago
I posted a solution using the python z3 library, which might be easier to use for people used to python, here: https://news.ycombinator.com/item?id=21545143
1 comments
Recursing 2403 days ago
That solution was not correct, see https://news.ycombinator.com/item?id=21568151
link