constraint-programming

-2熱度

1回答

請別人幫我這個錯誤謝謝，我使用JaCoP圖書館， It'sa運輸的問題，我需要找到它的約束規劃 Exception in thread "main" java.lang.NullPointerException at JaCoP.core.IntVar.singleton(IntVar.java:378) at JaCoP.core.IntVar.putModelConstra

2熱度

1回答

取決於MSF決策的參數

在Microsoft Solver Foundation中，我想知道是否可以添加一個參數，其值取決於決策值。 I.e.我想要TSP模型的一些東西，但它也應該考慮從一點到另一點的流量。請注意：流量取決於銷售人員在該路線上行駛的時間。這裏是模型：我有一個城市之間所有可能組合的矩陣。決策變量是銷售人員路線的Order。 0是第一個，1秒，... 我有一個屬性timeToTravel這是綁定到一個屬

0熱度

1回答

變量求和

如何在約束編程語言ECLiPSe（http://www.eclipseclp.org/examples/）中進行變量求和？我試圖得到這個功能： :- lib(ic). % include the standard interval constraint library :- lib(branch_and_bound). % include the branch and bound libr

0熱度

1回答

Eclipse約束編程 - 搜索/ 6

我無法在eclipse約束編程框架中瞭解有關搜索/ 6函數的this文檔。我知道選擇參數基本上影響價值排序。它也似乎選擇方法選擇變量排序，但我不完全理解它的所有選項。我不太瞭解其他參數，所以我想知道是否有人可以用文字解釋它們。我對約束邏輯編程理論有很好的理解，所以請隨時參考這些概念。我只是不明白了很多CS行話該文件（元數等）謝謝

1熱度

2回答

MiniZinc，Gecode去除溶液分離

我有一個minizinc模型，我想找到所有的解決方案（我用gecode）然後打印統計，這是很容易： mzn-gecode -as foo.mzn 但這種模式會產生數以千計的解決方案和隔板打印每個溶液： ---------- ---------- ---------- ---------- ========== 我需要刪除這些分離器和僅打印統計數據。有沒有辦法？ == ==更新

1熱度

2回答

在java中約束編程

如何開發一個高效的約束作業調度？調度應包括下列方法： startBeforeEndOf(Job j) startAfterEndOf(Job j) startBeforeStartOf(Job j) startAfterStartOf(Job j) endBeforeEndOf(Job j) endAfterEndOf(Job j) endBeforeStartOf(Job j)

2熱度

1回答

如何在Z3py中爲函數賦值（斷言）值？

我想請問，如何將以下Z3約束轉換爲Z3py（Python API）。 (declare-datatypes() ((S a b c d e f g))) (declare-fun fun1 (S) Bool) (declare-fun fun2 (S S) Bool) (assert (forall ((x S)) (= (fun1 x) (

0熱度

3回答

如何識別由prolog查詢指定的算術表達式中涉及的不等式？

我在序言的工作，面對這種情況 - 我的查詢中，我通過這樣的事情： ?- query(2*X + 3*Y >= 3*Z) 現在，我想這樣做是有序言程序捕獲不等式讓我可以在變量上述不等式象下面這樣：變量「Lhs」將有2*X + 3*Y 變量「Rhs」將有3*Z 現在我想參與到也某處分配不均（在一個名爲OPR？變量），這樣說如Lhs Opr Rhs的意思完全像是說「2*X + 3*Y >= 3*

0熱度

1回答

創建使用統一術語機械臂在序言

延遲約束這在序言中我的算術不等式： 2*X + 3*Y > 4*Z 我用了統一用語手是這樣的： Expr =.. [Op, Lhs, Rhs] 現在我有Lhs = 2*X + 3*Y, Rhs as 4*Z and Op as > 一切都很好，直到現在。我想要的是使用Eclipse Prolog中的IC庫爲此表達式構建延遲目標。例如，我想新創建的變量來分配這樣的： Eq = (Lhs

1熱度

3回答

非確定性CSP編程工具？

嗨，我需要一個非確定性的約束滿足問題工具，因爲我需要不同的解決方案和相同的問題輸入。有人知道這個特點的工具嗎？我只知道像Gecode（C++），Choco（Java）和Curry（Haskell）這樣的工具，我認爲它們是以確定性方式工作的。