2
.NET APIを使用して、Z3ソルバーに最小化/最大化の目的を追加する方法を探しています。何か方法はありますか?C#でZ3ソルバーで最大化/最小化の目的を使用する方法はありますか?
.NET APIを使用して、Z3ソルバーに最小化/最大化の目的を追加する方法を探しています。何か方法はありますか?C#でZ3ソルバーで最大化/最小化の目的を使用する方法はありますか?
:-)あなたの助けとメリークリスマスのための
ありがとうございます最適化オブジェクトを作成するために、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からリンクされています。