choco

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(); を使用することができますが、この方法は、複数の変数を受け入れることができないので、この制約を追加そこの方法は何ですか？

1熱

1答えて

代入値の制限 - Choco

変数の特定の値の代入数を制限する方法はありますか？私はChoco [4.0.1]でコース、教師、タイムスロットを使ってスケジュール問題を書いています。同じ教師が多くのコースを教えることができ、教えることができるコースの量を定義する必要があります。私は教師Bが12 hours (12 timeslots)を動かすことができるように、タイムスロットの数を数えることを考えていたので、arithm()の

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}}; ：例えば、私は構成の次のリストを持っている場

-1熱

2答えて

Choco Solver数式表現の生成

Choco solverを使用して、いくつかの制約を満たす数学的問題を生成するJavaプログラムを作成します。、 xy & zは、そのうちの一つが、2桁の長さと正の整数ではなく、互いに必ずしも異なる、以下のとおりです。 x @ y ∆ z = r ：問題は次の形式を取らなければなりません他の2桁は1桁の長さです。 @ & ∆は、演算子+、されている - の」私はこれらの数学の問題を生成した

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[