I see, thanks! Z3 does support quantifiers, though...

# arrow-meta

[Brett Byler]

I see, thanks! Z3 does support quantifiers, though I’d need to experiment with them before going further along with anything concrete in relation to AA

Appreciate the help! Sorry for this question being covered by the docs. I’ll see if I can learn more with the @Post syntax in the meantime