[ianandrich]

Have you tried using "holes" in the Z3 solver to generate faster optimizations or guards yet?

[cfbolztereick]

Yeah, that's my current project, already found a bunch of missing small features in the optimizers.