gecode-users  

Messages by Thread

• [gecode-users] Server migration... Christian Schulte
• [gecode-users] Space allocator Gustavo Gutierrez
  • Re: [gecode-users] Space allocator Christian Schulte
• [gecode-users] gecode error frank lemoine
  • Re: [gecode-users] gecode error Christian Schulte
• [gecode-users] Gist - linking error (continued) Yannick Parmentier
• [gecode-users] Gist - linking error Yannick Parmentier
  • Re: [gecode-users] Gist - linking error Christian Schulte
  • Re: [gecode-users] Gist - linking error Yannick Parmentier
• [gecode-users] braking symmetries in backtracking Alberto Delgado
  • Re: [gecode-users] braking symmetries in backtracking Mikael Zayenz Lagerkvist
  • Re: [gecode-users] braking symmetries in backtracking Alberto Delgado
  • Re: [gecode-users] braking symmetries in backtracking Mikael Zayenz Lagerkvist
• [gecode-users] High memory consumption during execution benoit
  • Re: [gecode-users] High memory consumption during execution Mikael Zayenz Lagerkvist
  • Re: [gecode-users] High memory consumption during execution Christian Schulte
  • [gecode-users] High memory consumption during engine declaration benoit
  • Re: [gecode-users] High memory consumption during engine declaration Christian Schulte
  • Re: [gecode-users] High memory consumption during engine declaration Guido Tack
  • Re: [gecode-users] High memory consumption during engine declaration benoit
• [gecode-users] Compiling statically Lars Kotthoff
  • Re: [gecode-users] Compiling statically Guido Tack
  • Re: [gecode-users] Compiling statically Lars Kotthoff
  • Re: [gecode-users] Compiling statically Guido Tack
  • Re: [gecode-users] Compiling statically Lars Kotthoff
  • Re: [gecode-users] Compiling statically Guido Tack
  • Re: [gecode-users] Compiling statically Lars Kotthoff
• [gecode-users] Memory consumption - element constraint benoit
  • Re: [gecode-users] Memory consumption - element constraint Christian Schulte
  • Re: [gecode-users] Memory consumption - element constraint benoit
  • Re: [gecode-users] Memory consumption - element constraint Christian Schulte
  • Re: [gecode-users] Memory consumption - element constraint benoit
  • Re: [gecode-users] Memory consumption - element constraint Christian Schulte
  • Re: [gecode-users] Memory consumption - element constraint benoit
• [gecode-users] Using Gecode for benchmarking Christian Schulte
• [gecode-users] element constraint frank lemoine
  • Re: [gecode-users] element constraint Christian Schulte
  • [gecode-users] element constraint frank lemoine
  • Re: [gecode-users] element constraint Guido Tack
• [gecode-users] compiling for 32bits on snow leopard Denys Duchier
  • Re: [gecode-users] compiling for 32bits on snow leopard Guido Tack
  • Re: [gecode-users] compiling for 32bits on snow leopard Christopher Jefferson
• [gecode-users] Modelling Conditions on Latin Squares Christian Drescher
  • Re: [gecode-users] Modelling Conditions on Latin Squares Christian Schulte
  • Re: [gecode-users] Modelling Conditions on Latin Squares Christian Drescher
• [gecode-users] version 3.2: problem compiling examples in Xcode serge lemouton
  • Re: [gecode-users] version 3.2: problem compiling examples in Xcode Guido Tack
  • Re: [gecode-users] version 3.2: problem compiling examples in Xcode Mauricio Toro
  • Re: [gecode-users] version 3.2: problem compiling examples in Xcode serge lemouton
  • Re: [gecode-users] version 3.2: problem compiling examples in Xcode Mauricio Toro
  • Re: [gecode-users] version 3.2: problem compiling examples in Xcode serge lemouton
  • Re: [gecode-users] version 3.2: problem compiling examples in Xcode Guido Tack
  • Re: [gecode-users] version 3.2: problem compiling examples in Xcode Mauricio Toro
  • Re: [gecode-users] version 3.2: problem compiling examples in Xcode Mauricio Toro
  • Re: [gecode-users] version 3.2: problem compiling examples in Xcode serge lemouton
  • Re: [gecode-users] version 3.2: problem compiling examples in Xcode Guido Tack
