Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
Gecode
Conversations
About
Gecode
1–30 of 126
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 abusive group
0 selected
Mats Carlsson
Apr 28
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
Apr 28
Mats Carlsson
Apr 27
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";
Apr 27
Mats Carlsson
,
Mikael Zayenz Lagerkvist
2
Apr 27
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
Apr 27
marcus...@gmail.com
,
Mikael Zayenz Lagerkvist
3
Feb 16
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
Feb 16
Yuri Gribov
,
Filip Konvička
3
Jan 27
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 "<=
Jan 27
dam14s
3
Jan 24
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.
Jan 24
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
Marcus Vilain
,
Mikael Zayenz Lagerkvist
7
5/10/22
Portfolio search ?
Hi, I had this discussion with Christian (search the keyword Pareto in this Google's group). He
unread,
Portfolio search ?
Hi, I had this discussion with Christian (search the keyword Pareto in this Google's group). He
5/10/22
ZoharI
,
Mikael Zayenz Lagerkvist
3
4/25/22
When will the next version be released?
Thanks, I will try 6.3.0. On Friday, April 22, 2022 at 3:08:55 PM UTC+3 Mikael Zayenz Lagerkvist
unread,
When will the next version be released?
Thanks, I will try 6.3.0. On Friday, April 22, 2022 at 3:08:55 PM UTC+3 Mikael Zayenz Lagerkvist
4/25/22
John
,
Mikael Zayenz Lagerkvist
2
4/8/22
Advisor (delta) exact information for value prune
Hi, While it would in principle be possible to give the exact delta on all changes, this would
unread,
Advisor (delta) exact information for value prune
Hi, While it would in principle be possible to give the exact delta on all changes, this would
4/8/22
Gonzalo Hernandez
,
Conrad Drescher
3
3/28/22
Configuring Gecode to incorporate new interval variables (VIS)
Thanks Conrad, I see that I have to update my source code because some parameters have changed in the
unread,
Configuring Gecode to incorporate new interval variables (VIS)
Thanks Conrad, I see that I have to update my source code because some parameters have changed in the
3/28/22
何雷宏
2/18/22
Why does car-sequencing example behave completely differently in Gist in Release and Debug mode?
Dear Gecode team. I met a strange situation when i run the sample code of car-sequencing. it behaves
unread,
Why does car-sequencing example behave completely differently in Gist in Release and Debug mode?
Dear Gecode team. I met a strange situation when i run the sample code of car-sequencing. it behaves
2/18/22
Oleg Zaikin
,
Mikael Zayenz Lagerkvist
6
2/2/22
Bactracking tree depth in customised brancher
Hi, I think the first thing is to specify what you actually mean and/or want with depth in the search
unread,
Bactracking tree depth in customised brancher
Hi, I think the first thing is to specify what you actually mean and/or want with depth in the search
2/2/22
Oliver Kullmann
, …
Mikael Zayenz Lagerkvist
8
1/18/22
running independent Gecode invocations in threads
Hi Filip, As you correctly guessed, the Region allocator (which is used _a lot_ in Gecode) was a
unread,
running independent Gecode invocations in threads
Hi Filip, As you correctly guessed, the Region allocator (which is used _a lot_ in Gecode) was a
1/18/22
Jörg Strebel
,
Mikael Zayenz Lagerkvist
7
12/13/21
Application integration without a dynamic library
Hallo! Thanks for your effort! I managed to build my application nonetheless. I was wrongly assuming
unread,
Application integration without a dynamic library
Hallo! Thanks for your effort! I managed to build my application nonetheless. I was wrongly assuming
12/13/21
Andreas Lindmark
,
Mikael Zayenz Lagerkvist
2
12/9/21
The "connected" constraint from minizinc
Hi, Sorry, I didn't see your message previously, so very late answer. MiniZinc models are
unread,
The "connected" constraint from minizinc
Hi, Sorry, I didn't see your message previously, so very late answer. MiniZinc models are
12/9/21