F#中的Z3的InvalidCastException

时间:2018-10-19 17:40:45

标签: f# z3

我尝试启动Z3求解器并在F#中运行。因此,我在Visual Studio中创建了一个新的F#项目,添加了对Sub SaveOlAttachments() Dim olFolder As MAPIFolder Dim olFolder2 As MAPIFolder Dim msg As mailItem Set olFolder = Application.GetNamespace("MAPI").GetDefaultFolder(olFolderInbox) Set olFolder2 = Application.GetNamespace("MAPI").GetDefaultFolder(olFolderInbox).Folders("Test") For Each msg In olFolder.Items If msg.Class = 43 Then If msg.Attachments.Count > 0 Then If Left$(msg.Attachments(1).FileName, 10) = "asdfqwerty" Then msg.Move (oldFolder2) End If End If End If Next End Sub 的引用,并输入以下代码:

Microsoft.Z3.dll

在交互式窗口中运行此命令会产生以下错误:

open Microsoft.Z3

let ctx = new Context() 
let a = ctx.MkBoolConst("a")

我想念什么?

1 个答案:

答案 0 :(得分:1)

这听起来很像https://github.com/Z3Prover/z3/issues/1882

您可能必须重新编译/重新安装。请按照该票证中的说明进行操作。