Re: [gecode-users] order in calls to status and commit...

2007-05-29 Thread Luis Quesada
Sébastien Mouthuy wrote: I have another question: posting propagators in the commit function of one Branching is acceptable ? The fact is that I would like to delay a heavy propagator taht does not do a lot of pruning high in the search tree, but is very useful down in the tree. Could you plea

Re: [gecode-users] Using GecodeJ with Eclipse

2007-04-05 Thread Luis Quesada
Guido Tack wrote: Luis Quesada wrote: In order to set java.library.path, I did the following: I went to Run-> Run...-> Java Applicaton-> New ->Arguments -> VM Arguments. I pasted "-Djava.library.path=/usr/local/lib/" to the VM Arguments field. That see

Re: [gecode-users] Using GecodeJ with Eclipse

2007-04-05 Thread Luis Quesada
Guido Tack wrote: Luis Quesada wrote: I have installed the last versions of Gecode and GecodeJ successfully. I am able to run the GecodeJ examples without any problem. Ok, great! I would like to use GecodeJ from Eclipse. As far as I understand, GecodeJ.jar is installed in my system&#

[gecode-users] Using GecodeJ with Eclipse

2007-04-05 Thread Luis Quesada
Dear all, I have installed the last versions of Gecode and GecodeJ successfully. I am able to run the GecodeJ examples without any problem. I would like to use GecodeJ from Eclipse. As far as I understand, GecodeJ.jar is installed in my system's directory for Java extensions ( /usr/lib/j2sdk

Re: [gecode-users] GecodeJ

2007-04-04 Thread Luis Quesada
Guido Tack wrote: Luis Quesada wrote: I am specifying this location: [EMAIL PROTECTED]:/home/luque/GecodeJ/release-1.0.1# ls -l /home/luque/sources/gecode/gecode-1.3.0/misc/*.pc -rw-r--r-- 1 luque luque 323 2006-10-23 11:59 /home/luque/sources/gecode/gecode-1.3.0/misc/gecode-minimodel.pc

Re: [gecode-users] GecodeJ

2007-04-04 Thread Luis Quesada
Guido Tack wrote: Hi! Luis Quesada wrote: I have not installed Gecode in the standard place. In order to tell GecodeJ's configure where to find the libs I am using GECODE_LIBS. ./configure GECODE_LIBS=/home/luque/sources/gecode/gecode-1.3.0 However, configure is still not findin

[gecode-users] GecodeJ

2007-04-04 Thread Luis Quesada
Dear all, I have not installed Gecode in the standard place. In order to tell GecodeJ's configure where to find the libs I am using GECODE_LIBS. ./configure GECODE_LIBS=/home/luque/sources/gecode/gecode-1.3.0 However, configure is still not finding the libraries... Luis _