4 ms·It's a bit confusing that x >> y means x implies y, when z3 supports bitwise arithmetic as well.by nextaccountic 5y agoIt's a bit confusing that x >> y means x implies y, when z3 supports bitwise arithmetic as well.