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