Online Programming Tools from Microsoft Research: Z3, where do you use it?

Z3 may bring back memories of Modula-2, and it should there are a number of similarities. 

Z3 provides APIs for use with

So why use Z3?  It can help you understand programming, but it isn’t a programming language, it is a side path that helps prove if a series of predicates or statements resolve to being true