問題タブ [choco]

管理シェルで次の手順を使用して、nuGet を介して Chocolatey をインストールしました: Chocolatey nuget install。ただし、パッケージを取得しようとすると、資格情報を求められます (これは意図されていないと思います)。誰かが私が間違っていることを指摘できますか?

チョコレートのような

製品のさまざまな機能、機能のオプション、および機能間の互換性ルールを考慮して、実現可能なすべての製品構成のリストを生成したいと考えています。

たとえば、私の現在の使用例は、ラップトップの構成に似ています。画面サイズ、RAM、CPU、マザーボードなどの多くの変数と、それぞれに複数の有効な値があります。また、このマザーボードがこの CPU と互換性があるなどの制約を設定することもできます。必要な出力は、ラップトップのすべての有効な構成のリストです。

このシナリオは、典型的な制約充足問題 (CSP) のように見えます。Minion、Choco などの CSP ライブラリを試してみました。残念ながら、それらは数値変数しか使用せず、互換性ルールも数学関数です。

また、機能的制約を使用したhttp://labix.org/python-constraintを試し、互換性ルールを If ステートメントとして提供しました。これは小さなシナリオで機能しました。しかし、私の要件では、10 個の機能があり、それぞれに 4 ～ 5 個のオプションがあり、何百万もの構成が必要になります。

誰かが私の要件に最適なアプローチを提案できますか?

私は choco を使用して CSP を解決しています。私の制約の 1 つは、1 つの変数 ( X[i][j]) の合計が 未満であることですN=10, and i=j=1....N。

どうすればこれを達成できますか? ご協力ありがとうございました。