Re: [gecode-users] propagators on auxiliary variables

2009-03-17 Thread Andrea Rendl
ayenz Lagerkvist : > Hi Andrea, > > I don't fully understand what you problem is. Could you perhaps send > some small example that exhibits the strange behaviour that you are > seeing? > > Cheers, > Mikael > > On Tue, Mar 17, 2009 at 2:00 PM, Andrea Rendl wrote: >> H

[gecode-users] propagators on auxiliary variables

2009-03-17 Thread Andrea Rendl
Hi all, I hope someone can help me with a problem with propagators on auxiliary variables - I couldn't find any related thread in the mailing list. In my problem class, I have one main decision variable array and a set of auxiliary variable arrays (IntVarArrays and BoolVarArrays). I post propagat

Re: [gecode-users] optimising with 'constrain'

2008-09-05 Thread Andrea Rendl
xample. > > Cheers, > Guido > > Andrea Rendl wrote: > >> Hello everybody, >> >> I'm trying to minimise a variable in my problem instance by adding the >> following method (as member of my problem class that inherits from >> Example

Re: [gecode-users] Linear expressions in 'post'

2008-08-18 Thread Andrea Rendl
traint representation}, > journal = {Constraints}, > volume = {7}, > pages ={173--207}, > year = {2003}, > } > > Please do not hesitate to ask if you have more questions. > > Cheers > Christian > > -- > Christian Schulte, ww

[gecode-users] Linear expressions in 'post'

2008-08-18 Thread Andrea Rendl
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

[gecode-users] compiling problem examples

2008-08-12 Thread Andrea Rendl
Hello everyone, I can execute the problems in the examples directory but cannot compile their source code (on Linux): g++ cannot find included header files, such as examples/support.hh. Both $LD_LIBRARY_PATH and $LIBRARY_PATH include the root directory of Gecode (where the .so files and the examp