Z3版本“；z3-4.8.9“。Net Api问题

我已经尝试从站点（）使用最新版本的Z3.NETAPI。当我尝试在C#中的简单控制台应用程序中使用Z3解算器（此最新版本）时

public void Z3Tester（）
{
cICtx=新上下文（新字典（）{{“证明”，“假”}）；
cISolver=cICtx.MkSolver（“QF_FD”）；
BoolExpr lA=cICtx.MkBoolConst（“A”）；
西索尔弗断言（lA）；
cISolver.Check（）；
Console.WriteLine（cISolver.ToString（））；
Console.ReadKey（）；
模型lResultModel=cISolver.Model；
foreach（lResultModel.ConstDecls中的FunctionDecl L FunctionDeclaration）
{
}
}

我必须解决多个问题，包括：

正在添加对System.Runtime.dll和System.Collections.dll程序集（）的引用

使我的项目以64位CPU为目标，而不是默认的“任何CPU”（）

但在这些问题之后，该项目将无法运行，它给了我以下警告： “警告1发现同一依赖程序集的不同版本之间存在无法解决的冲突。当日志详细性设置为详细时，这些引用冲突将列在生成日志中。ConsoleApplication1”

这些问题对于这个版本的Z3正常吗？我可以使用另一个没有这些问题的版本吗？或者有没有更好的方法来解决这个版本的Z3的问题

---

参考资料：

32/64位有两个软件包。您是否可以在启用详细性的情况下检查构建日志，以查看该特定冲突是否涉及Z3？如果是，请在

        public void Z3Tester()
    {
        cICtx = new Context(new Dictionary<string, string>() { { "proof", "false" } });
        cISolver = cICtx.MkSolver("QF_FD");

        BoolExpr lA = cICtx.MkBoolConst("A");
        cISolver.Assert(lA);

        cISolver.Check();

        Console.WriteLine(cISolver.ToString());
        Console.ReadKey();

        Model lResultModel = cISolver.Model;

        foreach (FuncDecl lFunctionDecleration in lResultModel.ConstDecls)
        {

        }
    }