3 ms·
I created a solver for it using Z3, see https://news.ycombinator.com/item?id=19093754 https://news.ycombinator.com/item?id=19093754.
by redfast00 8y ago
I created a solver for it using Z3, see https://news.ycombinator.com/item?id=19093754 https://news.ycombinator.com/item?id=19093754.