我按照步骤在 Ubuntu 18.04 的 mono 上安装了 Z3https://github.com/Z3Prover/z3并收到成功消息,但 Z3 无法正常工作,并且它不在 Mono 或 GAC 中的 Microsoft.z3.dll 文件中。
For SearchPath "{TargetFrameworkDirectory}".
Considered "/usr/lib/mono/xbuild-frameworks/.NETFramework/v4.5.2/Microsoft.Z3.winmd", but it didn't exist.
Considered "/usr/lib/mono/xbuild-frameworks/.NETFramework/v4.5.2/Microsoft.Z3.dll", but it didn't exist.
Considered "/usr/lib/mono/xbuild-frameworks/.NETFramework/v4.5.2/Microsoft.Z3.exe", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Microsoft.Z3.winmd", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Microsoft.Z3.dll", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Microsoft.Z3.exe", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.winmd", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.dll", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.exe", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.winmd", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.dll", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.exe", but it didn't exist.
For SearchPath "{GAC}".
Considered "Microsoft.Z3", which was not found in the GAC.
For SearchPath "{RawFileName}".
Considered treating "Microsoft.Z3" as a file name, but it didn't exist.
For SearchPath "bin/x64/Release/".
Considered "bin/x64/Release/Microsoft.Z3.winmd", but it didn't exist.
Considered "bin/x64/Release/Microsoft.Z3.dll", but it didn't exist.
Considered "bin/x64/Release/Microsoft.Z3.exe", but it didn't exist.
"/home/mahdieh/Spire-master/Spire.sln" (default target) (1) ->
"/home/mahdieh/Spire-master/Spire/Spire.csproj" (default target) (2) ->
(CoreCompile target) ->
PolicySynthesis.cs(17,17): error CS0234: The type or namespace name 'Z3' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?) [/home/mahdieh/Spire-master/Spire/Spire.csproj]
Synthesize.cs(17,17): error CS0234: The type or namespace name 'Z3' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?) [/home/mahdieh/Spire-master/Spire/Spire.csproj]