users  

Messages by Thread

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

• Earlier messages
• Later messages