Activity for JaCoPhttps://sourceforge.net/p/jacop-solver/activity/Recent activity for JaCoPenMon, 17 Jul 2017 05:37:45 -0000kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#7451Hi again, Yes, please use AndBoolVector. AndBoolSimple is only in the solver to define 2-input parameter constraints and to be a little bit more efficient than general n-input parameter AndBoolVector. In most cases it does not matter very much. AndBool is a wrapper that generates either AndBoolSimple or AndBoolVector In the forthcomming release of version 4.5 we define AndBool as a decomposed constraint and therefore it cannot be used as parameter to other constraints (it must be primitive constraint)....krisMon, 17 Jul 2017 05:37:45 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#7451A. M. Grubb posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#346a/3ac4Alright, I can use AndBoolVector in the mean time. Approximately, when is the new version coming out? Thanks for your help diagnosing the problem! AliciaA. M. GrubbSun, 16 Jul 2017 15:18:37 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#346a/3ac4kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#346aHi! You are right. it is a bug in version 4.4. It works with AndBoolSimple but not with AndBool that makes conversion to AndBoolSimple or AndBooVector. However, it should work with AndBoolVector. Thanks for pointing this problem. It is already fixed for the new release. Best, /KriskrisSun, 16 Jul 2017 14:52:03 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#346aA. M. Grubb posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#2908I thought there might be a problem with the automatic conversion between AndBool and AndBoolSimple, so I added an additional variable and I still get the store.consistency() = false. store = new Store(); IntVar L0 = new IntVar(store, "L0", 1, 100); IntVar TA0 = new IntVar(store, "TA0", 0, 0); IntVar[] links = new IntVar[3]; links[0] = new IntVar(store, "N0001_0_FS", 0, 0); links[1] = new IntVar(store, "N0002_0_FS", 0, 1); links[2] = new IntVar(store, "N0001_0_FS", 0, 1); IntVar N0000_0_FS = new IntVar(store,...A. M. GrubbSun, 16 Jul 2017 14:38:28 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#2908A. M. Grubb posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#ae46/cb90Yes when I run your code it works as expected. But I am using AndBool not AndBoolSimple. When I run a small varient of your code (see below) I get false. store = new Store(); IntVar L0 = new IntVar(store, "L0", 1, 100); IntVar TA0 = new IntVar(store, "TA0", 0, 0); IntVar[] links = new IntVar[2]; links[0] = new IntVar(store, "N0001_0_FS", 0, 0); links[1] = new IntVar(store, "N0002_0_FS", 0, 1); IntVar N0000_0_FS = new IntVar(store, "N0000_0_FS", 0, 0); store.impose(new IfThen( new XgtY(L0, TA0), new...A. M. GrubbSun, 16 Jul 2017 14:34:08 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#ae46/cb90Radoslaw Szymanek posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#f685Hi, Please use store.print to print all the constraints. It may give you a hint what bad constraints you added to the store that together with the constraints you have already shown may be causing a conflict and a failure. best, RadekRadoslaw SzymanekSat, 15 Jul 2017 18:54:19 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#f685kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#ae46Hi Alicia, I have tried your constraint example and it is satisifed. I used the following code. void ex() { store = new Store(); IntVar L0 = new IntVar(store, "L0", 1, 100); IntVar TA0 = new IntVar(store, "TA0", 0, 0); IntVar N0001_0_FS = new IntVar(store, "N0001_0_FS", 0, 0); IntVar N0002_0_FS = new IntVar(store, "N0002_0_FS", 0, 1); IntVar N0000_0_FS = new IntVar(store, "N0000_0_FS", 0, 0); store.impose(new IfThen( new XgtY(L0, TA0), new AndBoolSimple(N0001_0_FS, N0002_0_FS, N0000_0_FS))); boolean...krisSat, 15 Jul 2017 05:53:54 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#ae46A. M. Grubb modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#ab72Hi Radoslaw, I agree with everything you've written. The problem is that after I add this constraint to the store, store.consistency() returns false. Do you know any reason why store.consistency() would return false? Thanks, AliciaA. M. GrubbFri, 14 Jul 2017 20:49:50 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#ab72A. M. Grubb posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#ab72Hi Radoslaw, I agree with everything you've written. The problem is that after I add this constraint to the store, store.consistency() returns false. Do you know any reason why store.consistency() would returns false? Thanks, AliciaA. M. GrubbFri, 14 Jul 2017 20:49:22 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#ab72Radoslaw Szymanek posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#5e78Hi, XgtY1 : XgtY(L0::{1..100}, TA0 = 0 ) is a satisfied constraint because L0 is certain to be greater than TA0. andBoolSimple([ N0001_0_FS=0, N0002_0_FS::{0..1}], N0000_0_FS=0) is also a satisfied constraint as first argument is 0 and result is 0. The constraint can be satisfied even if result is equal 0. Both of the constraint are satisfied so IfThen should also be satisfied. The fact that N0000_0_FS=0 does not mean that constraint is not satisfied. It is satisfied because result is 0 and one of...Radoslaw SzymanekFri, 14 Jul 2017 20:28:16 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#5e78A. M. Grubb posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#e988I think I have a misunderstanding on how AndBool works (and by extension OrBool). AndBool(IntVar[] a, IntVar result) I think it works where AND(a1, a2, .. an) = result. Can I use it as the "then" component in a IfThen? If (L0 > TA0) Then (AND(a1, a2, .. an) = result) Just AndBool Gives me the results I expect: AndBoolSimple1 : andBoolSimple([ N0001_0_FS=0, N0002_0_FS::{0..1}], N0000_0_FS::{0..1}) AndBool as the result of Then results in conflicting constraints: IfThen1 : IfThen( XgtY1 : XgtY(L0::{1..100},...A. M. GrubbFri, 14 Jul 2017 18:59:03 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/231b275d/?limit=25#e988NicholasH posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#68f3/46ffYes it does, Thanks for your help! Kind regards, NicholasNicholasHThu, 23 Mar 2017 15:01:30 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#68f3/46ffkris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#68f3Your search in the included code searches for the first leagal solution and this...krisThu, 23 Mar 2017 14:57:02 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#68f3NicholasH posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#d20cFirst of all: Thank you for you help! Second: So once you get all solutions, you...NicholasHThu, 23 Mar 2017 14:49:54 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#d20cNicholasH modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#51a9Hello, I'm currently using JaCoP as a graph colorer (which works pretty great), but...NicholasHThu, 23 Mar 2017 14:46:44 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#51a9NicholasH modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#51a9Hello, I'm currently using JaCoP as a graph colorer (which works pretty great), but...NicholasHThu, 23 Mar 2017 14:46:16 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#51a9NicholasH modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#51a9Hello, I'm currently using JaCoP as a graph colorer (which works pretty great), but...NicholasHThu, 23 Mar 2017 14:45:35 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#51a9NicholasH modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#51a9Hello, I'm currently using JaCoP as a graph colorer (which works pretty great), but...NicholasHThu, 23 Mar 2017 14:45:06 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#51a9kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#594eHi! Your question basically addresses the problem of a solution iterator. No, it...krisThu, 23 Mar 2017 14:44:48 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#594eNicholasH posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#51a9Hello, I'm currently using JaCoP as a graph colorer (which works pretty great), but...NicholasHThu, 23 Mar 2017 14:41:33 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8dfe0f5a/?limit=25#51a9kris posted a comment on discussion Open Discussionhttps://sourceforge.net/p/jacop-solver/discussion/1220991/thread/c142ae9b/?limit=25#5e7eYou are right. The comments are incorrect. The first comment that states that it...krisThu, 23 Mar 2017 07:32:12 -0000https://sourceforge.net/p/jacop-solver/discussion/1220991/thread/c142ae9b/?limit=25#5e7eA. M. Grubb posted a comment on discussion Open Discussionhttps://sourceforge.net/p/jacop-solver/discussion/1220991/thread/c142ae9b/?limit=25#998fI think there is an error in the documentation for getSolution(int no). http://jacopapi.osolpro.com...A. M. GrubbWed, 22 Mar 2017 17:51:12 -0000https://sourceforge.net/p/jacop-solver/discussion/1220991/thread/c142ae9b/?limit=25#998fA. M. Grubb posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/17a45e6d/?limit=25#f48f"sat.debug = true;" should be sufficient for now. :) Thanks! AliciaA. M. GrubbWed, 15 Mar 2017 17:30:57 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/17a45e6d/?limit=25#f48fkris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/17a45e6d/?limit=25#fcc2I just checked the code and you can try to do the following. sat.debug = true; This...krisWed, 15 Mar 2017 14:58:11 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/17a45e6d/?limit=25#fcc2A. M. Grubb posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/17a45e6d/?limit=25#60e2/0ffbDid you implement a way to print out the single clause (presumably in CNF)? Thanks,...A. M. GrubbWed, 15 Mar 2017 14:52:39 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/17a45e6d/?limit=25#60e2/0ffbkris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/17a45e6d/?limit=25#60e2Hi! No, there is no way currently to print-out generated clauses to SAT solver. The...krisWed, 15 Mar 2017 14:40:37 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/17a45e6d/?limit=25#60e2A. M. Grubb posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/17a45e6d/?limit=25#264d/e614Hi Kris (or anyone), Is there a way to print out constraints imposed in the SatTranslation?...A. M. GrubbWed, 15 Mar 2017 14:29:29 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/17a45e6d/?limit=25#264d/e614kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#60d9No, it is not a bug. If you comment 'store.consistency();' JaCoP prints "No solution...krisTue, 21 Feb 2017 11:48:59 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#60d9JuhaTee posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#417dI run into a peculiar problem. Is it a bug or is a novice doing something wrong?...JuhaTeeTue, 21 Feb 2017 11:32:53 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#417dJuhaTee posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#569bWorks! Thanks! JuhaJuhaTeeTue, 21 Feb 2017 09:55:56 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#569bJuhaTee posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#e1dcThis helps. I'll try. Thanks! It is clear that wihout non-deterministic guesses propagation...JuhaTeeTue, 21 Feb 2017 09:42:12 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#e1dckris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#5f45Hi Juha! I see you are doing rather complex and non-standrad things. This requires...krisTue, 21 Feb 2017 08:59:55 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#5f45Juha Tiihonen posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#589dI want to propagate consequences of user decisions and examine feasible domains of...Juha TiihonenTue, 21 Feb 2017 08:29:20 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/a56bba38/?limit=25#589dkris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/60d17e07/?limit=25#13b7Hi! You can decompose the constraint as follows. store.impose(new XmodYeqZ(X, Y,...krisSat, 18 Feb 2017 10:03:19 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/60d17e07/?limit=25#13b7Radoslaw Szymanek posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/60d17e07/?limit=25#1387Hi, We divided the constraints into two types Primitive and non-primitive on purpose....Radoslaw SzymanekFri, 17 Feb 2017 17:09:00 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/60d17e07/?limit=25#1387Juha Tiihonen posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/60d17e07/?limit=25#2debI'm testing Jacop as a potential solver for an application in a technical domain....Juha TiihonenFri, 17 Feb 2017 15:59:45 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/60d17e07/?limit=25#2debJuha Tiihonen posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#6215Thanks. This works :-)Juha TiihonenFri, 17 Feb 2017 15:54:41 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#6215kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#afc0It is difficult to answer if I do not know your problem but I propose to make the...krisWed, 15 Feb 2017 15:27:30 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#afc0Juha Tiihonen posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#1361I have a similar need, but scaling does not work - the problems are mainly FD but...Juha TiihonenWed, 15 Feb 2017 15:21:05 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#1361kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8f94981b/?limit=25#4c69Hi! It might be that your problem is too difficult for JaCoP ;( Regarding floating-poiny...krisTue, 07 Feb 2017 06:55:29 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8f94981b/?limit=25#4c69Ricardo Gusmao posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8f94981b/?limit=25#0ced/450bHi Kris! Quick answer! Thanks in advance! I just tried both suggestions and here...Ricardo GusmaoTue, 07 Feb 2017 01:17:23 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8f94981b/?limit=25#0ced/450bkris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8f94981b/?limit=25#0cedHi! The best approach for SumFloat is to use LinearFloat. If you have the following...krisMon, 06 Feb 2017 07:46:33 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8f94981b/?limit=25#0cedRicardo Gusmao posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8f94981b/?limit=25#23d7Hi all. Have you ever need a "SumFloat" Constraint? I need this constraint for Float...Ricardo GusmaoMon, 06 Feb 2017 04:12:44 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8f94981b/?limit=25#23d7Radoslaw Szymanek posted a comment on discussion Open Discussionhttps://sourceforge.net/p/jacop-solver/discussion/1220991/thread/d00be4fd/?limit=25#4ec5The assignment constraint was created with expectation that arrays of x and d are...Radoslaw SzymanekTue, 10 Jan 2017 16:26:26 -0000https://sourceforge.net/p/jacop-solver/discussion/1220991/thread/d00be4fd/?limit=25#4ec5kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0f21a924/?limit=25#f1fcThe algorithm for labeling is DFS (Depth First Search). If you use cost function...krisWed, 21 Dec 2016 07:47:10 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0f21a924/?limit=25#f1fcMaxat posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0f21a924/?limit=25#f19bThanks Kris! And what is the algorithm used in search.labeling? Somehow "search.labeling"...MaxatWed, 21 Dec 2016 05:47:59 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0f21a924/?limit=25#f19bkris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0f21a924/?limit=25#86a5The algorithm follows the idea of the Algorithm 1 presented in @article{DBLP:journals/tcad/AbderrahmanCK99,...krisTue, 20 Dec 2016 07:39:28 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0f21a924/?limit=25#86a5Maxat posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0f21a924/?limit=25#eca8Hello, What is the name of the algorithm used by Optimize function? For ex.: DepthFirstSearch...MaxatMon, 19 Dec 2016 22:23:59 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0f21a924/?limit=25#eca8kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#5c7eHi! Basically you should decmopose the equations into simpler constraints using additional...krisFri, 16 Dec 2016 09:46:04 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#5c7eMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatFri, 16 Dec 2016 01:51:50 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatThu, 15 Dec 2016 19:30:50 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatThu, 15 Dec 2016 19:30:41 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatThu, 15 Dec 2016 19:30:32 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatThu, 15 Dec 2016 19:30:20 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatThu, 15 Dec 2016 19:29:59 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatThu, 15 Dec 2016 19:29:49 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatThu, 15 Dec 2016 19:29:40 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatThu, 15 Dec 2016 19:29:27 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatThu, 15 Dec 2016 19:29:04 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: DPM(I,S)= Equation...MaxatThu, 15 Dec 2016 19:27:10 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: Equation | Condition...MaxatThu, 15 Dec 2016 19:26:22 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: DPM(I,S)= Equation...MaxatThu, 15 Dec 2016 19:25:16 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: DPM(I,S)= 123+213I+312hd(I,S)...MaxatThu, 15 Dec 2016 19:22:47 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: DPM(I,S)= 123+213I+312hd(I,S)...MaxatThu, 15 Dec 2016 19:22:27 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: DPM(I,S)=( 123+213I+312hd(I,S)...MaxatThu, 15 Dec 2016 19:20:49 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deMaxat posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deHello, I am trying to represent following equation as constraints: 123+213I+312hd(I,S)...MaxatThu, 15 Dec 2016 19:16:59 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/6269d243/?limit=25#e7deA. M. Grubb posted a comment on discussion Open Discussionhttps://sourceforge.net/p/jacop-solver/discussion/1220991/thread/e2157a85/?limit=25#bc26/d0a8Thank you!A. M. GrubbTue, 22 Nov 2016 13:29:10 -0000https://sourceforge.net/p/jacop-solver/discussion/1220991/thread/e2157a85/?limit=25#bc26/d0a8kris posted a comment on discussion Open Discussionhttps://sourceforge.net/p/jacop-solver/discussion/1220991/thread/e2157a85/?limit=25#bc26Yes, you are right. There is a bug in method toString in And class (constraint)....krisTue, 22 Nov 2016 06:50:49 -0000https://sourceforge.net/p/jacop-solver/discussion/1220991/thread/e2157a85/?limit=25#bc26A. M. Grubb posted a comment on discussion Open Discussionhttps://sourceforge.net/p/jacop-solver/discussion/1220991/thread/e2157a85/?limit=25#5518I think there may be an error in the printing of constraints. I seem to be missing...A. M. GrubbMon, 21 Nov 2016 21:10:40 -0000https://sourceforge.net/p/jacop-solver/discussion/1220991/thread/e2157a85/?limit=25#5518kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#29b7Yes. /KriskrisThu, 10 Nov 2016 14:04:33 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#29b7niu zhaojie posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#7dcf/28bdDo you mean that I do not need to do this kind of check (==0) in the XdivY constraint...niu zhaojieThu, 10 Nov 2016 13:58:16 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#7dcf/28bdkris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#7dcfXdivY(X, Y, temp) IfThenElse(Y > 0, Z = temp, Z = 0) /KriskrisThu, 10 Nov 2016 11:07:54 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#7dcfniu zhaojie posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#9521/0103IfThenElse(Y > 0, XdivYeqZ(X, Y, Z), Z = 0) How to implement with your mentioned...niu zhaojieThu, 10 Nov 2016 07:27:35 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#9521/0103kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#9521Use temporary variable temp and do the following XdivYeqZ(X, Y, temp) and then you...krisThu, 10 Nov 2016 07:05:02 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#9521niu zhaojie posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#8fa2Dear All: IfThenElse(c1, c2, c3) only supports Primitive Constraint. If I what to...niu zhaojieThu, 10 Nov 2016 05:09:35 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/e9a50cfa/?limit=25#8fa2niu zhaojie posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#20cc/1745Thanksniu zhaojieThu, 10 Nov 2016 05:05:50 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#20cc/1745kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#20ccMy suggestion si to use IntVar only. Instead of FloatVar use "scaled" IntVar (by...krisWed, 09 Nov 2016 07:47:29 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#20cckris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#635eOne way to avoid FloatVar is to use IntVar by scaling FloatVar by factor 10, for...krisWed, 09 Nov 2016 07:45:30 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#635eniu zhaojie posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#730fDear All: In my problem, actually my variables consis of both FloatVar and IntVar....niu zhaojieWed, 09 Nov 2016 07:15:56 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/8c320541/?limit=25#730fniu zhaojie modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#f2b6Dear All: My search space is very huge. Therefore, the recusive method calls may...niu zhaojieWed, 09 Nov 2016 06:57:18 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#f2b6niu zhaojie modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#f2b6Dear All: My search space is very huge. Therefore, the recusive method calls may...niu zhaojieWed, 09 Nov 2016 06:20:34 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#f2b6niu zhaojie modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#f2b6Dear All: My search space is very huge. Therefore, the recusive method calls may...niu zhaojieWed, 09 Nov 2016 06:19:16 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#f2b6niu zhaojie modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#f2b6Dear All: My search space is very huge. Therefore, the recusive method calls may...niu zhaojieWed, 09 Nov 2016 06:12:53 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#f2b6niu zhaojie posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#f2b6My search space is very huge. Therefore, the recusive method calls may cause the...niu zhaojieWed, 09 Nov 2016 06:12:33 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/5cc9a08c/?limit=25#f2b6Aigul posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/3f3d2a7c/?limit=25#77bdThank you! Now it works.AigulFri, 04 Nov 2016 08:25:50 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/3f3d2a7c/?limit=25#77bdkris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/3f3d2a7c/?limit=25#886fAdd search.getSolutionListener().recordSolutions(true); before startting search,...krisFri, 04 Nov 2016 07:31:27 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/3f3d2a7c/?limit=25#886fAigul posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/3f3d2a7c/?limit=25#4b18Hello! If it doesn't take much time, could you look at an error in my program? I've...AigulFri, 04 Nov 2016 05:53:52 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/3f3d2a7c/?limit=25#4b18kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/cbd19744/?limit=25#dc55Hi! Unfortunatley, I do not have time to look more carefully at your example but...krisMon, 31 Oct 2016 17:24:35 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/cbd19744/?limit=25#dc55John Walker posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/cbd19744/?limit=25#1e80Hi, At the beggining sorry for bothering you again. Unfortunately I've came to point...John WalkerMon, 31 Oct 2016 17:17:52 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/cbd19744/?limit=25#1e80John Walker modified a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#a520Thank you. You were totally right it's answer which allows me to implement power,...John WalkerWed, 26 Oct 2016 18:49:20 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#a520John Walker posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#a520Thank you. You were totally right it's answer which allows me to implement power,...John WalkerWed, 26 Oct 2016 18:46:54 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#a520John Walker posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#1934Thank you. You were totally right it's answer which allows me to implement power,...John WalkerWed, 26 Oct 2016 18:46:51 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#1934kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#39f7First, I encode v1^v2 = v3 in JaCoP minzinc compiler as FloatVar tmp1 = new FloatVar(store,...krisMon, 17 Oct 2016 06:22:22 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#39f7John Walker posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#e0b5Hi ! I keep trying achieve that, but still can't find solution. Let's say point is...John WalkerMon, 17 Oct 2016 00:44:29 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#e0b5Vitaliy Semochkin posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0988ae61/?limit=25#7cc5Hello Kris, Thank you very much for the lighting fast response! I've double checked...Vitaliy SemochkinMon, 26 Sep 2016 18:35:37 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0988ae61/?limit=25#7cc5kris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0988ae61/?limit=25#6632Hi! You should not receive solutions with different value of m variable but you may...krisMon, 26 Sep 2016 12:12:02 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0988ae61/?limit=25#6632Vitaliy Semochkin posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0988ae61/?limit=25#a41dHi, Can someone please explain why cost variable (m) value depends on the select...Vitaliy SemochkinMon, 26 Sep 2016 11:54:46 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/0988ae61/?limit=25#a41dkris posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#199dHi! I mean that it can be coded as x = log_a(y). Since log with base a does not exist...krisWed, 14 Sep 2016 06:04:36 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/9a005153/?limit=25#199dMoritz Fey posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/88a151b7/?limit=25#4069Thank you very much for your responses! I'm looking into your recommendations. Best...Moritz FeyTue, 13 Sep 2016 09:26:27 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/88a151b7/?limit=25#4069Radoslaw Szymanek posted a comment on discussion Helphttps://sourceforge.net/p/jacop-solver/discussion/1220992/thread/88a151b7/?limit=25#0d9cHi, I would recommend checking Gates example from JaCoP library. https://github.com/radsz/jacop/blob/master/src/main/java/org/jacop/examples/fd/Gates.java...Radoslaw SzymanekThu, 08 Sep 2016 17:05:59 -0000https://sourceforge.net/p/jacop-solver/discussion/1220992/thread/88a151b7/?limit=25#0d9c