误差z3.dll

2016-11-28 102 views 0 likes

我尝试使用Z3证明者在C＃中一所大学的项目，但是当我开始创建上下文对象我得到这个错误：误差z3.dll

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()

是有人在这里，谁知道一个解决方案吗？

谢谢！

来源

2016-11-28 Marco Oberwittler

你能提供创建上下文的代码吗？ http://stackoverflow.com/help/on-topic – garfbradaz

private Context ctx = new Context（）; –

您正在使用哪种IDE？ – garfbradaz

回答

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

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

来源

2016-11-28 14:03:11

你能举个例子来说明如何添加PATH环境变量吗？我将非常感激:-) –

在Windows上：设置PATH =％PATH％; c：\ mypath –

有关更多信息，请参阅Internet :-)例如：https：//en.wikipedia.org/wiki/Environment_variable –

误差z3.dll

回答

相关问题