users  

Messages by Date

• 2011/10/24 Re: [gecode-users] [ANN] gecode/python v0.22 Denys Duchier
• 2011/10/24 Re: [gecode-users] [ANN] gecode/python v0.22 Vivian De Smedt
• 2011/10/22 [gecode-users] looking for an example of path constraints serge lemouton
• 2011/10/22 [gecode-users] [ANN] gecode/python v0.22 Denys Duchier
• 2011/10/18 Re: [gecode-users] extensional constraints with regular expressions Christian Schulte
• 2011/10/17 Re: [gecode-users] [ANN] gecode/python v0.20 Denys Duchier
• 2011/10/16 [gecode-users] extensional constraints with regular expressions Kish Shen
• 2011/10/16 Re: [gecode-users] [ANN] gecode/python v0.20 Vivian De Smedt
• 2011/10/14 Re: [gecode-users] Gecode 4.0.0 Christian Schulte
• 2011/10/14 [gecode-users] Gecode 4.0.0 Christian Schulte
• 2011/10/13 Re: [gecode-users] Sum of IntVarArrays with changing array positions Mathias Dalheimer
• 2011/10/13 Re: [gecode-users] Sum of IntVarArrays with changing array positions Guido Tack
• 2011/10/13 Re: [gecode-users] printing of time in script.cpp Guido Tack
• 2011/10/13 Re: [gecode-users] Sum of IntVarArrays with changing array positions Mathias Dalheimer
• 2011/10/13 Re: [gecode-users] [ANN] gecode/python v0.20 Denys Duchier
• 2011/10/13 [gecode-users] [ANN] gecode/python v0.20 Denys Duchier
• 2011/10/13 [gecode-users] printing of time in script.cpp Jan Kelbel
• 2011/10/13 Re: [gecode-users] Sum of IntVarArrays with changing array positions Guido Tack
• 2011/10/12 Re: [gecode-users] Sum of IntVarArrays with changing array positions Mathias Dalheimer
• 2011/10/12 Re: [gecode-users] Sum of IntVarArrays with changing array positions Guido Tack
• 2011/10/12 Re: [gecode-users] Sum of IntVarArrays with changing array positions Christian Schulte
• 2011/10/12 [gecode-users] Sum of IntVarArrays with changing array positions Mathias Dalheimer
• 2011/10/10 [gecode-users] Gecode 3.7.1 released Guido Tack
• 2011/10/03 Re: [gecode-users] Redirect the output of a MinimizeScript Guido Tack
• 2011/10/03 Re: [gecode-users] Redirect the output of a MinimizeScript Ignacio Castiñeiras Pérez
• 2011/09/30 Re: [gecode-users] Redirect the output of a MinimizeScript Guido Tack
• 2011/09/30 [gecode-users] Redirect the output of a MinimizeScript Nacho Castiñeiras
• 2011/09/28 Re: [gecode-users] Problems with some REG and some suggestions Guido Tack
• 2011/09/28 Re: [gecode-users] Problems with some REG and some suggestions TeXitoi
• 2011/09/28 Re: [gecode-users] Problems with some REG and some suggestions Guido Tack
• 2011/09/27 Re: [gecode-users] path constraint with a single node Kish Shen
• 2011/09/27 [gecode-users] path constraint with a single node Kish Shen
• 2011/09/27 Re: [gecode-users] Problems with some REG and some suggestions TeXitoi
• 2011/09/26 Re: [gecode-users] Problems with some REG and some suggestions Christian Schulte
• 2011/09/26 Re: [gecode-users] Some more documentation comments Kish Shen
• 2011/09/26 Re: [gecode-users] documentation for member propagator Christian Schulte
• 2011/09/26 [gecode-users] Problems with some REG and some suggestions TeXitoi
• 2011/09/26 Re: [gecode-users] documentation for member propagator Kish Shen
• 2011/09/26 Re: [gecode-users] Some more documentation comments Christian Schulte
• 2011/09/26 Re: [gecode-users] documentation for member propagator Christian Schulte
• 2011/09/26 [gecode-users] Some more documentation comments Kish Shen
• 2011/09/26 Re: [gecode-users] documentation for member propagator Kish Shen
• 2011/09/26 Re: [gecode-users] documentation for member propagator Christian Schulte
• 2011/09/23 [gecode-users] [ANN] gecode/python v0.17 Denys Duchier
• 2011/09/23 Re: [gecode-users] documentation for member propagator Kish Shen
• 2011/09/22 Re: [gecode-users] documentation for member propagator Christian Schulte
• 2011/09/22 [gecode-users] documentation for member propagator Kish Shen
• 2011/09/21 Re: [gecode-users] Difference between using IntVal and IntVar in propagators? Christian Schulte
• 2011/09/21 Re: [gecode-users] Difference between using IntVal and IntVar in propagators? Kish Shen
• 2011/09/21 [gecode-users] Difference between using IntVal and IntVar in propagators? Kish Shen
• 2011/09/20 Re: [gecode-users] Gecode 3.5.0 faster than Gecode 3.7.0? Kish Shen
• 2011/09/20 Re: [gecode-users] Gecode 3.5.0 faster than Gecode 3.7.0? Christian Schulte
• 2011/09/20 Re: [gecode-users] Gecode 3.5.0 faster than Gecode 3.7.0? Kish Shen
• 2011/09/19 Re: [gecode-users] nested cost functions Mikael Zayenz Lagerkvist
• 2011/09/19 Re: [gecode-users] nested cost functions revo revo
• 2011/09/14 Re: [gecode-users] Gecode 3.5.0 faster than Gecode 3.7.0? Christian Schulte
• 2011/09/14 Re: [gecode-users] Gecode 3.5.0 faster than Gecode 3.7.0? Kish Shen
• 2011/09/14 Re: [gecode-users] nested cost functions revo revo
• 2011/09/14 Re: [gecode-users] nested cost functions Mikael Zayenz Lagerkvist
• 2011/09/14 Re: [gecode-users] Gecode 3.5.0 faster than Gecode 3.7.0? Christian Schulte
• 2011/09/13 Re: [gecode-users] nested cost functions Mikael Zayenz Lagerkvist
• 2011/09/13 [gecode-users] nested cost functions revo revo
• 2011/09/13 [gecode-users] Gecode 3.5.0 faster than Gecode 3.7.0? Kish Shen
• 2011/09/07 Re: [gecode-users] Problem solving simple model Jefferson Soares Biernastki
• 2011/09/07 Re: [gecode-users] Problem solving simple model Guido Tack
• 2011/09/06 Re: [gecode-users] Linear memory allocation Christian Schulte
• 2011/09/06 Re: [gecode-users] Linear memory allocation Christian Schulte
• 2011/09/06 Re: [gecode-users] Linear memory allocation Farshid Hassani Bijarbooneh
• 2011/09/06 Re: [gecode-users] Linear memory allocation Christian Schulte
• 2011/09/06 Re: [gecode-users] Linear memory allocation Christian Schulte
• 2011/09/06 [gecode-users] Linear memory allocation Farshid Hassani Bijarbooneh
• 2011/09/03 [gecode-users] [ANN] gecode/prolog update for Gecode 3.7.0 Denys Duchier
• 2011/09/03 [gecode-users] [ANN] gecode/python update for Gecode 3.7.0 Denys Duchier
• 2011/08/30 [gecode-users] Gecode 3.7.0 released Guido Tack
• 2011/08/29 Re: [gecode-users] initial domain of Golomb ruler problem Christian Schulte
• 2011/08/29 [gecode-users] initial domain of Golomb ruler problem 夏维
• 2011/08/18 [gecode-users] Compile problem fei liu
• 2011/08/18 Re: [gecode-users] source file location Christian Schulte
• 2011/08/17 [gecode-users] source file location Yong LIN
• 2011/08/17 Re: [gecode-users] cl compiler Guido Tack
• 2011/08/17 Re: [gecode-users] how to link Gecode to microsoft visual studio Christian Schulte
• 2011/08/17 [gecode-users] how to link Gecode to microsoft visual studio fei liu
• 2011/08/17 Re: [gecode-users] cl compiler Guido Tack
• 2011/08/17 [gecode-users] cl compiler Yong LIN
• 2011/08/15 Re: [gecode-users] How to use CSP to sovle the problem of the assignment of values to variables Christian Schulte
• 2011/08/15 [gecode-users] How to use CSP to sovle the problem of the assignment of values to variables fei liu
• 2011/08/10 Re: [gecode-users] [ANN] gecode/prolog (yap) Christian Schulte
• 2011/08/09 [gecode-users] [ANN] gecode/prolog (yap) Denys Duchier
• 2011/08/08 Re: [gecode-users] [ANN] gecode-python Christian Schulte
• 2011/08/06 [gecode-users] [ANN] gecode-python Denys Duchier
• 2011/08/03 Re: [gecode-users] Using Dynamic Arrays in GECODE Christian Schulte
• 2011/08/02 [gecode-users] Using Dynamic Arrays in GECODE hamideh izadyar
• 2011/08/01 Re: [gecode-users] BoolVarArgs in unary Scheduling hamideh izadyar
• 2011/08/01 Re: [gecode-users] BoolVarArgs in unary Scheduling Christian Schulte
• 2011/08/01 [gecode-users] BoolVarArgs in unary Scheduling hamideh izadyar
• 2011/07/29 Re: [gecode-users] How to wait for a variable Christian Schulte
• 2011/07/28 [gecode-users] How to wait for a variable Max Ostrowski
• 2011/07/28 Re: [gecode-users] How to get the Status of the Solver Christian Schulte
• 2011/07/28 [gecode-users] How to get the Status of the Solver hamideh izadyar
• 2011/07/28 Re: [gecode-users] Custom variables in Gecode Guido Tack
• 2011/07/28 [gecode-users] Custom variables in Gecode Dimitri Mazmanov
• 2011/07/25 Re: [gecode-users] EXTERNAL: RE: Compilation trouble in 64 bit environment? Christian Schulte
• 2011/07/22 Re: [gecode-users] EXTERNAL: RE: Compilation trouble in 64 bit environment? Maity, Ashis K
• 2011/07/22 Re: [gecode-users] Compilation trouble in 64 bit environment? Christian Schulte
• 2011/07/22 [gecode-users] Compilation trouble in 64 bit environment? Maity, Ashis K
• 2011/07/21 Re: [gecode-users] Computing Variable Domains (Integer) Christian Schulte
• 2011/07/21 [gecode-users] Computing Variable Domains (Integer) Max Ostrowski
• 2011/07/19 Re: [gecode-users] IIS using undoing Guido Tack
• 2011/07/18 Re: [gecode-users] IIS using undoing Max Ostrowski
• 2011/07/18 Re: [gecode-users] IIS using undoing Guido Tack
• 2011/07/18 Re: [gecode-users] IIS using undoing Max Ostrowski
• 2011/07/18 Re: [gecode-users] IIS using undoing Christopher Jefferson
• 2011/07/18 Re: [gecode-users] IIS using undoing Max Ostrowski
• 2011/07/18 Re: [gecode-users] Initializing domain of IntegerVars Max Ostrowski
• 2011/07/18 Re: [gecode-users] Initializing domain of IntegerVars Guido Tack
• 2011/07/18 Re: [gecode-users] IIS using undoing Guido Tack
• 2011/07/18 [gecode-users] Initializing domain of IntegerVars Max Ostrowski
• 2011/07/18 [gecode-users] IIS using undoing Max Ostrowski
• 2011/07/14 [gecode-users] Gecode 3.6.0 released Guido Tack
• 2011/06/27 Re: [gecode-users] How to specify a constraint of weighted sum of bool variable array Guido Tack
• 2011/06/27 [gecode-users] How to specify a constraint of weighted sum of bool variable array Dongrui She
• 2011/06/27 Re: [gecode-users] recognize regular subexpressions Christian Schulte
• 2011/06/27 Re: [gecode-users] recognize regular subexpressions Christian Schulte
• 2011/06/27 [gecode-users] recognize regular subexpressions Aribi Noureddine
• 2011/06/21 Re: [gecode-users] Channeling between SetVarArrays Guido Tack
• 2011/06/21 [gecode-users] Channeling between SetVarArrays Johannes Inführ
• 2011/06/20 Re: [gecode-users] Watching Propagators Max Ostrowski
• 2011/06/20 Re: [gecode-users] Watching Propagators Guido Tack
• 2011/06/20 Re: [gecode-users] Watching Propagators Max Ostrowski
• 2011/06/20 Re: [gecode-users] Watching Propagators Mikael Zayenz Lagerkvist
• 2011/06/20 Re: [gecode-users] Watching Propagators Guido Tack
• 2011/06/20 [gecode-users] Watching Propagators Max Ostrowski
• 2011/06/16 Re: [gecode-users] Memory issues with repeated execution of the script Jan Kelbel
• 2011/06/16 Re: [gecode-users] Memory issues with repeated execution of the script Guido Tack
• 2011/06/15 Re: [gecode-users] Heap memory free error Maity, Ashis K
• 2011/06/15 [gecode-users] Memory issues with repeated execution of the script Jan Kelbel
• 2011/06/15 Re: [gecode-users] Heap memory free error Christian Schulte
• 2011/06/14 [gecode-users] Heap memory free error Maity, Ashis K
• 2011/06/14 Re: [gecode-users] Branching on temporary variables Christopher Jefferson
• 2011/06/14 Re: [gecode-users] Branching on temporary variables Christian Schulte
• 2011/06/14 Re: [gecode-users] Branching on temporary variables Max Ostrowski
• 2011/06/14 Re: [gecode-users] Branching on temporary variables Christian Schulte
• 2011/06/14 [gecode-users] Branching on temporary variables Max Ostrowski
• 2011/06/10 Re: [gecode-users] How to estimate the range of a (linear) function Max Ostrowski
• 2011/06/10 Re: [gecode-users] How to estimate the range of a (linear) function Christian Schulte
• 2011/06/10 [gecode-users] How to estimate the range of a (linear) function Max Ostrowski
• 2011/06/03 Re: [gecode-users] Linear expressions in Gecode Christian Schulte
• 2011/06/03 [gecode-users] Linear expressions in Gecode Sascha Van Cauwelaert
• 2011/05/31 Re: [gecode-users] Scheduling Guido Tack
• 2011/05/30 Re: [gecode-users] Scheduling alin gherman
• 2011/05/30 Re: [gecode-users] Scheduling Guido Tack
• 2011/05/30 Re: [gecode-users] Scheduling Daniel Araya
• 2011/05/30 Re: [gecode-users] Scheduling Guido Tack
• 2011/05/30 Re: [gecode-users] Scheduling Alin
• 2011/05/30 Re: [gecode-users] Scheduling Guido Tack
• 2011/05/30 Re: [gecode-users] Scheduling Alin
• 2011/05/28 Re: [gecode-users] diffn constraint for Gecode Christian Schulte
• 2011/05/28 Re: [gecode-users] Scheduling Christian Schulte
• 2011/05/28 [gecode-users] Scheduling Alin
• 2011/05/28 Re: [gecode-users] mod constraint branching Alin
• 2011/05/26 Re: [gecode-users] diffn constraint for Gecode Sandro Pirkwieser
• 2011/05/26 Re: [gecode-users] diffn constraint for Gecode Christian Schulte
• 2011/05/25 [gecode-users] diffn constraint for Gecode Sandro Pirkwieser
• 2011/05/23 Re: [gecode-users] task end times in cululative/unary constraints Guido Tack
• 2011/05/23 Re: [gecode-users] task end times in cululative/unary constraints Kish Shen
• 2011/05/23 Re: [gecode-users] task end times in cululative/unary constraints Guido Tack
• 2011/05/22 Re: [gecode-users] graph constraints and hamiltonian path Christian Schulte
• 2011/05/21 Re: [gecode-users] graph constraints and hamiltonian path Jonathan Skovhus Andersen
• 2011/05/21 Re: [gecode-users] graph constraints and hamiltonian path serge lemouton
• 2011/05/20 Re: [gecode-users] Channel Constraints Daniel Araya
• 2011/05/19 Re: [gecode-users] Channel Constraints Mikael Zayenz Lagerkvist
• 2011/05/19 [gecode-users] Channel Constraints Daniel Araya
• 2011/05/19 Re: [gecode-users] graph constraints and hamiltonian path Christian Schulte
• 2011/05/19 [gecode-users] graph constraints and hamiltonian path serge lemouton
• 2011/05/18 Re: [gecode-users] task end times in cululative/unary constraints Guido Tack
• 2011/05/17 [gecode-users] task end times in cululative/unary constraints Kish Shen
• 2011/05/15 Re: [gecode-users] mod constraint branching Guido Tack
• 2011/05/15 Re: [gecode-users] mod constraint branching Alin
• 2011/05/14 [gecode-users] mod constraint branching Alin
• 2011/05/12 Re: [gecode-users] g++ version 4.2 requirement Denys Duchier
• 2011/05/12 Re: [gecode-users] g++ version 4.2 requirement Martin Mann
• 2011/05/12 Re: [gecode-users] g++ version 4.2 requirement Guido Tack
• 2011/05/12 [gecode-users] g++ version 4.2 requirement Martin Mann
• 2011/05/11 Re: [gecode-users] static build and linking of gecode 3.5.0 Guido Tack
• 2011/05/11 Re: [gecode-users] static build and linking of gecode 3.5.0 Martin Mann
• 2011/05/11 [gecode-users] static build and linking of gecode 3.5.0 Martin Mann
• 2011/05/11 Re: [gecode-users] question about lexical ordering constraint and others Christian Schulte
• 2011/05/10 Re: [gecode-users] question about lexical ordering constraint and others Christopher Jefferson
• 2011/05/10 Re: [gecode-users] question about lexical ordering constraint and others Kish Shen
• 2011/05/10 Re: [gecode-users] question about lexical ordering constraint and others Christian Schulte
• 2011/05/10 [gecode-users] question about lexical ordering constraint and others Kish Shen
• 2011/05/04 Re: [gecode-users] How to create a domain with holes Christian Schulte
• 2011/05/04 [gecode-users] How to create a domain with holes Max Ostrowski
• 2011/05/03 Re: [gecode-users] inforation on count constraints Guido Tack
• 2011/05/03 [gecode-users] inforation on count constraints Kish Shen
• 2011/04/25 Re: [gecode-users] GeCode vs Minizinc solver Christian Schulte
• 2011/04/25 [gecode-users] GeCode vs Minizinc solver Andrei Neboian
• 2011/04/24 Re: [gecode-users] how to write flatzinc solutions into a file Guido Tack
• 2011/04/24 [gecode-users] how to write flatzinc solutions into a file Andrei Neboian
• 2011/04/18 Re: [gecode-users] Gecode 3.5.0 : compilation without flatzinc : installation failed Guido Tack

• Earlier messages
• Later messages