Symbolica.Z3 (nuget): Z3 built from an arbitrary commit and packaged for dotnet.
Keywords: Symbolica|dotnet|Z3|smt|constraint|solver|theorem|prover