hillerstorm Z3-20190104 by: hillerstorm .NET Standard 1.4 1,374 total downloads last updated 1/4/2019 Latest version: 4.8.4 smt constraint solver theorem prover Z3 is a satisfiability modulo theories solver from Microsoft Research.