Examples of .NET API of https://github.com/Z3Prover/z3
Some examples also comes from ericpony.github.io
Z3 is used in many applications such as: software/hardware verification and testing, constraint solving, analysis of hybrid systems, security, biology (in silico analysis), and geometrical problems.
Apparently Z3 is a really powerfull beast.
This is a byproduct of taming it.