VUISIS.Microsoft.Z3 (nuget): Z3 is a satisfiability modulo theories solver from Microsoft Research.
Keywords: smt|constraint|solver|theorem|prover