7 ms·

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

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