3 ms·

This is great. So many times I’ve wondered how to actually use z3 and I couldn’t figure it out. Thank you!