3 ms·
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 htt
by Recursing 7y 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 https://news.ycombinator.com/item?id=21545143
- Recursing 7y agoThat solution was not correct, see https://news.ycombinator.com/item?id=21568151 https://news.ycombinator.com/item?id=21568151