Gecode

Hi, Nobody read this or nobody can give some advice ? May be the question was not clear enough ? Not

Hello, I have 2 comments: 1) There may be a problem in your copy constructor 2) why do you use a

Hi, As I mentioned initially, this is quite a large undertaking, as one would have to change all

Hi, This is called the element constraint. See https://www.gecode.org/doc-latest/reference/

Allow me to make some clarifications: I have class attributes that are not Gecode types (std::map of

Any hint ? I can use RBS but it's a bad workaround... Le lundi 5 juin 2023 à 10:50:22 UTC+2,

The following model has one solution, but fzn-gecode reports an error. include "globals.mzn

The following model is unsat, but fzn-gecode finds several wrong solutions: var -5 .. 5: A; var -5 ..

Other solvers do not have such a restriction. $ cat /tmp/latest.mzn include "globals.mzn";

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