there’s a lesson in here about programmers always finding ways to create more problems for themselves :p
I usually spend max 20 minutes playing with something like that, then hours or even days finding a good SAT encoding for the puzzle so I can easily solve it with a program. (I can recommend this strategy to anyone who wants to improve their SAT or SMT skills.)
-
-
-
This is the first one I solved like that after *days* of trying it by hand. (The puzzle was passed to me through a series of people who all tried and failed.) This are five 1x1x1 pieces, five 2x2x3 pieces, six 1x2x4 pieces and a 5x5x5 box. 1/2pic.twitter.com/MxKjfMCozZ
- 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.