users

Messages by Date

2016/05/02 [gecode-users] Reified MiniZinc Decompositions of Globals are overridden for Gecode Alexander Schiendorfer
2016/04/26 Re: [gecode-users] Advices for creating new variable type? Christian Schulte
2016/04/26 Re: [gecode-users] Advices for creating new variable type? Geoffroy Zoetardt
2016/04/26 Re: [gecode-users] Advices for creating new variable type? Torsten Anders
2016/04/26 Re: [gecode-users] Advices for creating new variable type? Christian Schulte
2016/04/26 [gecode-users] Advices for creating new variable type? Geoffroy Zoetardt
2016/04/20 Re: [gecode-users] Scheduling A Propagator After Backtrack Christian Schulte
2016/04/20 Re: [gecode-users] Scheduling A Propagator After Backtrack Yunus Acikoz
2016/04/20 Re: [gecode-users] Scheduling A Propagator After Backtrack Christian Schulte
2016/04/20 [gecode-users] Scheduling A Propagator After Backtrack Yunus Acikoz
2016/04/14 Re: [gecode-users] Smart pointer in propagator? Christian Schulte
2016/04/14 Re: [gecode-users] Smart pointer in propagator? Drescher, Conrad
2016/04/13 Re: [gecode-users] Smart pointer in propagator? Christian Schulte
2016/04/13 Re: [gecode-users] Smart pointer in propagator? Drescher, Conrad
2016/04/12 Re: [gecode-users] Smart pointer in propagator? Christian Schulte
2016/04/08 [gecode-users] Smart pointer in propagator? Drescher, Conrad
2016/04/07 Re: [gecode-users] Freeze with MSVC 2015 optimized build Christian Schulte
2016/04/04 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2016/04/03 Re: [gecode-users] Poor performance on simple allocation problem: did I make something wrong? Guido Tack
2016/04/03 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2016/04/03 [gecode-users] Poor performance on simple allocation problem: did I make something wrong? Florent Teichteil
2016/04/03 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2016/04/02 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2016/04/02 Re: [gecode-users] Freeze with MSVC 2015 optimized build Christian Schulte
2016/04/01 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2016/03/31 Re: [gecode-users] B&B or DFS engine ? Christian Schulte
2016/03/30 [gecode-users] B&B or DFS engine ? Philippe
2016/03/19 Re: [gecode-users] Getting just assigned variable from ViewArray in a propagator Yunus Acikoz
2016/03/19 Re: [gecode-users] Getting just assigned variable from ViewArray in a propagator Christian Schulte
2016/03/19 [gecode-users] Getting just assigned variable from ViewArray in a propagator Yunus Acikoz
2016/03/18 Re: [gecode-users] Getting just assigned variable from ViewArray in a propagator Christian Schulte
2016/03/10 Re: [gecode-users] propagation Algorithm Christian Schulte
2016/03/10 [gecode-users] propagation Algorithm mehdi m
2016/02/14 Re: [gecode-users] counting-based search in Gecode Christian Schulte
2016/02/12 Re: [gecode-users] Constraining domain of variable to the index set of Boolean array? Guido Tack
2016/02/12 [gecode-users] Constraining domain of variable to the index set of Boolean array? Juan Carlos Hernandez
2016/02/12 [gecode-users] counting-based search in Gecode Gilles Pesant
2016/02/01 Re: [gecode-users] users Digest, Vol 124, Issue 6 Christian Schulte
2016/02/01 Re: [gecode-users] users Digest, Vol 124, Issue 6 Juan Carlos Hernandez
2016/02/01 Re: [gecode-users] users Digest, Vol 124, Issue 6 Christian Schulte
2016/01/29 Re: [gecode-users] users Digest, Vol 124, Issue 6 Christian Schulte
2016/01/29 Re: [gecode-users] users Digest, Vol 124, Issue 6 Alexander Schiendorfer
2016/01/28 [gecode-users] Best way to implement multi-criterion optimization in Gecode? Juan Carlos Hernandez
2016/01/22 Re: [gecode-users] Tree depth Christian Schulte
2016/01/22 [gecode-users] Tree depth mehdi m
2016/01/17 Re: [gecode-users] Propagator for Set Constraint Christian Schulte
2016/01/16 [gecode-users] Propagator for Set Constraint Amina Kemmar
2016/01/07 Re: [gecode-users] Usage of layered graphs, without regard for propagation, and audit failure Christian Schulte
2015/12/25 Re: [gecode-users] Order of branching Philippe
2015/12/22 [gecode-users] Usage of layered graphs, without regard for propagation, and audit failure Coby Viner
2015/12/21 Re: [gecode-users] Order of branching Christian Schulte
2015/12/20 [gecode-users] Order of branching Philippe
2015/12/08 [gecode-users] Gecode had birthday on Sunday! Christian Schulte
2015/11/25 [gecode-users] Path constraint Philippe
2015/11/23 Re: [gecode-users] Path constraint Christian Schulte
2015/11/21 [gecode-users] Path constraint Philippe
2015/11/11 Re: [gecode-users] Difference between minus_r and nq Christian Schulte
2015/11/10 Re: [gecode-users] Difference between minus_r and nq mehdi m
2015/11/10 Re: [gecode-users] Advisor on a ViewArray and index of assigned variable Valentin Lemière
2015/11/10 Re: [gecode-users] Difference between minus_r and nq Christian Schulte
2015/11/10 Re: [gecode-users] Advisor on a ViewArray and index of assigned variable Christian Schulte
2015/11/10 [gecode-users] Difference between minus_r and nq mehdi m
2015/11/10 Re: [gecode-users] Advisor on a ViewArray and index of assigned variable Valentin Lemière
2015/11/09 Re: [gecode-users] Advisor on a ViewArray and index of assigned variable Christian Schulte
2015/11/09 [gecode-users] Advisor on a ViewArray and index of assigned variable Valentin Lemière
2015/11/09 Re: [gecode-users] Add value in IntVarArray Guido Tack
2015/11/09 [gecode-users] Add value in IntVarArray mehdi m
2015/10/29 Re: [gecode-users] [icl] 'map::_add' ignores default-constructed value Filip Konvička
2015/10/29 [gecode-users] [icl] 'map::_add' ignores default-constructed value Filip Konvička
2015/10/27 Re: [gecode-users] AllDiff_except_0 Guido Tack
2015/10/27 Re: [gecode-users] AllDiff_except_0 mehdi m
2015/10/27 Re: [gecode-users] AllDiff_except_0 Jean-Noël Monette
2015/10/27 Re: [gecode-users] AllDiff_except_0 Christian Schulte
2015/10/26 [gecode-users] AllDiff_except_0 mehdi m
2015/10/20 Re: [gecode-users] Best practice: accessing IntArgs/IntVarArgs from multiple places? Guido Tack
2015/10/20 Re: [gecode-users] Best practice: accessing IntArgs/IntVarArgs from multiple places? Guido Tack
2015/10/20 [gecode-users] Best practice: accessing IntArgs/IntVarArgs from multiple places? tommaso . urli
2015/10/12 Re: [gecode-users] Calling Space::status() within a Brancher::commit() call Christian Schulte
2015/10/08 [gecode-users] Calling Space::status() within a Brancher::commit() call tommaso . urli
2015/10/05 Re: [gecode-users] Freeze with MSVC 2015 optimized build Christian Schulte
2015/10/02 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2015/09/29 Re: [gecode-users] Subscription of variables during copying of propagators Zhu Zichen's cse
2015/09/29 Re: [gecode-users] Subscription of variables during copying of propagators Christian Schulte
2015/09/28 [gecode-users] Subscription of variables during copying of propagators Zhu Zichen's cse
2015/09/25 Re: [gecode-users] svn download of release Christian Schulte
2015/09/25 [gecode-users] svn download of release Kish Shen
2015/09/21 Re: [gecode-users] Sub expression limits Guido Tack
2015/09/21 [gecode-users] Sub expression limits Neill Clift
2015/09/20 Re: [gecode-users] Large distinct model Neill Clift
2015/09/20 [gecode-users] Large distinct model Neill Clift
2015/09/20 Re: [gecode-users] Slow performance on large domains before branching Guido Tack
2015/09/19 Re: [gecode-users] Disjunctive Minizinc constraint Guido Tack
2015/09/19 Re: [gecode-users] Disjunctive Minizinc constraint Christian Schulte
2015/09/18 [gecode-users] Disjunctive Minizinc constraint Sebastian Kosch
2015/09/18 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2015/09/18 Re: [gecode-users] Freeze with MSVC 2015 optimized build Christian Schulte
2015/09/18 Re: [gecode-users] Multiple specification files Christian Schulte
2015/09/17 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2015/09/17 Re: [gecode-users] Freeze with MSVC 2015 optimized build Christian Schulte
2015/09/17 Re: [gecode-users] SUBSCRIBE modification event required? Christian Schulte
2015/09/17 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2015/09/17 Re: [gecode-users] Freeze with MSVC 2015 optimized build Christian Schulte
2015/09/17 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2015/09/17 [gecode-users] SUBSCRIBE modification event required? Joseph Scott
2015/09/17 Re: [gecode-users] Freeze with MSVC 2015 optimized build Christian Schulte
2015/09/17 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2015/09/17 Re: [gecode-users] Freeze with MSVC 2015 optimized build Christian Schulte
2015/09/17 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2015/09/17 Re: [gecode-users] Multiple specification files Christian Schulte
2015/09/16 [gecode-users] Multiple specification files Patrik Broman
2015/09/10 Re: [gecode-users] Fwd: Re: propagation consistency of count (single value) constraint Christian Schulte
2015/09/05 Re: [gecode-users] propagation consistency of count (single value) constraint Kish Shen
2015/09/05 [gecode-users] Fwd: Re: propagation consistency of count (single value) constraint Kish Shen
2015/09/03 Re: [gecode-users] propagation consistency of count (single value) constraint Christian Schulte
2015/09/03 Re: [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2015/09/03 Re: [gecode-users] Freeze with MSVC 2015 optimized build Christian Schulte
2015/09/03 [gecode-users] Freeze with MSVC 2015 optimized build Filip Konvička
2015/09/01 Re: [gecode-users] propagation consistency of count (single value) constraint Christian Schulte
2015/08/30 [gecode-users] Slow performance on large domains before branching Matthias Goldhoorn
2015/08/27 Re: [gecode-users] propagation consistency of count (single value) constraint Kish Shen
2015/08/27 Re: [gecode-users] propagation consistency of count (single value) constraint Christian Schulte
2015/08/27 Re: [gecode-users] circuit constraint: differences between ICL_DOM and ICL_VAL Christian Schulte
2015/08/26 [gecode-users] propagation consistency of count (single value) constraint Kish Shen
2015/08/26 [gecode-users] circuit constraint: differences between ICL_DOM and ICL_VAL Kish Shen
2015/08/19 Re: [gecode-users] multi_index member key extractors crash MSVC 2015 Filip Konvička
2015/08/19 [gecode-users] multi_index member key extractors crash MSVC 2015 Filip Konvička
2015/08/18 Re: [gecode-users] ~Event nothrow issue Christian Schulte
2015/08/17 Re: [gecode-users] ~Event nothrow issue Filip Konvička
2015/08/17 Re: [gecode-users] ~Event nothrow issue Christian Schulte
2015/08/17 [gecode-users] ~Event nothrow issue Filip Konvička
2015/08/13 Re: [gecode-users] multi-dimensional binpacking gives fatal signal 11 Christian Schulte
2015/08/11 Re: [gecode-users] multi-dimensional binpacking gives fatal signal 11 Kish Shen
2015/08/11 Re: [gecode-users] Reversible data structures Christian Schulte
2015/08/11 [gecode-users] Reversible data structures Hung Hoang Dieu
2015/08/11 Re: [gecode-users] multi-dimensional binpacking gives fatal signal 11 Christian Schulte
2015/08/10 [gecode-users] multi-dimensional binpacking gives fatal signal 11 Kish Shen
2015/08/10 Re: [gecode-users] bin_packing with 0 item sizes Christian Schulte
2015/08/07 [gecode-users] bin_packing with 0 item sizes Kish Shen
2015/07/24 Re: [gecode-users] Boolean expressions: difference between ^ and != Christian Schulte
2015/07/20 Re: [gecode-users] small corrections in quacode Vincent Barichard
2015/07/20 Re: [gecode-users] small corrections in quacode Carlo Capelli
2015/07/20 Re: [gecode-users] small corrections in quacode Vincent Barichard
2015/07/19 [gecode-users] small corrections in quacode Carlo Capelli
2015/07/15 [gecode-users] Boolean expressions: difference between ^ and != Kish Shen
2015/07/15 Re: [gecode-users] Why do we need to update variables for propagators Christian Schulte
2015/07/14 Re: [gecode-users] Why do we need to update variables for propagators Zhu Zichen's cse
2015/07/14 Re: [gecode-users] python binding - Gecode does not find a solution on first run, finds a solution on consecutive runs. Stefan Krastanov
2015/07/14 Re: [gecode-users] python binding - Gecode does not find a solution on first run, finds a solution on consecutive runs. Christian Schulte
2015/07/14 Re: [gecode-users] python binding - Gecode does not find a solution on first run, finds a solution on consecutive runs. Stefan Krastanov
2015/07/14 Re: [gecode-users] python binding - Gecode does not find a solution on first run, finds a solution on consecutive runs. Christian Schulte
2015/07/14 [gecode-users] python binding - Gecode does not find a solution on first run, finds a solution on consecutive runs. Stefan Krastanov
2015/07/14 Re: [gecode-users] Why do we need to update variables for propagators Christian Schulte
2015/07/12 [gecode-users] Why do we need to update variables for propagators Zhu Zichen's cse
2015/07/01 Re: [gecode-users] counting/sequence constraints failing when IntVarArray too small Kish Shen
2015/06/30 Re: [gecode-users] counting/sequence constraints failing when IntVarArray too small Christian Schulte
2015/06/30 [gecode-users] counting/sequence constraints failing when IntVarArray too small Kish Shen
2015/06/30 Re: [gecode-users] finding number of propagators for s Space, relation to floundering Christian Schulte
2015/06/30 Re: [gecode-users] finding number of propagators for s Space, relation to floundering Kish Shen
2015/06/30 Re: [gecode-users] argmin Christian Schulte
2015/06/30 Re: [gecode-users] finding number of propagators for s Space, relation to floundering Christian Schulte
2015/06/29 Re: [gecode-users] finding number of propagators for s Space, relation to floundering Kish Shen
2015/06/29 [gecode-users] finding number of propagators for s Space, relation to floundering Kish Shen
2015/06/29 Re: [gecode-users] empty array with argmin (and min) Christian Schulte
2015/06/26 [gecode-users] empty array with argmin (and min) Kish Shen
2015/06/25 Re: [gecode-users] argmin Kish Shen
2015/06/25 Re: [gecode-users] argmin Christian Schulte
2015/06/24 Re: [gecode-users] argmin Kish Shen
2015/06/24 Re: [gecode-users] argmin Christian Schulte
2015/06/24 [gecode-users] argmin Kish Shen
2015/06/04 Re: [gecode-users] Verilog Constraints Christian Schulte
2015/06/02 [gecode-users] Verilog Constraints Robert Palermo
2015/06/02 Re: [gecode-users] Global cardinality slow Peter Nightingale
2015/05/28 Re: [gecode-users] Global cardinality slow Guido Tack
2015/05/27 Re: [gecode-users] Global cardinality slow Guido Tack
2015/05/25 [gecode-users] Global cardinality slow Peter Nightingale
2015/05/11 [gecode-users] Checking satisfiability of a Minizinc/Flatzinc model Jay
2015/05/08 Re: [gecode-users] Taking an n-ary OR of distinct constraints? Christian Schulte
2015/05/07 [gecode-users] Taking an n-ary OR of distinct constraints? Jay
2015/04/16 Re: [gecode-users] model with float variables sometimes hangs during search Vincent Barichard
2015/04/15 Re: [gecode-users] model with float variables sometimes hangs during search Kurt Van Den Branden
2015/04/15 Re: [gecode-users] model with float variables sometimes hangs during search Vincent Barichard
2015/04/15 Re: [gecode-users] model with float variables sometimes hangs during search Christian Schulte
2015/04/15 [gecode-users] model with float variables sometimes hangs during search Kurt Van Den Branden
2015/04/15 [gecode-users] Gecode 4.4.0 released Guido Tack
2015/04/14 [gecode-users] Updated Windows packages for 4.4.0 Christian Schulte
2015/04/14 Re: [gecode-users] Dynamic Branching Support? Christian Schulte
2015/04/13 Re: [gecode-users] Dynamic Branching Support? Matthias Goldhoorn
2015/04/13 Re: [gecode-users] Dynamic Branching Support? Christian Schulte
2015/04/13 [gecode-users] Dynamic Branching Support? Matthias Goldhoorn
2015/04/11 Re: [gecode-users] Interacting with FlatZincSpaces, or: Gecode/JS bindings Marco Correia
2015/04/11 Re: [gecode-users] Interacting with FlatZincSpaces, or: Gecode/JS bindings Guido Tack
2015/04/10 Re: [gecode-users] Interacting with FlatZincSpaces, or: Gecode/JS bindings Sebastian Kosch
2015/04/10 Re: [gecode-users] Interacting with FlatZincSpaces, or: Gecode/JS bindings Guido Tack
2015/03/29 Re: [gecode-users] Parallel search Christian Schulte
2015/03/29 Re: [gecode-users] Parallel search mehdi m
2015/03/25 [gecode-users] Error message with fzn-gecode Jean-Noël Monette
2015/03/24 Re: [gecode-users] Gecode Propagators' Order Christian Schulte
2015/03/24 [gecode-users] Gecode Propagators' Order Zhu Zichen's cse
2015/03/23 Re: [gecode-users] gecode gpu support Christian Schulte
2015/03/23 Re: [gecode-users] gecode gpu support Vijay Saraswat