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

• ‘C’, this is illustrated at: https://research.microsoft.com/en-us/um/redmond/projects/z3/group__capi__ex.html
• Managed (.NET) API Examples is illustrated at: https://research.microsoft.com/en-us/um/redmond/projects/z3/class_test_managed.html
• OCAML API: https://research.microsoft.com/en-us/um/redmond/projects/z3/ml/Test_mlapi.html (OCAML and F# are related)

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