Choco Solver - 非常に長い実行時間の場合、どのように最も近い解を得ますか（ほとんどの制約を満たします）？

Question

Choco Solverでは、解を見つけるのに時間がかかりすぎる場合、最も近い解（これまでの制約を満たす解、しかしすべての制約を満たす解）はどうやって得られますか？

例えば、解決のためにModel.getSolver（）。solve（）を実行していて、解決策が見つからなくても十分に時間がかかると判断した場合、どうすれば最も近い解決策を出力できますかこれまでのところ？

Answer 1

初めて質問をよく読んでいないようです。

ハード制約をソフト制約 に変更するモデルを変更することができます。これは、満足問題を最適化問題に変えることを意味します。 制約の修正を使用できます。