How do I swap a Z3 with a Z3 compact?

Printable View