установка z3 на ubuntu 18.04 - PullRequest
Новая
       122

установка z3 на ubuntu 18.04

1 голос
/ 21 июня 2020

Я хочу запустить программу, использующую z3 в Ubuntu. Я попытался установить z3 на Ubuntu 18.04 и получил сообщение об успехе, но, хотя z3 установлен правильно, при запуске программы я получаю следующую ошибку: 

 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.

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]

Я пробовал много раз и не смог добиться успеха. Пожалуйста, помогите мне

...