[gecode-users] Strange behavior of BAB search with the function CONSTRAIN

Dear Gecode developers, we are using the BAB search with the function "constrain", to implement a cutting-plane search algorithm, and we have noticed a strange behavior. At some point of the search we need to add a constrain on the Space we are exploring and we use the function void constrai

Re: [gecode-users] Strange behavior of BAB search with the function CONSTRAIN

Dear Raffaele, this behaviour is due to a bug in your code, or rather, due to a misunderstanding how the constrain function works. Constrain must post a constraint that states that all solutions found from now on are "better" than the one we just discovered. In your code, you only make s

[gecode-users] Benchmarks

Hello, What did you use to measure the time and memory consumption in Mozart Oz for the Benchmark examples? Thanks -- Mauricio Toro Bermudez Estudiante de Ingeniería de Sistemas Pontificia Universidad Javeriana, Colombia Stagiare à l'Ircam 1, place Igor-Stravinsky 75004 Paris, France de 200

Re: [gecode-users] Benchmarks

Mauricio Toro wrote: What did you use to measure the time and memory consumption in Mozart Oz for the Benchmark examples? We just used {Property.get time} and coded the computation of time difference as well as the loops (for executing benchmarks several times) in Mozart. For memory, we us