This is crazy; perhaps that's what makes it intriguing.<p>In any case, I'm scratching my head. For example:<p>> We can thus, for any Brainfuck program, create an integer optimization problem with 3n decision variables where the optimal solution is that program.<p>Got it.<p>Integer optimization is designed to solve numerical problems. Is there any reason or inspiration to suggest that use this technique is a productive way to write programs that satisfy certain constraints?