TED]; [EMAIL PROTECTED]
Subject: Re: [gecode-users] Linear expressions in 'post'
Dear Christian,
Thanks for the quick reply. I have suspected that Peter Stuckey's and
Warwick's paper was somehow involved :)
I've noticed that you also have Boolean expressions
(Gecode::MiniModel
w.ict.kth.se/~cschulte/
>
>
> -Original Message-
> From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
> Of Andrea Rendl
> Sent: Monday, August 18, 2008 3:15 PM
> To: [EMAIL PROTECTED]; [EMAIL PROTECTED]
> Subject: [gecode-users] Linear expressions in 'post
AIL PROTECTED] On Behalf
Of Andrea Rendl
Sent: Monday, August 18, 2008 3:15 PM
To: [EMAIL PROTECTED]; [EMAIL PROTECTED]
Subject: [gecode-users] Linear expressions in 'post'
Dear Gecoders,
I've noticed that Gecode is very effective with solving linear
expressions (Gecode::MiniMod
Dear Gecoders,
I've noticed that Gecode is very effective with solving linear
expressions (Gecode::MiniModel::LinExpr) given in the 'post'
constraint. I was wondering how you deal with them internally. I guess
you build some kind of expression tree from the linear expression and
then map the tree
