.se
From: Drescher, Conrad [mailto:conrad.dresc...@sap.com]
Sent: Monday, March 13, 2017 13:14
To: cschu...@kth.se; users@gecode.org
Subject: RE: [gecode-users] Question on IntVar-equalities with and without
MiniModel
Hi Christian,
thanks a lot, that looks very good! For us, I dont se
rz 2017 09:41
To: Drescher, Conrad mailto:conrad.dresc...@sap.com>>;
users@gecode.org<mailto:users@gecode.org>
Subject: RE: [gecode-users] Question on IntVar-equalities with and without
MiniModel
Hmmm, not that straightforward. There are two ideas here:
- One idea would be tha
E SICS, <mailto:christian.schu...@ri.se>
christian.schu...@ri.se
From: Drescher, Conrad [mailto:conrad.dresc...@sap.com]
Sent: Monday, March 13, 2017 10:22
To: users@gecode.org
Cc: cschu...@kth.se
Subject: RE: [gecode-users] Question on IntVar-equalities with and without
MiniModel
Hi Christian,
I
prohibited. Please inform us immediately and destroy the original transmittal.
Thank you for your cooperation.
From: Christian Schulte [mailto:cschu...@kth.se]
Sent: Montag, 13. März 2017 09:41
To: Drescher, Conrad ; users@gecode.org
Subject: RE: [gecode-users] Question on IntVar-equalities
Expert Researcher, RISE ICT/SICS, <mailto:cschu...@sics.se>
cschu...@sics.se
From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf
Of Drescher, Conrad
Sent: Friday, March 10, 2017 09:47
To: users@gecode.org
Subject: [gecode-users] Question on IntVar-equalities with
Hi there,
I have a question on the "equal" constraint between two IntVars, let's say x0
with domain [1,3,5], and x1 with domain [Int::Limits::min..Int::Limits::max].
If I write rel(home,x0,IRT_EQ,x1); x1 gets restricted to [1,3,5] as IRT_EQs
default propagation level is IPL_DOM. But if I write
