我尝试启动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")
我想念什么？