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