Mostly an exercise in using a tool for something not intended - art? You can definitely express any Brainfuck program as a integer program, and you can add con

Mostly an exercise in using a tool for something not intended - art? You can definitely express any Brainfuck program as a integer program, and you can add constraints that will constrain what the program does/must do, but it isn't clear to me how to add useful constraints/objective that are still linear. It'd be an interesting exercise though, and something I'll be thinking about. Integer optimization does have some practical uses related to programming though - its use has been explored in compilers. E.g. http://www.sciencedirect.com/science/article/pii/S0898122197001843 http://www.sciencedirect.com/science/article/pii/S0898122197...