0

古い (2010 年から) OR ツール CP ソルバー モデルを CP-SAT ソルバー (Python3) に移植しています。これらのシステムにはかなりの違いがありますが、ほとんどは CP-SAT ソルバーに簡単に移植できます。

ただし、CP-SAT ソルバーのドキュメントで見つけられなかったものの 1 つは、決定変数の下限/上限の取得など、古い CP ソルバーがサポートする「リフレクション」メソッドです。例えば

  # Old CP solver code
  solver = pywrapcp.Solver("Name")
  x = solver.IntVar(0,10, "x") 

  # ....
  x_lb = x.Min()  # lower bound
  x_ub = x.Max()  # upper bound
  # ...

次に、これらの変数の下限/上限を使用して、他の制約を実装できます。(これは、およびメソッドcumulativeを使用して制約を実装する CP ソルバーです: http://hakank.org/or_tools/furniture_moving.py )MinMax

CP-SAT ソルバーは、これらの種類の反射法をサポートしていますか?

4

1 に答える 1