choco

0熱

1答えて

複雑な変数が制約を満たしているかどうかチョコをチェックインする方法は？ CONFIG1 = {20、24、10、3、4}とCONFIG2 = {20、13、1、3、4} int[][] configurations = new int[][] { {20, 24, 10, 3, 4}, {20, 13, 1, 3, 4}}; ：例えば、私は構成の次のリストを持っている場

2熱

1答えて

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

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

0熱

1答えて

チョコ私はチョコソルバーで魔方陣プログラムを解決するため、このコードを見つけ

ソルバー古いクラス： public static void main(String[] args) { int n = 4; System.out.println("Magic Square Problem with n = " + n); Problem myPb = new Problem(); IntVar[] vars = new IntVar[

1熱

1答えて

チョコ流星インストール - カスタマイズ/別のインストール場所

こんにちは私は choco install meteor を使用してチョコと流星をインストールしようとしていると私はそれがC:\Users\yourUserName\AppData\Local\.meteor\にインストールされます理解しています。別のフォルダに直接インストールする方法はありますか。または一度インストールすると、別のフォルダに移動すると良いですか？ありがとうございます！

1熱

1答えて

Chocolatey：アンインストールしたパッケージを再インストールする方法

私のコンピュータ上のソフトウェアをChocolateyで管理しています。アンインストールしたパッケージを再インストールする際に問題が発生しました。私は再インストールしようとしましたが、何も起こりません。以前にアンインストールしたパッケージを再インストールするにはどうしたらいいですか？ choco -y install ruby --version 2.2.4 choco -y uninst

1熱

1答えて

Choco Solverを使用して、Var配列内の少なくとも1つのVarがXと等しい

私はChoco Solverを使用していてint varsの配列が与えられているので、配列内の少なくとも1つのvarが静的値... IntConstraintFactory#countに似ていますが、次のdocと何か： /** * Let N be the number of variables of the VARIABLES collection assigned to value VAL

1熱

1答えて

Choco Sat定式化

Choco 4.0.1を使用してSAT式をモデル化しようとしています。私はdocsを読んで、私はjavadocから理解しようとしていますが、残念ながら私はこれまで失敗しています。これは初めてのこれらのタイプの問題とチョコで働いています。だから、私は何かを非常に明白に求めているかもしれません。私は（各varがBoolVarである）のようなモデルに制約の数を追加する必要が： x <-> (a and

0熱

1答えて

chocoを使用して1つの制約内で複数の変数を合計

私はchocoを使ってCSPを解くことができます。私の制約の1つは、私の5つの変数の合計が10未満です。 2つの変数の和のために、我々は、機能arithm model.arithm(x1,"+",x2,"<",10).post(); を使用することができますが、この方法は、複数の変数を受け入れることができないので、この制約を追加そこの方法は何ですか？