• [gecode-users] Python wrappers Ellis Breen
  • Re: [gecode-users] Python wrappers Guido Tack
  • Re: [gecode-users] Python wrappers Christian Schulte
  • Re: [gecode-users] Python wrappers Ellis Breen
  • Re: [gecode-users] Python wrappers Ellis Breen
  • Re: [gecode-users] Python wrappers Guido Tack
  • Re: [gecode-users] Python wrappers Nicolas Chauvat
• [gecode-users] vertex degree frank lemoine
• [gecode-users] new IntArgs fails Denys Duchier
  • Re: [gecode-users] new IntArgs fails Christian Schulte
  • [gecode-users] About posting Boolean expression Yong
  • Re: [gecode-users] About posting Boolean expression Christian Schulte
  • Re: [gecode-users] About posting Boolean expression Yong
  • Re: [gecode-users] About posting Boolean expression Christian Schulte
  • Re: [gecode-users] new IntArgs fails Denys Duchier
  • Re: [gecode-users] new IntArgs fails Christian Schulte
• [gecode-users] VarArray<Var>::resize(Space& home, int m) David Rijsman
  • Re: [gecode-users] VarArray<Var>::resize(Space& home, int m) Guido Tack
  • Re: [gecode-users] VarArray<Var>::resize(Space& home, int m) David Rijsman
  • Re: [gecode-users] VarArray<Var>::resize(Space& home, int m) Guido Tack
• [gecode-users] Layout change on Gecode web pages Guido Tack
• [gecode-users] next() in flatzinc Fred Spiessens
  • Re: [gecode-users] next() in flatzinc Guido Tack
  • Re: [gecode-users] next() in flatzinc Fred Spiessens
• [gecode-users] Makefile patch for building in non-source dir Denys Duchier
  • Re: [gecode-users] Makefile patch for building in non-source dir Guido Tack
  • Re: [gecode-users] Makefile patch for building in non-source dir Christian Schulte
• [gecode-users] Gecode 3.2.0 Carlos Agon
  • Re: [gecode-users] Gecode 3.2.0 Guido Tack
  • Re: [gecode-users] Gecode 3.2.0 Gustavo Gutierrez
  • Re: [gecode-users] Gecode 3.2.0 Carlos Agon
• [gecode-users] Gecode 3.2.0 released (includes Gecode/FlatZinc) Guido Tack
  • Re: [gecode-users] Gecode 3.2.0 released (includes Gecode/FlatZinc) Tias Guns
  • Re: [gecode-users] Gecode 3.2.0 released (includes Gecode/FlatZinc) Guido Tack
• [gecode-users] Help me with Maximum density still life in Gecode trinh cong quy
  • Re: [gecode-users] Help me with Maximum density still life in Gecode Christian Schulte
  • [gecode-users] Help me with Maximum density still life in Gecode trinh cong quy
  • Re: [gecode-users] Help me with Maximum density still life in Gecode Christian Schulte
• [gecode-users] FlatZincGecode::runEngine Fred Spiessens
  • Re: [gecode-users] FlatZincGecode::runEngine Guido Tack
  • Re: [gecode-users] FlatZincGecode::runEngine Fred Spiessens
• [gecode-users] Customised static variable ordering Chris Mears
  • Re: [gecode-users] Customised static variable ordering Guido Tack
• [gecode-users] A new variable composed by two IntVar amina kemmar
  • Re: [gecode-users] A new variable composed by two IntVar Martin Mann
  • Re: [gecode-users] A new variable composed by two IntVar Guido Tack
• [gecode-users] Schedule serialized Maity, Ashis K
  • Re: [gecode-users] Schedule serialized Christian Schulte
