C＃でZ3ソルバーで最大化/最小化の目的を使用する方法はありますか？

Question

.NET APIを使用して、Z3ソルバーに最小化/最大化の目的を追加する方法を探しています。何か方法はありますか？

Answer 1

:-)あなたの助けとメリークリスマスのための

ありがとうございます最適化オブジェクトを作成するために、ContextオブジェクトからメソッドMkOptimizeを使用することができます。このオブジェクトに制約と目的関数を追加することができます。 Optimize.csファイルには、次のメソッドが含まれています。https://github.com/Z3Prover/z3/blob/master/src/api/dotnet/Optimize.cs

http://lonelypad.blogspot.dk/2014/08/f-and-linear-programming-introduction.htmlのF＃（C＃と同じ.NET APIを使用）のAPIの使用に関するチュートリアルがあります。それはhttp://rise4fun.com/Z3Opt/tutorial/guideからリンクされています。