frenzy z3win_AnyCPU by: frenzy .NET Framework This package is compatible with all versions of .NET Framework. 8,238 total downloads last updated 7/13/2017 Latest version: 4.5.0.5 Contains Microsoft.Z3.dll version 4.5.0 for AnyCPU platform, the helper file libz3_x86.dll, libz3_x64.dll and the tool z3.exe