Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
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