在 Ubuntu 18.04 上安装 z3

在 Ubuntu 18.04 上安装 z3

我按照步骤在 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]

相关内容