Choco ソルバーでプロジェクトを作成しましたが、検索中の外部効果について質問があります。
レイヤーで編成された (たとえば) BoolVars とレイヤーに割り当てられた期間を含む計画グラフを取得しました。これは、いくつかのアクションが開始され、いくつかが終了することを意味します。変数の選択は、プランの最後からプランの開始まで静的です (レイヤー内のアクションの選択は任意です)。
アクションAの開始と終了の間にNに等しい期間が必要であるため、シンプレックスアルゴリズムを使用して期間を割り当てるソリューションを研究しています。間にはさらにいくつかの制約があります。
追加の制約は、BoolVars のインスタンス化に基づいて作成されますが、それらは外部マトリックスで編成されているため、アクションAの終了アクションが追加されると、結果として追加の行がマトリックスに追加され、現在の制約が再定式化されます。 . バックトラックでは、行列を逆の方法で変更したいと考えています。つまり、行を削除して制約をアンポストします。
Choco でこの複雑な動作を実現する方法はありますか?