design of the optimizer

[arkenidar]

I did put a bounty on bounty-source for this (https://www.bountysource.com/issues/43799059-design-of-the-optimizer). The bounty could be increased to attract more skilled solvers, if any good candidates are there.

https://sites.google.com/site/dariocangialosi/microcode-microptimizations-a-vm-as-a-possible-part-of-solution-of-a-compression-challenge

should "SMT solvers" be used? is the Hutter Prize goal clear for you? do you see as RESM VM fits in? can you produce the unoptimized, to be optimized, program first. And then optimize it, finding the minimally-sized equivalent-output-producing version of the byte code for the RESM Virtual Machine.

another way could be solving via genetic algorithms ("genetic search" as Alan Turing described in its "Unorganized Machine" https://en.wikipedia.org/wiki/Unorganized_machine writings). the arkenidar/zan_compressor@0edf7a3 "zan_compressor" projects has stats for score for the genetic algorithm's "fitness function" and has "relocable program code" for easy cutting and merging of program sections (genetic variation for enabling genetic search).