Hacker News Reader

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

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