News for hackers. Stuff that matters.

A comment on Which answer in this list is the correct answer to this question? (2017). Parent comment

Re:Which answer in this list is the correct answer to this q... by Recursing on Friday November 15, 2019 @09:52AM (#21545246)
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
[ Parent | on HN ]
Re:Which answer in this list is the correct answer to this q... by Recursing on Monday November 18, 2019 @04:17PM (#21568226)
That solution was not correct, see https://news.ycombinator.com/item?id=21568151
[ Parent | on HN ]