• [gecode-users] DivBnd propagator Jan Kelbel
  • Re: [gecode-users] DivBnd propagator Guido Tack
• [gecode-users] assigning IntVars Tarek Garoui
  • Re: [gecode-users] assigning IntVars Guido Tack
• [gecode-users] compilation problem on windows + mingw32 Alexandre Fayolle
  • Re: [gecode-users] compilation problem on windows + mingw32 Mikael Zayenz Lagerkvist
• [gecode-users] A simple propagator amina kemmar
  • Re: [gecode-users] A simple propagator Christian Schulte
• [gecode-users] Gecode and Gist on Mac OS 10.6 "Snow Leopard" Guido Tack
  • Re: [gecode-users] Gecode and Gist on Mac OS 10.6 "Snow Leopard" Gustavo Gutierrez
• [gecode-users] Not all solutions, BAB vs. DFS Martin Kreißig
  • Re: [gecode-users] Not all solutions, BAB vs. DFS Guido Tack
  • Re: [gecode-users] Not all solutions, BAB vs. DFS Martin Kreißig
  • Re: [gecode-users] Not all solutions, BAB vs. DFS Guido Tack
  • Re: [gecode-users] Not all solutions, BAB vs. DFS Martin Kreißig
  • Re: [gecode-users] Not all solutions, BAB vs. DFS Guido Tack
  • Re: [gecode-users] Not all solutions, BAB vs. DFS Martin Kreißig
  • Re: [gecode-users] Not all solutions, BAB vs. DFS Guido Tack
  • Re: [gecode-users] Not all solutions, BAB vs. DFS Martin Kreißig
• [gecode-users] Best-first search Malcolm Ryan
  • Re: [gecode-users] Best-first search Guido Tack
  • Re: [gecode-users] Best-first search Malcolm Ryan
• [gecode-users] Version 3.x.x and Microsoft Visual C++ 2005 Express Edition David Rijsman
  • Re: [gecode-users] Version 3.x.x and Microsoft Visual C++ 2005 Express Edition Christian Schulte
  • Re: [gecode-users] Version 3.x.x and Microsoft Visual C++ 2005Express Edition David Rijsman
  • Re: [gecode-users] Version 3.x.x and Microsoft Visual C++ 2005Express Edition Christian Schulte
  • Re: [gecode-users] Version 3.x.x and Microsoft Visual C++ 2005Express Edition Christian Schulte
• [gecode-users] Compilation error cristian
  • Re: [gecode-users] Compilation error Guido Tack
• [gecode-users] A constrain with 3 IntVar amina kemmar
  • Re: [gecode-users] A constrain with 3 IntVar Christian Schulte
  • Re: [gecode-users] A constrain with 3 IntVar Guido Tack
  • Re: [gecode-users] A constrain with 3 IntVar Tias Guns
  • Re: [gecode-users] A constrain with 3 IntVar Christian Schulte
• [gecode-users] help --- how to create an o bject dynamically in Gecode？ Kayler Yao
  • Re: [gecode-users] help --- how to create an o bject dynamically in Gecode？ Kayler Yao
  • Re: [gecode-users] help --- how to create a n object dynamically in Gecode ？ Christian Schulte
  • Re: [gecode-users] help --- how to create an o bject dynamically in Gecode？ Kayler Yao
  • Re: [gecode-users] help --- how to create a n object dynamically in Gecode ？ Christian Schulte
  • Re: [gecode-users] help --- how to create an o bject dynamically in Gecode？ Kayler Yao
  • Re: [gecode-users] help --- how to create an o bject dynamically in Gecode？ Guido Tack
  • Re: [gecode-users] help --- how to create an o bject dynamically in Gecode？ Kayler Yao
  • Re: [gecode-users] help --- how to create a n object dynamically in Gecode ？ Christian Schulte
