我要解決具有離散值的非線性多變量方程像這樣的： x*y + z + t - 10 = 0
與約束： 10 < x < 100
等。 我我試圖用Choco圖書館來做，但我有點失落。 我發現這個代碼： // 1. Create a Solver
Solver solver = new Solver("my first problem");
// 2. Create vari
我想模擬與喬科的問題，以獲得網球賽事（或任何運動）中可能的比賽的組合。 我試圖做到這一點，我有以下方式： // Set of timeslots when the event is held (i.e. 10am-10pm)
int nTimeslots = 12;
// Courts available: court #1, #2 and #3
int nCourts = 3;
St
我正嘗試在choco中移植minizinc模型。我知道如何定義變量和其他基本的東西，但儘管閱讀了教程和一些代碼示例，但我在定義一些不重要的約束時遇到了一些麻煩。 有人可以給我一些建議如何翻譯下面的代碼（只是z）在巧克力求解風格？ array[1..n,1..n] of int: c;
array[1..n] of var 0..10: next;
var 0..sum(c): z = sum
我正在使用Choco求解器並給定了一個int變量數組，我想要一個約束來檢查數組中的至少一個var是否等於靜態值......類似IntConstraintFactory#count但有下列文檔 東西： /**
* Let N be the number of variables of the VARIABLES collection assigned to value VALUE;
* Enfo
我想提出一個CSP求解，計算這樣一個特定問題的所有組合子解決方案（簡稱放）： // Say we are in a Solver class
public void solve() {
// find solution...
}
// This would be in a Problem class
problem.getSolver().solve();
有一個很好的機會