Like any interview, randomly. Some of them will think it's amazing, clever person, chose the best tool for the job. Other will think it's weird, person is too clever, chose the worst tool for the job.

It totally depends for WHAT you're interviewing, but unlikely the company will want Z3-backed code, so most reactions would be the later.