• [gecode-users] Help -- about Gecode::Space::operator new Kayler Yao
  • Re: [gecode-users] Help -- about Gecode::Space::operator new Christian Schulte
  • Re: [gecode-users] Help -- about Gecode::Space::operator new Kayler Yao
  • Re: [gecode-users] Help -- about Gecode::Space::operator new Kayler Yao
  • Re: [gecode-users] Help -- about Gecode::Space::operator new Christian Schulte
  • Re: [gecode-users] Help -- about Gecode::Space::operator new Kayler Yao
• [gecode-users] compiling propagator amina kemmar
• [gecode-users] compiling a new propagator‏ amina kemmar
  • Re: [gecode-users] compiling a new propagator‏ Gustavo Gutiérrez
  • Re: [gecode-users] compiling a new propagator‏ Guido Tack
• [gecode-users] compiling a new propagator amina kemmar
  • Re: [gecode-users] compiling a new propagator Gustavo Gutiérrez
• [gecode-users] no executable file after compiling amina kemmar
  • Re: [gecode-users] no executable file after compiling Guido Tack
• [gecode-users] compiling errors amina kemmar
  • Re: [gecode-users] compiling errors Guido Tack
  • Re: [gecode-users] compiling errors Christian Schulte
• [gecode-users] help--Question about Channel constraints Kayler Yao
  • Re: [gecode-users] help--Question about Channel constraints Christian Schulte
  • Re: [gecode-users] help--Question about Channel constraints Kayler Yao
• [gecode-users] Segmentation fault in a very simple model Alfredo Esteban
  • Re: [gecode-users] Segmentation fault in a very simple model Guido Tack
• [gecode-users] help ----puzzles of defining Variable Kayler Yao
  • Re: [gecode-users] help ----puzzles of defining Variable Guido Tack
  • Re: [gecode-users] help ----puzzles of defining Variable Kayler Yao
  • Re: [gecode-users] help ----puzzles of defining Variable Guido Tack
  • Re: [gecode-users] help ----puzzles of defining Variable Kayler Yao
  • Re: [gecode-users] help ----puzzles of defining Variable Guido Tack
  • Re: [gecode-users] help ----puzzles of defining Variable Kayler Yao
  • Re: [gecode-users] help ----puzzles of defining Variable Christian Schulte
• [gecode-users] views and propagators amina kemmar
  • Re: [gecode-users] views and propagators Guido Tack
  • [gecode-users] views and propagators amina kemmar
• [gecode-users] propagators amina kemmar
• [gecode-users] help--trouble on using Gecode in VS2008 Sir Yao
  • Re: [gecode-users] help--trouble on using Gecode in VS2008 Christian Schulte
  • Re: [gecode-users] help--trouble on using Gecode in VS2008 Kayler Yao
  • Re: [gecode-users] help--trouble on using Gecode in VS2008 Filip Konvička
  • Re: [gecode-users] help--trouble on using Gecode in VS2008 Christian Schulte
  • Re: [gecode-users] help--trouble on using Gecode in VS2008 Filip Konvička
• [gecode-users] doing multiple minimising searches with the same space Kish Shen
  • Re: [gecode-users] doing multiple minimising searches with the same space Guido Tack
  • Re: [gecode-users] doing multiple minimising searches with the same space Kish Shen
  • Re: [gecode-users] doing multiple minimising searches with the same space Christian Schulte
  • Re: [gecode-users] doing multiple minimising searches with the same space Guido Tack
  • Re: [gecode-users] doing multiple minimising searches with the same space Kish Shen
  • Re: [gecode-users] doing multiple minimising searches with the same space Christian Schulte
  • Re: [gecode-users] doing multiple minimising searches with the same space Kish Shen
• [gecode-users] Determining equal set variables Chris Mears
  • Re: [gecode-users] Determining equal set variables Guido Tack
• [gecode-users] Obtaining information about variablesHi for variable selection Kish Shen
  • Re: [gecode-users] Obtaining information about variablesHi for variable selection Mikael Zayenz Lagerkvist
  • Re: [gecode-users] Obtaining information about variablesHi for variable selection Christian Schulte

• Earlier messages