时间戳

首页 > 解决方案 > 错误：命名空间“Microsoft”中不存在类型或命名空间名称“Z3”（您是否缺少程序集引用？）

c# - 错误：命名空间“Microsoft”中不存在类型或命名空间名称“Z3”（您是否缺少程序集引用？）

问题描述

首先，我为糟糕的英语道歉，我是 Ubuntu 的新手。我尝试在 Ubuntu 中安装 Spire，在安装 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]

谁能帮帮我，我不知道该怎么办:(

标签： c#ubuntu-18.04z3

解决方案

推荐阅读