Recent questions about Z3

Nested threads