My Diffy puzzle in this week’s New Scientist. Can you beat six squares? Can you get ten?pic.twitter.com/YyBPGCniKm
Show this thread
10 7 1 12 3 6 11 2 3 5 9 1 2 4 8 2 2 4 6 0 2 2 6 2 0 4 4 0 4 0 4 0 4 4 4 4 0 0 0 0 That's 10 including the all zeros square. There's no solution with more squares. http://svn.clifford.at/handicraft/2020/pysmt/diffysq.py …
-
-
Obviously no SMT solver would be required to solve something like that. 12^4 is easy enough to brute-force. But I wanted to play a bit more with PySMT.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.