InvalidCastException для Z3 в F #

Question

Я пытаюсь запустить Z3 Solver и запустить его на F #.Поэтому я создал новый проект F # в Visual Studio, добавил ссылку на Microsoft.Z3.dll и набрал следующий код:

open Microsoft.Z3

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

Запуск этого в интерактивном окне приводит к следующей ошибке:

System.InvalidCastException: Unable to cast object of type 'Microsoft.Z3.AlgebraicNum' to type 'Microsoft.Z3.BoolExpr'.
   at Microsoft.Z3.Context.MkBoolConst(String name)
   at <StartupCode$FSI_0013>.$FSI_0013.main@() in C:\Users\...\Program.fs:line 3
Stopped due to error

Чего мне не хватает?

Answer 1

Это очень похоже на https://github.com/Z3Prover/z3/issues/1882

Возможно, вам придется перекомпилировать / переустановить.Следуйте инструкциям в этом билете.