Sent: Tuesday, January 29, 2013 12:08 PM
To: Guido Tack
Cc: gecode user list
Subject: Re: [gecode-users] splitting branching in full enumeration and
first-fail check
Hi Guido,
mhh... that was my gut feeling when reading the assign documentation. So it
basically does not really do a search for solution
Hi Guido,
mhh... that was my gut feeling when reading the assign documentation. So
it basically does not really do a search for solutions but just assigns
the (first) variable, does propagation, continues with the remaining
variables until all are assign or no solution is found...
no, that's
--
>> Christian Schulte, www.ict.kth.se/~cschulte/
>>
>>
>> -Original Message-----
>> From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On
>> Behalf Of Martin Mann
>> Sent: Sunday, January 27, 2013 12:09 PM
>> To: gecode user
: Monday, January 28, 2013 10:36 AM
To: 'gecode user list'
Subject: Re: [gecode-users] splitting branching in full enumeration and
first-fail check
Great! Thanks Christian!
Had a look into MPG yesterday but somehow skipped it.. Thanks for the help
and exactly the piece of code I was l
, www.ict.kth.se/~cschulte/
-Original Message-
From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf
Of Martin Mann
Sent: Sunday, January 27, 2013 12:09 PM
To: gecode user list
Subject: [gecode-users] splitting branching in full enumeration and
first-fail check
Dear Gecoders
--
Christian Schulte, www.ict.kth.se/~cschulte/
-Original Message-
From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf
Of Martin Mann
Sent: Sunday, January 27, 2013 12:09 PM
To: gecode user list
Subject: [gecode-users] splitting branching in full enumeration and
Dear Gecoders,
I am working on a small problem where the CSP variables are split into
two subsets A and B.
For set A, a full enumeration of all valid assignments is wanted while
for set B a single check for a valid assignment is sufficent.
Some years ago with Gecode 1.3 I wrote my own bran
