hillerstorm Z3-20190104 by: hillerstorm .NET Standard 1.4 This package targets .NET Standard 1.4. The package is compatible with this framework or higher. 1,460 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.