@oe1cxw Found on Facebook (unfortunately). Solving it this way was more fun!pic.twitter.com/cYj8KBqx7P
Show this thread
-
The combination lock one is a bit tougher for me (I haven't looked at your solution- trying it myself). How do I create an "3-long array of Ints" constant in SMTv2? If I can't, do I need to create tuples using (declare-datatype) to represent lock combinations?
You don't need arrays for this. Simply use three variables and (to keep the code short) helper functions like those below. (You could use arrays and for-all expressions. But the best case scenario is that the solver figures out how to unroll this to code using 3 simple vars.)pic.twitter.com/jMMma26PwT
-
-
I haven't had the bandwidth to try the lock puzzle again yet. But I did manage to somehow think solving the linked was a bright idea :D: https://rise4fun.com/Z3/gIcY
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.