我在c＃中有一个使用Z3库的项目。该项目可以独立运行并正常运行。但是，我尝试将第二个项目添加到主解决方案中，并将第二个项目用作第一个项目和主要项目的单元测试项目。在第二个项目中，我添加对第一个项目的引用，并从“ Manage NuGet package ...”中安装NUnit。但是在我构建了整个解决方案并尝试运行单元测试之后，我收到一条错误消息，提示：
System.BadImageFormatException：无法加载文件或程序集“ Microsoft.Z3，版本= 4.5.0.0，文化=中性，PublicKeyToken = 9c8d792caae602a2”或其依赖项之一。试图加载格式错误的程序。
我在做什么错了？