users  

Messages by Thread

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

• Earlier messages
• Later messages