Be aware that Z3’s support for quantifiers is not ...
# arrow-metaa
Alejandro Serrano Mena
06/14/2022, 7:59 AMBe aware that Z3’s support for quantifiers is not what you might me expecting, in particular you cannot throw a bunch of foralls and make them work