users  

Messages by Date

• 2015/03/23 Re: [gecode-users] gecode gpu support Christian Schulte
• 2015/03/23 [gecode-users] gecode gpu support Abc ZU
• 2015/03/20 Re: [gecode-users] Arithmetic element Christian Schulte
• 2015/03/20 [gecode-users] Arithmetic element Javier Larrosa
• 2015/03/16 Re: [gecode-users] Parallel search Christian Schulte
• 2015/03/16 Re: [gecode-users] Parallel search mehdi m
• 2015/03/15 [gecode-users] Parallel search mehdi m
• 2015/03/14 Re: [gecode-users] Restarting search with a new constrain() Guido Tack
• 2015/03/14 [gecode-users] Restarting search with a new constrain() Francesco Santini
• 2015/03/12 Re: [gecode-users] unsigned 32bit representation, additions Serg Buslovsky
• 2015/03/12 Re: [gecode-users] unsigned 32bit representation, additions Jean-Noël Monette
• 2015/03/11 Re: [gecode-users] unsigned 32bit representation, additions kellen
• 2015/03/11 Re: [gecode-users] unsigned 32bit representation, additions Christian Schulte
• 2015/03/10 [gecode-users] unsigned 32bit representation, additions Serg Buslovsky
• 2015/03/04 Re: [gecode-users] Rewriting propagators into more than one propagator Christian Schulte
• 2015/03/04 [gecode-users] Rewriting propagators into more than one propagator David Rijsman
• 2015/02/28 Re: [gecode-users] Negative table in Gecode Peter Nightingale
• 2015/02/27 Re: [gecode-users] Negative table in Gecode Christian Schulte
• 2015/02/27 [gecode-users] Negative table in Gecode Peter Nightingale
• 2015/02/25 Re: [gecode-users] Adding IntActivity to space Christian Schulte
• 2015/02/24 Re: [gecode-users] Adding IntActivity to space Kish Shen
• 2015/02/23 Re: [gecode-users] Toroidal symmetry breaking (with LDSB or not) Chris Mears
• 2015/02/23 Re: [gecode-users] Adding IntActivity to space Christian Schulte
• 2015/02/23 Re: [gecode-users] Toroidal symmetry breaking (with LDSB or not) Christian Schulte
• 2015/02/20 Re: [gecode-users] Adding IntActivity to space Kish Shen
• 2015/02/20 [gecode-users] Toroidal symmetry breaking (with LDSB or not) Martin Ludwag
• 2015/02/17 Re: [gecode-users] Adding IntActivity to space Kish Shen
• 2015/02/17 Re: [gecode-users] Adding IntActivity to space Kish Shen
• 2015/02/17 Re: [gecode-users] (no subject) Christian Schulte
• 2015/02/17 Re: [gecode-users] Adding IntActivity to space Christian Schulte
• 2015/02/16 [gecode-users] Adding IntActivity to space Kish Shen
• 2015/02/13 Re: [gecode-users] (no subject) Gustavo Gutierrez
• 2015/02/12 [gecode-users] (no subject) Tuomas Pellonperä
• 2015/01/26 Re: [gecode-users] AFC of a Propagator Zhu Zichen's cse
• 2015/01/26 Re: [gecode-users] AFC of a Propagator Christian Schulte
• 2015/01/23 Re: [gecode-users] AFC of a Propagator Zhu Zichen's cse
• 2015/01/23 Re: [gecode-users] AFC of a Propagator Christian Schulte
• 2015/01/23 Re: [gecode-users] AFC of a Propagator Zhu Zichen's cse
• 2015/01/23 Re: [gecode-users] AFC of a Propagator Christian Schulte
• 2015/01/23 Re: [gecode-users] AFC of a Propagator Zhu Zichen's cse
• 2015/01/23 Re: [gecode-users] AFC of a Propagator Christian Schulte
• 2015/01/22 [gecode-users] AFC of a Propagator Zhu Zichen's cse
• 2015/01/21 [gecode-users] Gecode 4.3.3 released Guido Tack
• 2015/01/08 Re: [gecode-users] A problem for restart Zhu Zichen's cse
• 2015/01/08 Re: [gecode-users] A problem for restart Christian Schulte
• 2015/01/05 Re: [gecode-users] About the search engine BAB? Christian Schulte
• 2015/01/04 Re: [gecode-users] About the search engine BAB? Amina Kemmar
• 2015/01/04 Re: [gecode-users] About the search engine BAB? Christian Schulte
• 2015/01/01 [gecode-users] About the search engine BAB? Amina Kemmar
• 2014/12/16 Re: [gecode-users] A problem for restart Zhu Zichen's cse
• 2014/12/16 Re: [gecode-users] A problem for restart Zhu Zichen's cse
• 2014/12/16 Re: [gecode-users] A problem for restart Christian Schulte
• 2014/12/16 Re: [gecode-users] A problem for restart Zhu Zichen's cse
• 2014/12/16 Re: [gecode-users] A problem for restart Christian Schulte
• 2014/12/16 [gecode-users] A problem for restart Zhu Zichen's cse
• 2014/12/15 Re: [gecode-users] channeling set variables with an array of boolean variables Christian Schulte
• 2014/12/13 [gecode-users] channeling set variables with an array of boolean variables Farshid Hassani Bijarbooneh
• 2014/12/07 Re: [gecode-users] This type of constraint it is availaible in Gecode ? Christian Schulte
• 2014/12/04 [gecode-users] This type of constraint it is availaible in Gecode ? Bouchene Sabrina
• 2014/12/03 Re: [gecode-users] How to find my problem? Gilberto Cuba Ricardo
• 2014/12/03 Re: [gecode-users] How to use FloatVar ? Christian Schulte
• 2014/12/03 [gecode-users] How to use FloatVar ? mehdi m
• 2014/12/02 Re: [gecode-users] How to find my problem? Gilberto Cuba Ricardo
• 2014/12/02 Re: [gecode-users] How to find my problem? Guido Tack
• 2014/12/02 [gecode-users] How to find my problem? Gilberto Cuba Ricardo
• 2014/12/02 Re: [gecode-users] FlatZinc option -a Guido Tack
• 2014/12/02 [gecode-users] FlatZinc option -a Jean-Noël Monette
• 2014/11/30 [gecode-users] tadke...@gmail.com has indicated you are a friend. Accept? tadkebau
• 2014/11/26 [gecode-users] Your friend tadke...@gmail.com cannot see your photo tadkebau
• 2014/11/22 [gecode-users] tadke...@gmail.com has indicated you're a friend. Accept? tadkebau
• 2014/11/21 Re: [gecode-users] Custom propagator in MiniModel Christian Schulte
• 2014/11/21 [gecode-users] Custom propagator in MiniModel Drescher, Conrad
• 2014/11/18 Re: [gecode-users] question about branching and diversity between solutions Lorenzo Gatti
• 2014/11/18 Re: [gecode-users] multi-dimensional bin-packing constraint - bin capacities Christian Schulte
• 2014/11/17 [gecode-users] multi-dimensional bin-packing constraint - bin capacities Kish Shen
• 2014/11/15 [gecode-users] Feasibility of using Gecode for non-linear optimization problem jam_bdn
• 2014/11/14 [gecode-users] question about branching and diversity between solutions Chd Orti
• 2014/11/07 [gecode-users] Gecode 4.3.2 released Guido Tack
• 2014/11/04 Re: [gecode-users] Best practice to use a shared_ptr in a gecode solver Gustavo Gutierrez
• 2014/11/04 Re: [gecode-users] allocated() virtual member function? Christian Schulte
• 2014/11/04 [gecode-users] allocated() virtual member function? Joseph Scott
• 2014/11/03 Re: [gecode-users] Best practice to use a shared_ptr in a gecode solver Guido Tack
• 2014/11/03 [gecode-users] Best practice to use a shared_ptr in a gecode solver Gustavo Gutierrez
• 2014/11/02 Re: [gecode-users] Que: Alternative to stretch-cycle constraint in Gecode Guido Tack
• 2014/11/02 Re: [gecode-users] Que: Alternative to stretch-cycle constraint in Gecode Christian Schulte
• 2014/11/01 [gecode-users] Que: Alternative to stretch-cycle constraint in Gecode Sohail Khan
• 2014/10/30 Re: [gecode-users] Constraints in Gecode for unconstrained instances. Christian Schulte
• 2014/10/30 [gecode-users] Constraints in Gecode for unconstrained instances. Bouchene Sabrina
• 2014/10/28 Re: [gecode-users] Combining of LDSB with Branch and Bound algorithm. Chris Mears
• 2014/10/25 Re: [gecode-users] (if/ else) constraint. Guido Tack
• 2014/10/25 Re: [gecode-users] How to write with Gecode a constraint similar to distinct but with absolute value of values : distinct ( |variables|). Guido Tack
• 2014/10/25 Re: [gecode-users] How to write with Gecode a constraint similar to distinct but with absolute value of values : distinct ( |variables|). Vijay Saraswat
• 2014/10/25 [gecode-users] How to write with Gecode a constraint similar to distinct but with absolute value of values : distinct ( |variables|). Bouchene Sabrina
• 2014/10/25 Re: [gecode-users] How to write with Gecode a constraint similar to distinct but with absolute value of values : distinct ( |variables|). Vijay Saraswat
• 2014/10/25 [gecode-users] How to write with Gecode a constraint similar to distinct but with absolute value of values : distinct ( |variables|). Bouchene Sabrina
• 2014/10/24 Re: [gecode-users] Segmentation Fault with fzn-gecode Guido Tack
• 2014/10/24 [gecode-users] Segmentation Fault with fzn-gecode Jean-Noël Monette
• 2014/10/23 Re: [gecode-users] bit-vector variables and constraints Christian Schulte
• 2014/10/23 Re: [gecode-users] bit-vector variables and constraints Christian Schulte
• 2014/10/22 [gecode-users] Gecode 4.3.1 released Guido Tack
• 2014/10/22 [gecode-users] Combining of LDSB with Branch and Bound algorithm. Bouchene Sabrina
• 2014/10/22 [gecode-users] (if/ else) constraint. Bouchene Sabrina
• 2014/10/22 [gecode-users] How to post : distinct ( of absolute value of values) constraint ? Bouchene Sabrina
• 2014/10/22 Re: [gecode-users] bit-vector variables and constraints kellen
• 2014/10/22 [gecode-users] bit-vector variables and constraints Pierre Flener
• 2014/10/16 Re: [gecode-users] Question about one type of constraint Christian Schulte
• 2014/10/16 Re: [gecode-users] Question about one type of constraint Jean-Noël Monette
• 2014/10/16 Re: [gecode-users] Question about one type of constraint Christian Schulte
• 2014/10/16 Re: [gecode-users] Question about one type of constraint Chd Orti
• 2014/10/16 Re: [gecode-users] Question about one type of constraint Christian Schulte
• 2014/10/16 Re: [gecode-users] Question about one type of constraint Vijay Saraswat
• 2014/10/16 Re: [gecode-users] Question about one type of constraint Christian Schulte
• 2014/10/16 Re: [gecode-users] Setup problems with 4.3.0 on OS X Amnon David
• 2014/10/16 [gecode-users] Question about one type of constraint Chd Orti
• 2014/10/15 Re: [gecode-users] Setup problems with 4.3.0 on OS X Guido Tack
• 2014/10/15 [gecode-users] Setup problems with 4.3.0 on OS X Amnon David
• 2014/10/13 Re: [gecode-users] Compilation problem on MacOs with Gecode 4.3 Vijay Saraswat
• 2014/10/13 Re: [gecode-users] Compilation problem on MacOs with Gecode 4.3 Guido Tack
• 2014/10/13 Re: [gecode-users] Compilation problem on MacOs with Gecode 4.3 Vijay Saraswat
• 2014/10/13 Re: [gecode-users] Compilation problem on MacOs with Gecode 4.3 Vijay Saraswat
• 2014/10/13 Re: [gecode-users] Compilation problem on MacOs with Gecode 4.3 Christian Schulte
• 2014/10/13 Re: [gecode-users] Compilation problem on MacOs with Gecode 4.3 Vijay Saraswat
• 2014/10/13 Re: [gecode-users] Compilation problem on MacOs with Gecode 4.3 Christian Schulte
• 2014/10/13 [gecode-users] Compilation problem on MacOs with Gecode 4.3 Vijay Saraswat
• 2014/10/06 Re: [gecode-users] First contact with gecode Christian Schulte
• 2014/10/05 Re: [gecode-users] First contact with gecode Frederic C
• 2014/10/05 Re: [gecode-users] First contact with gecode Chris Mears
• 2014/10/03 [gecode-users] First contact with gecode Frederic C
• 2014/10/02 Re: [gecode-users] Breaking symmetries with LDSB in Matrix model. Chris Mears
• 2014/10/02 [gecode-users] Breaking symmetries with LDSB in Matrix model. Bouchene Sabrina
• 2014/10/02 [gecode-users] Breaking symmetries with LDSB in Matrix model. Bouchene Sabrina
• 2014/10/01 Re: [gecode-users] Breaking symmetries with LDSB in Matrix model. Chris Mears
• 2014/10/01 [gecode-users] Combination of symmetries in LDSB. Bouchene Sabrina
• 2014/09/29 [gecode-users] Breaking symmetries with LDSB in Matrix model. Bouchene Sabrina
• 2014/09/29 Re: [gecode-users] Classify the solutions Christian Schulte
• 2014/09/29 Re: [gecode-users] Classify the solutions mehdi m
• 2014/09/29 Re: [gecode-users] Classify the solutions Christian Schulte
• 2014/09/29 [gecode-users] Classify the solutions mehdi m
• 2014/09/23 Re: [gecode-users] Breaking symmetries with LDSB in Matrix Model. Chris Mears
• 2014/09/23 [gecode-users] Breaking symmetries with LDSB in Matrix Model. Bouchene Sabrina
• 2014/09/23 Re: [gecode-users] Strange branching behaviour when using FunctionBrancher Andrea Peano
• 2014/09/23 Re: [gecode-users] Strange branching behaviour when using FunctionBrancher Christian Schulte
• 2014/09/23 [gecode-users] Breaking symmetries with LDSB in Matrix model. Bouchene Sabrina
• 2014/09/23 Re: [gecode-users] Strange branching behaviour when using FunctionBrancher Andrea Peano
• 2014/09/23 Re: [gecode-users] Strange branching behaviour when using FunctionBrancher Christian Schulte
• 2014/09/23 Re: [gecode-users] Strange branching behaviour when using FunctionBrancher Andrea Peano
• 2014/09/23 Re: [gecode-users] Strange branching behaviour when using FunctionBrancher Christian Schulte
• 2014/09/23 Re: [gecode-users] Strange branching behaviour when using FunctionBrancher Andrea Peano
• 2014/09/23 Re: [gecode-users] Strange branching behaviour when using FunctionBrancher Christian Schulte
• 2014/09/23 [gecode-users] Strange branching behaviour when using FunctionBrancher Andrea Peano
• 2014/09/23 Re: [gecode-users] a propagator for the Context-Free-Grammar constraint Christian Schulte
• 2014/09/22 [gecode-users] a propagator for the Context-Free-Grammar constraint Pierre Flener
• 2014/09/22 Re: [gecode-users] Creating a function to solve CP sub-problem instances Christian Schulte
• 2014/09/18 Re: [gecode-users] Creating a function to solve CP sub-problem instances Nathan Horvath
• 2014/09/17 Re: [gecode-users] fzn-gecode and float_lin_eq Tommy Persson
• 2014/09/16 Re: [gecode-users] fzn-gecode and float_lin_eq Guido Tack
• 2014/09/16 [gecode-users] fzn-gecode and float_lin_eq Tommy Persson
• 2014/09/15 Re: [gecode-users] Passing option -time to fzn-gecode Guido Tack
• 2014/09/15 Re: [gecode-users] Passing option -time to fzn-gecode Christian Schulte
• 2014/09/15 Re: [gecode-users] Creating a function to solve CP sub-problem instances Christian Schulte
• 2014/09/15 Re: [gecode-users] interval domains at run time Christian Schulte
• 2014/09/11 [gecode-users] interval domains at run time Chd Orti
• 2014/09/09 [gecode-users] Creating a function to solve CP sub-problem instances Nathan Horvath
• 2014/09/08 [gecode-users] Passing option -time to fzn-gecode Max Myer
• 2014/09/03 Re: [gecode-users] CMake config improvements victor.zverov...@gmail.com
• 2014/09/03 Re: [gecode-users] CMake config improvements Christian Schulte
• 2014/09/02 [gecode-users] Gecode 4.3.0 released Guido Tack
• 2014/09/02 [gecode-users] CMake config improvements victor.zverov...@gmail.com
• 2014/08/21 Re: [gecode-users] Set propagators and modification event delta Christian Schulte
• 2014/08/20 Re: [gecode-users] Set propagators and modification event delta Gustavo Gutierrez
• 2014/08/20 Re: [gecode-users] Set propagators and modification event delta Guido Tack
• 2014/08/20 Re: [gecode-users] Set propagators and modification event delta Gustavo Gutierrez
• 2014/08/20 Re: [gecode-users] Set propagators and modification event delta Christian Schulte
• 2014/08/20 Re: [gecode-users] Set propagators and modification event delta Gustavo Gutierrez
• 2014/08/20 Re: [gecode-users] Set propagators and modification event delta Guido Tack
• 2014/08/20 Re: [gecode-users] Set propagators and modification event delta Christian Schulte
• 2014/08/19 [gecode-users] Set propagators and modification event delta Gustavo Gutierrez
• 2014/08/13 Re: [gecode-users] unknown system size Guido Tack
• 2014/08/13 [gecode-users] unknown system size Chd Orti
• 2014/08/04 Re: [gecode-users] Constant view disposer Christian Schulte
• 2014/08/04 Re: [gecode-users] Memory usage of Space Christian Schulte
• 2014/08/02 [gecode-users] Constant view disposer Gustavo Gutierrez
• 2014/08/01 [gecode-users] Memory usage of Space Kish Shen
• 2014/07/24 Re: [gecode-users] node count kellen
• 2014/07/23 Re: [gecode-users] node count Christian Schulte
• 2014/07/22 Re: [gecode-users] node count kellen
• 2014/07/22 Re: [gecode-users] node count Christian Schulte
• 2014/07/20 [gecode-users] node count kellen
• 2014/07/09 Re: [gecode-users] Passing user defined values to initialise IntActivity Christian Schulte
• 2014/07/08 [gecode-users] Passing user defined values to initialise IntActivity Kish Shen
• 2014/06/30 Re: [gecode-users] compile Gecode as a static library Christian Schulte
• 2014/06/29 [gecode-users] compile Gecode as a static library Richard Portelli
• 2014/06/24 Re: [gecode-users] Using IntVarArgs in a propagate function Christian Schulte
• 2014/06/24 [gecode-users] Using IntVarArgs in a propagate function Amina Kemmar
• 2014/06/23 Re: [gecode-users] Reification of the extensional constraint Christian Schulte
• 2014/06/23 [gecode-users] Reification of the extensional constraint Amina Kemmar
• 2014/06/20 Re: [gecode-users] Reification of the extensional constraint Amina Kemmar
• 2014/06/14 Re: [gecode-users] Reification of the extensional constraint Guido Tack
• 2014/06/14 [gecode-users] Reification of the extensional constraint Amina Kemmar
• 2014/06/12 Re: [gecode-users] Gecode terminates on incomplete solution Christian Schulte

• Earlier messages
• Later messages