z3.dll 出错

Question

我尝试将 Z3 Prover 用于 C# 中的大学项目，但是当我开始创建上下文对象时，我收到此错误：

System.DllNotFoundException: Die DLL "z3.dll": Das angegebene Modul wurde nicht gefunden. (Ausnahme von HRESULT: 0x8007007E) kann nicht geladen werden.

   bei Microsoft.Z3.Native.LIB.Z3_del_context(IntPtr a0)

   bei Microsoft.Z3.Context.Finalize()

   bei Microsoft.Z3.Native.LIB.Z3_del_context(IntPtr a0)

   bei Microsoft.Z3.Context.Finalize() 

这里有人知道解决方案吗？

谢谢！

Answer 1

要在 .NET 项目中使用 Z3，您需要引用 Microsoft.Z3.dll，它对 libz3.dll 具有（本机）依赖关系。因此，两个 DLL 都必须在运行时可访问；例如，将包含它们的目录放入 PATH 环境变量中。

另外，请确保正确的版本可用，即，对于 32 位程序，您必须使用 32 位 DLL，否则您将收到完全没有帮助的错误消息（例如，它只会报告“无法加载 DLL”）。