Ошибка: имя типа или пространства имен «Z3» не существует в пространстве имен «Microsoft» (отсутствует ссылка на сборку?) - PullRequest
Новая
       4

Ошибка: имя типа или пространства имен «Z3» не существует в пространстве имен «Microsoft» (отсутствует ссылка на сборку?)

0 голосов
/ 17 февраля 2020

Сначала я извиняюсь за ужасный Engli sh, я новичок в Ubuntu. Я попытался установить Spire в Ubuntu, и после установки z3 и PSI, я получил следующую ошибку для установки Spire. 

"/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]

Может кто-нибудь, пожалуйста, помогите мне, я понятия не имею, что делать: (

...