@oe1cxw Found on Facebook (unfortunately). Solving it this way was more fun!pic.twitter.com/cYj8KBqx7P
Show this thread
-
Yes, I do that all the time. For example: http://svn.clifford.at/handicraft/2017/smtcode/smtcode.smt2 … solves http://svn.clifford.at/handicraft/2017/smtcode/smtcode.jpg … And of course also harder puzzles like this one: https://twitter.com/oe1cxw/status/954697912528855040 … But I'm still waiting for a solver that can solve this out of the box:pic.twitter.com/mkMrmwlXl7
Yes, there are specialized elliptic curve solvers of course. But nothing generic that just looks at that (i.e. an equivalent set of formal constraints) and knows what to do with it.
-
-
Ohhh yes, that problem is a doozy. Good answer on Quora about it; the answer is like dozens of digits long if memory serves. I'd thought about trying that problem and seeing if z3 chokes on it, but seems like you already did :P.
-
Smallest Solution:
= 4373612677928697257861252602371390152816537558161613618621437993378423467772036
= 36875131794129999827197811565225474825492979968971970996283137471637224634055579
= 154476802108746166441951315019919837485664325669565431700026634898253202035277999 - Show replies
New conversation -
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.