A. M. Grubb

Alright, I can use AndBoolVector in the mean time. Approximately, when is the new version coming out? Thanks for your help diagnosing the problem! Alicia

I 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,...

Yes 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...

Hi 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, Alicia

Hi 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, Alicia

I 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},...

I think there is an error in the documentation for getSolution(int no). http://jacopapi.osolpro.com...

"sat.debug = true;" should be sufficient for now. :) Thanks! Alicia