Gecode

The following model outputs one solution and then hangs if you run it with minizinc -a: include

Here is a model that produces two solutions, one right, one wrong. include "globals.mzn";

HI Mats, I can indeed see the same behaviour, and it disappears when - ":: domain" is

Hi, Great thanks for your answer. I will try to use RBS. I also wondered why a sequential portfolio

PS - and now I noticed that the HTML docs actually use the implication symbol instead of "<=

Update : I managed to make it work by using the --enable-framework target with the configure script.

Perfect, I will compile a new version of Gecode. Than you for the clarification. Il giorno mercoledì

Thanks Jip and Mikael for your responses! We will give it a go and see what happens. Best regards

hi, You can use the modelling support to write out the whole expression. See for example the

Hi Filip Massive thanks, I finally got it working, you was right on the clean build too. In the end I

Hi, Thank you for this expertise. It basically corresponds to what I imagined and I think it can

Hi, Yes, that is a relevant question. The easy answer is to use the constraint dom(home, x0, SRT_NQ,

Hi all, Fortunately, the renewal went well so the site is reachable again. As mentioned, we hope to

HI, It is quite common to have shared data-structures in Gecode for data that never changes. Read

Hi, While I can't say anything about your particular use-case without seeing the model, float

Hi John, While Gecode has support for standard cost-variable optimization via eg IntMinimizeSpace,

I realized this is the wrong place to report this, I will open a git issue soon. Apologies, this

Hi, If you have a Space you can run propagation on it by calling the Space::status() function. no

Hi, Changing the Space in the choice-function is not viable for a multitude of reasons. Please read

On Mon, May 23, 2022 at 4:07 PM Craig Walker <craig.j...@gmail.com> wrote: > we have an

Hi Mats, You are quite correct in that posting may add some memory overhead to a Gecode Space. The

Hi, I had this discussion with Christian (search the keyword Pareto in this Google's group). He

Thanks, I will try 6.3.0. On Friday, April 22, 2022 at 3:08:55 PM UTC+3 Mikael Zayenz Lagerkvist

Hi, While it would in principle be possible to give the exact delta on all changes, this would

Thanks Conrad, I see that I have to update my source code because some parameters have changed in the

Dear Gecode team. I met a strange situation when i run the sample code of car-sequencing. it behaves

Hi, I think the first thing is to specify what you actually mean and/or want with depth in the search

Hi Filip, As you correctly guessed, the Region allocator (which is used _a lot_ in Gecode) was a

Hallo! Thanks for your effort! I managed to build my application nonetheless. I was wrongly assuming

Hi, Sorry, I didn't see your message previously, so very late answer. MiniZinc models are