Z3 Made Unreasonably Easy nextaccountic 2021-08-19 08:33:53 +0000 UTC [ - ] It's a bit confusing that x >> y means x implies y, when z3 supports bitwise arithmetic as well.
nextaccountic 2021-08-19 08:33:53 +0000 UTC [ - ]