Groups
Sign in
Groups
Gecode
Conversations
About
Send feedback
Help
Gecode
Contact owners and managers
1–30 of 135
Welcome to the Gecode Users Group!
Please
check previous discussions
before you ask!
Please focus on
questions specific to Gecode
. For general questions about constraint programming more suitable forums exist.
Mark all as read
Report group
0 selected
marcus...@gmail.com
2
Apr 5
Use of INT_VAR_MERIT_MAX and INT_VAL
Hi, Nobody read this or nobody can give some advice ? May be the question was not clear enough ? Not
unread,
Use of INT_VAR_MERIT_MAX and INT_VAL
Hi, Nobody read this or nobody can give some advice ? May be the question was not clear enough ? Not
Apr 5
Albert Canyelles
,
Marcus Vilain
2
7/13/23
Getting "segmentation fault" when modeling a sparse matrix
Hello, I have 2 comments: 1) There may be a problem in your copy constructor 2) why do you use a
unread,
Getting "segmentation fault" when modeling a sparse matrix
Hello, I have 2 comments: 1) There may be a problem in your copy constructor 2) why do you use a
7/13/23
Vijaya Krishna Kasula (Vijju)
,
Mikael Zayenz Lagerkvist
4
7/5/23
Is there a way to change the Int::Limits::min and Int::Limits::max
Hi, As I mentioned initially, this is quite a large undertaking, as one would have to change all
unread,
Is there a way to change the Int::Limits::min and Int::Limits::max
Hi, As I mentioned initially, this is quite a large undertaking, as one would have to change all
7/5/23
Vijaya Krishna Kasula (Vijju)
,
Mikael Zayenz Lagerkvist
2
7/5/23
IntVar as index in constraints
Hi, This is called the element constraint. See https://www.gecode.org/doc-latest/reference/
unread,
IntVar as index in constraints
Hi, This is called the element constraint. See https://www.gecode.org/doc-latest/reference/
7/5/23
marcus...@gmail.com
2
6/30/23
Saving arguments during variable selection
Allow me to make some clarifications: I have class attributes that are not Gecode types (std::map of
unread,
Saving arguments during variable selection
Allow me to make some clarifications: I have class attributes that are not Gecode types (std::map of
6/30/23
marcus...@gmail.com
2
6/30/23
Sequential Portfolio and Search options
Any hint ? I can use RBS but it's a bad workaround... Le lundi 5 juin 2023 à 10:50:22 UTC+2,
unread,
Sequential Portfolio and Search options
Any hint ? I can use RBS but it's a bad workaround... Le lundi 5 juin 2023 à 10:50:22 UTC+2,
6/30/23
Mats Carlsson
6/24/23
fzn-gecode, inverse, missing solution
The following model has one solution, but fzn-gecode reports an error. include "globals.mzn
unread,
fzn-gecode, inverse, missing solution
The following model has one solution, but fzn-gecode reports an error. include "globals.mzn
6/24/23
Mats Carlsson
6/24/23
fzn-gecode, mod, wrong solutions
The following model is unsat, but fzn-gecode finds several wrong solutions: var -5 .. 5: A; var -5 ..
unread,
fzn-gecode, mod, wrong solutions
The following model is unsat, but fzn-gecode finds several wrong solutions: var -5 .. 5: A; var -5 ..
6/24/23
Mats Carlsson
6/23/23
fzn-gecode aborts on aliased variables
Other solvers do not have such a restriction. $ cat /tmp/latest.mzn include "globals.mzn";
unread,
fzn-gecode aborts on aliased variables
Other solvers do not have such a restriction. $ cat /tmp/latest.mzn include "globals.mzn";
6/23/23
Mats Carlsson
4/28/23
FlatZinc interpreter, sort+element, hangs
The following model outputs one solution and then hangs if you run it with minizinc -a: include
unread,
FlatZinc interpreter, sort+element, hangs
The following model outputs one solution and then hangs if you run it with minizinc -a: include
4/28/23
Mats Carlsson
4/27/23
FlatZinc interpreter, table, wrong solution
Here is a model that produces two solutions, one right, one wrong. include "globals.mzn";
unread,
FlatZinc interpreter, table, wrong solution
Here is a model that produces two solutions, one right, one wrong. include "globals.mzn";
4/27/23
Mats Carlsson
,
Mikael Zayenz Lagerkvist
2
4/27/23
FlatZinc interpreter, global cardinality, missing solutions
HI Mats, I can indeed see the same behaviour, and it disappears when - ":: domain" is
unread,
FlatZinc interpreter, global cardinality, missing solutions
HI Mats, I can indeed see the same behaviour, and it disappears when - ":: domain" is
4/27/23
marcus...@gmail.com
,
Mikael Zayenz Lagerkvist
3
2/16/23
Use of Portfolio
Hi, Great thanks for your answer. I will try to use RBS. I also wondered why a sequential portfolio
unread,
Use of Portfolio
Hi, Great thanks for your answer. I will try to use RBS. I also wondered why a sequential portfolio
2/16/23
Yuri Gribov
,
Filip Konvička
3
1/27/23
Potential inconsistency in MPG and docs
PS - and now I noticed that the HTML docs actually use the implication symbol instead of "<=
unread,
Potential inconsistency in MPG and docs
PS - and now I noticed that the HTML docs actually use the implication symbol instead of "<=
1/27/23
dam14s
3
1/24/23
Compiling and installing Gecode on M1Pro Mac
Update : I managed to make it work by using the --enable-framework target with the configure script.
unread,
Compiling and installing Gecode on M1Pro Mac
Update : I managed to make it work by using the --enable-framework target with the configure script.
1/24/23
Fabio Tardivo
,
Mikael Zayenz Lagerkvist
5
11/2/22
About Cumulative Propagators
Perfect, I will compile a new version of Gecode. Than you for the clarification. Il giorno mercoledì
unread,
About Cumulative Propagators
Perfect, I will compile a new version of Gecode. Than you for the clarification. Il giorno mercoledì
11/2/22
Conrad Drescher
, …
Jip Dekker
4
10/27/22
Static lib on Windows?
Thanks Jip and Mikael for your responses! We will give it a go and see what happens. Best regards
unread,
Static lib on Windows?
Thanks Jip and Mikael for your responses! We will give it a go and see what happens. Best regards
10/27/22
Omer Brandis
,
Mikael Zayenz Lagerkvist
3
9/29/22
howto define relation a > b+c (C ++ interface)
hi, You can use the modelling support to write out the whole expression. See for example the
unread,
howto define relation a > b+c (C ++ interface)
hi, You can use the modelling support to write out the whole expression. See for example the
9/29/22
Mikael Zayenz Lagerkvist
, …
Craig Walker
6
7/15/22
Re: [gecode] Building DLL on windows
Hi Filip Massive thanks, I finally got it working, you was right on the clean build too. In the end I
unread,
Re: [gecode] Building DLL on windows
Hi Filip Massive thanks, I finally got it working, you was right on the clean build too. In the end I
7/15/22
marcus...@gmail.com
,
Mikael Zayenz Lagerkvist
3
7/13/22
Dynamic allocation
Hi, Thank you for this expertise. It basically corresponds to what I imagined and I think it can
unread,
Dynamic allocation
Hi, Thank you for this expertise. It basically corresponds to what I imagined and I think it can
7/13/22
John
,
Mikael Zayenz Lagerkvist
4
7/13/22
Custom branching on set variables
Hi, Yes, that is a relevant question. The easy answer is to use the constraint dom(home, x0, SRT_NQ,
unread,
Custom branching on set variables
Hi, Yes, that is a relevant question. The easy answer is to use the constraint dom(home, x0, SRT_NQ,
7/13/22
Mikael Zayenz Lagerkvist
2
7/10/22
gecode.org currently down again
Hi all, Fortunately, the renewal went well so the site is reachable again. As mentioned, we hope to
unread,
gecode.org currently down again
Hi all, Fortunately, the renewal went well so the site is reachable again. As mentioned, we hope to
7/10/22
John
,
Mikael Zayenz Lagerkvist
2
6/27/22
Non-backtracked memory in propagators
HI, It is quite common to have shared data-structures in Gecode for data that never changes. Read
unread,
Non-backtracked memory in propagators
HI, It is quite common to have shared data-structures in Gecode for data that never changes. Read
6/27/22
John
,
Mikael Zayenz Lagerkvist
2
6/15/22
Linear: Int vs Float
Hi, While I can't say anything about your particular use-case without seeing the model, float
unread,
Linear: Int vs Float
Hi, While I can't say anything about your particular use-case without seeing the model, float
6/15/22
John
,
Mikael Zayenz Lagerkvist
2
6/14/22
Change propagator argument parameters between Branch and Bound solutions
Hi John, While Gecode has support for standard cost-variable optimization via eg IntMinimizeSpace,
unread,
Change propagator argument parameters between Branch and Bound solutions
Hi John, While Gecode has support for standard cost-variable optimization via eg IntMinimizeSpace,
6/14/22
John
2
6/8/22
TSP example wrong optimal solution
I realized this is the wrong place to report this, I will open a git issue soon. Apologies, this
unread,
TSP example wrong optimal solution
I realized this is the wrong place to report this, I will open a git issue soon. Apologies, this
6/8/22
Oleg Zaikin
,
Mikael Zayenz Lagerkvist
4
6/7/22
Propagate without posting branching
Hi, If you have a Space you can run propagation on it by calling the Space::status() function. no
unread,
Propagate without posting branching
Hi, If you have a Space you can run propagation on it by calling the Space::status() function. no
6/7/22
Oleg Zaikin
,
Mikael Zayenz Lagerkvist
4
6/7/22
Overwrite Space::status()
Hi, Changing the Space in the choice-function is not viable for a multitude of reasons. Please read
unread,
Overwrite Space::status()
Hi, Changing the Space in the choice-function is not viable for a multitude of reasons. Please read
6/7/22
Craig Walker
,
Mikael Zayenz Lagerkvist
4
5/23/22
32bit version
On Mon, May 23, 2022 at 4:07 PM Craig Walker <craig.j...@gmail.com> wrote: > we have an
unread,
32bit version
On Mon, May 23, 2022 at 4:07 PM Craig Walker <craig.j...@gmail.com> wrote: > we have an
5/23/22
Mats Carlsson
,
Mikael Zayenz Lagerkvist
2
5/23/22
reclaiming memory
Hi Mats, You are quite correct in that posting may add some memory overhead to a Gecode Space. The
unread,
reclaiming memory
Hi Mats, You are quite correct in that posting may add some memory overhead to a Gecode Space. The
5/23/22