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
Get Started
$ dotnet add package z3win_AnyCPUReadme
No README available.
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
$ dotnet add package z3win_AnyCPUNo README available.