Understanding the .NET API for Z3. Focused on F#.
The documentation for the API can be found here: https://z3prover.github.io/api/html/namespace_microsoft_1_1_z3.html. (All API documentations are available here: https://z3prover.github.io/api/html/.)