F＃でのZ3のInvalidCastException

debugcn 投稿 Dev

キャスパードクター

Z3ソルバーをF＃で起動して実行しようとしています。そこで、Visual Studioで新しいF＃プロジェクトを作成し、への参照を追加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

何が足りないのですか？

エイリアス

これはhttps://github.com/Z3Prover/z3/issues/1882のように聞こえます

再コンパイル/再インストールが必要になる場合があります。そのチケットの指示に従ってください。

この記事はインターネットから収集されたものであり、転載の際にはソースを示してください。

侵害の場合は、連絡してください[email protected]