Microsoft.Z3 (nuget): Z3 is a satisfiability modulo theories solver from Microsoft Research.  Linux Dependencies:     libgomp.so.1 installed
Keywords: smt|constraint|solver|theorem|prover