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: http://research.microsoft.com/en-us/um/redmond/projects/z3/group__capi__ex.html
- Managed (.NET) API Examples is illustrated at: http://research.microsoft.com/en-us/um/redmond/projects/z3/class_test_managed.html
- OCAML API: http://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