Re: [gecode-users] problem with gecode 3.0

2009-03-23 Thread Christian Schulte
To: us...@gecode.org Subject: [gecode-users] problem with gecode 3.0 Hi, I'm getting some weird solutions from a problem I'm solving with gecode 3.0 that i don't when i use gecode 2.2. There is a simplified version of the problem where i've isolated the specific situation i

Re: [gecode-users] problem with gecode 3.0

2009-03-23 Thread Christian Schulte
hulte/ -Original Message- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Alberto Delgado Sent: Monday, March 16, 2009 10:24 AM To: us...@gecode.org Subject: [gecode-users] problem with gecode 3.0 Hi, I'm getting some weird solutions from a problem I'

Re: [gecode-users] problem with gecode 3.0

2009-03-18 Thread Christian Schulte
hulte, www.it.kth.se/~cschulte/ -Original Message- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Alberto Delgado Sent: Monday, March 16, 2009 10:24 AM To: us...@gecode.org Subject: [gecode-users] problem with gecode 3.0 Hi, I'm getting some weird solutions from

[gecode-users] problem with gecode 3.0

2009-03-16 Thread Alberto Delgado
Hi, I'm getting some weird solutions from a problem I'm solving with gecode 3.0 that i don't when i use gecode 2.2. There is a simplified version of the problem where i've isolated the specific situation in the attached files. Basically, what the problem does is to determine whether there is any