This is crazy; perhaps that's what makes it intriguing.

In any case, I'm scratching my head. For example:

> We can thus, for any Brainfuck program, create an integer optimization problem with 3n decision variables where the optimal solution is that program.

Got it.

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?