You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Starting with release 4.8.3, there is no vcruntime140.dll in Windows release archives. This DLL is a part of redistributable MSVC++ runtime and is not included in Windows by default (unlike Universal CRT in newer Windows), so Z3 fails to start on a clean Windows installation. Please include this DLL into archives again. Thanks!
The text was updated successfully, but these errors were encountered:
Starting with release
4.8.3
, there is novcruntime140.dll
in Windows release archives. This DLL is a part of redistributable MSVC++ runtime and is not included in Windows by default (unlike Universal CRT in newer Windows), so Z3 fails to start on a clean Windows installation. Please include this DLL into archives again. Thanks!The text was updated successfully, but these errors were encountered: