users  

Messages by Thread

• • [gecode-users] Element constraint Hamza Bouchaour
  • Re: [gecode-users] Element constraint Christian Schulte
• [gecode-users] alloc memory from heap and the stats of Peak Memory 夏维
  • Re: [gecode-users] alloc memory from heap and the stats of Peak Memory Christian Schulte
  • [gecode-users] regular constraint 夏维
  • Re: [gecode-users] regular constraint Christian Schulte
  • Re: [gecode-users] regular constraint 夏维
  • Re: [gecode-users] regular constraint Christian Schulte
• [gecode-users] copy variables in a stable space Yong LIN
  • Re: [gecode-users] copy variables in a stable space Christian Schulte
• [gecode-users] NaryUnion, infinite loop Jean-Noël Monette
  • Re: [gecode-users] NaryUnion, infinite loop Guido Tack
  • Re: [gecode-users] NaryUnion, infinite loop Jean-Noël Monette
  • Re: [gecode-users] NaryUnion, infinite loop Guido Tack
  • Re: [gecode-users] NaryUnion, infinite loop Christian Schulte
  • [gecode-users] Reified Constraints do not propagate Max Ostrowski
  • Re: [gecode-users] Reified Constraints do not propagate Guido Tack
  • Re: [gecode-users] Reified Constraints do not propagate Max Ostrowski
  • Re: [gecode-users] Reified Constraints do not propagate Christian Schulte
  • Re: [gecode-users] Reified Constraints do not propagate Max Ostrowski
  • Re: [gecode-users] Reified Constraints do not propagate Guido Tack
  • Re: [gecode-users] Reified Constraints do not propagate Max Ostrowski
• [gecode-users] [ANN] gecode/python v0.27 Denys Duchier
• [gecode-users] Question: stop during a search Chuong
  • Re: [gecode-users] Question: stop during a search Guido Tack
  • Re: [gecode-users] Question: stop during a search Christian Schulte
• [gecode-users] Memory Leak with NaryUnion/Region(?) Jean-Noël Monette
  • Re: [gecode-users] Memory Leak with NaryUnion/Region(?) Christian Schulte
  • Re: [gecode-users] Memory Leak with NaryUnion/Region(?) Jean-Noël Monette
  • Re: [gecode-users] Memory Leak with NaryUnion/Region(?) Christian Schulte
• [gecode-users] Gecode 3.7.3 released Guido Tack
• [gecode-users] -samples and -iterations Yong LIN
  • Re: [gecode-users] -samples and -iterations Christian Schulte
  • [gecode-users] Segfault when assigning NaryUnion Jean-Noël Monette
  • Re: [gecode-users] Segfault when assigning NaryUnion Christian Schulte
  • [gecode-users] Questions about the range iterators Jean-Noël Monette
  • Re: [gecode-users] Questions about the range iterators Christian Schulte
• [gecode-users] IntVarArray Alexis Cothenet
  • Re: [gecode-users] IntVarArray Christian Schulte
  • Re: [gecode-users] IntVarArray Alexis Cothenet
  • Re: [gecode-users] IntVarArray Christian Schulte
• [gecode-users] print-last patch Wajid Hassan
  • Re: [gecode-users] print-last patch Christian Schulte
  • Re: [gecode-users] print-last patch Wajid Hassan
• [gecode-users] Gecode 3.7.2 released Guido Tack
• [gecode-users] Encoding of tuples as values Martin Mann
  • Re: [gecode-users] Encoding of tuples as values Christian Schulte
  • Re: [gecode-users] Encoding of tuples as values Martin Mann
  • Re: [gecode-users] Encoding of tuples as values Christian Schulte
• [gecode-users] Conditional constraints ? Wajid Hassan
  • Re: [gecode-users] Conditional constraints ? Christian Schulte
  • Re: [gecode-users] Conditional constraints ? Wajid Hassan
  • Re: [gecode-users] Conditional constraints ? Guido Tack
  • Re: [gecode-users] Conditional constraints ? Wajid Hassan
  • Re: [gecode-users] Conditional constraints ? Guido Tack
  • Re: [gecode-users] Conditional constraints ? Wajid Hassan
  • Re: [gecode-users] Conditional constraints ? Mauricio Toro
  • Re: [gecode-users] Conditional constraints ? Wajid Hassan
• [gecode-users] CP example for Scheduling and assignment Wajid Hassan
  • Re: [gecode-users] CP example for Scheduling and assignment Guido Tack
  • Re: [gecode-users] CP example for Scheduling and assignment Wajid Hassan
• [gecode-users] Trace propagation events Alexis Cothenet
  • Re: [gecode-users] Trace propagation events Guido Tack
• [gecode-users] gecode-3.7.1 on NetBSD Adam Russell
  • Re: [gecode-users] gecode-3.7.1 on NetBSD Christian Schulte
  • Re: [gecode-users] gecode-3.7.1 on NetBSD Adam Russell
  • Re: [gecode-users] gecode-3.7.1 on NetBSD Christian Schulte
• [gecode-users] [REQ] gecode-python Denys Duchier
• [gecode-users] FloatVar with Gecode 3.7.1 Sam Yoffe
  • Re: [gecode-users] FloatVar with Gecode 3.7.1 Christian Schulte
  • Re: [gecode-users] FloatVar with Gecode 3.7.1 Sam Yoffe
• [gecode-users] SetDelta::glbAny/lubAny Johannes Inführ
  • Re: [gecode-users] SetDelta::glbAny/lubAny Guido Tack
  • Re: [gecode-users] SetDelta::glbAny/lubAny Guido Tack
• [gecode-users] thanks very much Matthew Kitching
  • Re: [gecode-users] thanks very much Christian Schulte
• [gecode-users] List of pruned values Matthew Kitching
  • Re: [gecode-users] List of pruned values Guido Tack
  • Re: [gecode-users] List of pruned values Max Ostrowski
  • Re: [gecode-users] List of pruned values Christian Schulte
• [gecode-users] dynamic model Alexis Cothenet
  • Re: [gecode-users] dynamic model Christian Schulte
  • Re: [gecode-users] dynamic model Alexis Cothenet
• [gecode-users] Space val method causes python to crash Blockheads Oi Oi
  • Re: [gecode-users] Space val method causes python to crash Christian Schulte
  • Re: [gecode-users] Space val method causes python to crash Blockheads Oi Oi
• [gecode-users] How does killer_sudoku.cpp work? Blockheads Oi Oi
  • Re: [gecode-users] How does killer_sudoku.cpp work? Hakan Kjellerstrand
• [gecode-users] MinimizeScript: Beginners Question Josef Eisl
  • Re: [gecode-users] MinimizeScript: Beginners Question Christian Schulte
  • Re: [gecode-users] MinimizeScript: Beginners Question Josef Eisl
  • Re: [gecode-users] MinimizeScript: Beginners Question Christian Schulte
  • Re: [gecode-users] MinimizeScript: Beginners Question Tias Guns
  • Re: [gecode-users] MinimizeScript: Beginners Question Josef Eisl
  • Re: [gecode-users] MinimizeScript: Beginners Question Christian Schulte
  • Re: [gecode-users] MinimizeScript: Beginners Question Josef Eisl
• [gecode-users] Autolinking to Flatzinc library Tripti Saxena
  • Re: [gecode-users] Autolinking to Flatzinc library Christian Schulte
• [gecode-users] Linking with Visual Studio 2008 Wajid Hassan
  • Re: [gecode-users] Linking with Visual Studio 2008 Christian Schulte
  • Re: [gecode-users] Linking with Visual Studio 2008 Wajid Hassan
• [gecode-users] Qt library on Mac Yong LIN
  • Re: [gecode-users] Qt library on Mac Guido Tack
  • Re: [gecode-users] Qt library on Mac Yong LIN
• [gecode-users] install Gecode with Qt-SDK on Mac Yong LIN
  • Re: [gecode-users] install Gecode with Qt-SDK on Mac Yong LIN
• [gecode-users] Path constraint Henrik
  • Re: [gecode-users] Path constraint Christian Schulte
  • [gecode-users] Path constraint Philippe
  • Re: [gecode-users] Path constraint Christian Schulte
  • [gecode-users] Path constraint Philippe
• [gecode-users] Reify (on trunk) Denys Duchier
  • Re: [gecode-users] Reify (on trunk) Christian Schulte
• [gecode-users] On IntVar limits Alberto Delgado
  • Re: [gecode-users] On IntVar limits Guido Tack
• [gecode-users] multiple non parallel search in different threads TeXitoi
  • Re: [gecode-users] multiple non parallel search in different threads Christian Schulte
  • Re: [gecode-users] multiple non parallel search in different threads TeXitoi
  • Re: [gecode-users] multiple non parallel search in different threads Christian Schulte
  • Re: [gecode-users] multiple non parallel search in different threads TeXitoi
• [gecode-users] semantics for count(Home home, const IntVarArgs &x, IntVar y, IntRelType r, IntVar z) Kish Shen
  • Re: [gecode-users] semantics for count(Home home, const IntVarArgs &x, IntVar y, IntRelType r, IntVar z) Christian Schulte
  • Re: [gecode-users] semantics for count(Home home, const IntVarArgs &x, IntVar y, IntRelType r, IntVar z) Kish Shen
  • Re: [gecode-users] semantics for count(Home home, const IntVarArgs &x, IntVar y, IntRelType r, IntVar z) Christian Schulte
• [gecode-users] Search and Recomputation Max Ostrowski
  • Re: [gecode-users] Search and Recomputation Guido Tack
  • Re: [gecode-users] Search and Recomputation Christian Schulte
• [gecode-users] Implementing multiple GECODE models in a single Space Md Solimul Chowdhury
  • Re: [gecode-users] Implementing multiple GECODE models in a single Space Christian Schulte
• [gecode-users] Indexing into arrays Milton Friedman
  • Re: [gecode-users] Indexing into arrays Guido Tack
  • Re: [gecode-users] Indexing into arrays Milt
  • Re: [gecode-users] Indexing into arrays Christian Schulte
  • Re: [gecode-users] Indexing into arrays Milt
  • Re: [gecode-users] Indexing into arrays Christian Schulte
• [gecode-users] Efficiently excluding a set of values from the domains of multiple IntVars Kish Shen
  • Re: [gecode-users] Efficiently excluding a set of values from the domains of multiple IntVars Guido Tack
• [gecode-users] Memory problem using Gecode for local search TeXitoi
  • Re: [gecode-users] Memory problem using Gecode for local search Guido Tack
  • Re: [gecode-users] Memory problem using Gecode for local search TeXitoi
  • Re: [gecode-users] Memory problem using Gecode for local search Guido Tack
• [gecode-users] sorted constraint seg faults with empty arrays Kish Shen
  • Re: [gecode-users] sorted constraint seg faults with empty arrays Guido Tack
• [gecode-users] channel constraint posting not initially domain consistent? Kish Shen
  • Re: [gecode-users] channel constraint posting not initially domain consistent? Christian Schulte
• [gecode-users] [ANN] gecode/python v0.23 Denys Duchier
• [gecode-users] New gecode version desiderata: channeling between set variables Luca Di Gaspero
  • Re: [gecode-users] New gecode version desiderata: channeling between set variables Christian Schulte
  • Re: [gecode-users] New gecode version desiderata: channeling between set variables Denys Duchier
• [gecode-users] Gecode Python Set Variables Luca Di Gaspero
  • Re: [gecode-users] Gecode Python Set Variables Denys Duchier
  • [gecode-users] Computing Variable Domains Max Ostrowski
  • Re: [gecode-users] Computing Variable Domains Guido Tack
  • Re: [gecode-users] Computing Variable Domains Max Ostrowski
  • Re: [gecode-users] Computing Variable Domains Guido Tack
  • Re: [gecode-users] Computing Variable Domains Max Ostrowski
  • Re: [gecode-users] Computing Variable Domains Christian Schulte
  • [gecode-users] Removing propagators from a Space Max Ostrowski
  • Re: [gecode-users] Removing propagators from a Space Guido Tack
  • Re: [gecode-users] Removing propagators from a Space Christian Schulte
  • Re: [gecode-users] Removing propagators from a Space Max Ostrowski
  • Re: [gecode-users] Removing propagators from a Space Christian Schulte
• [gecode-users] compile-time testing of gecode version Denys Duchier
  • Re: [gecode-users] compile-time testing of gecode version Christian Schulte
• [gecode-users] assert in propagator cast David Rijsman
  • Re: [gecode-users] assert in propagator cast Christian Schulte
  • Re: [gecode-users] assert in propagator cast David Rijsman
  • Re: [gecode-users] assert in propagator cast Christian Schulte
  • Re: [gecode-users] assert in propagator cast David Rijsman
  • Re: [gecode-users] assert in propagator cast Christian Schulte
• [gecode-users] looking for an example of path constraints serge lemouton
  • Re: [gecode-users] looking for an example of path constraints Christian Schulte
  • Re: [gecode-users] looking for an example of path constraints serge lemouton
  • Re: [gecode-users] still looking for an example of path constraints serge lemouton
  • Re: [gecode-users] still looking for an example of path constraints Christian Schulte
  • Re: [gecode-users] still looking for an example of path constraints Guido Tack
• [gecode-users] [ANN] gecode/python v0.22 Denys Duchier
  • Re: [gecode-users] [ANN] gecode/python v0.22 Vivian De Smedt
  • Re: [gecode-users] [ANN] gecode/python v0.22 Denys Duchier
  • Re: [gecode-users] [ANN] gecode/python v0.22 Vivian De Smedt
  • Re: [gecode-users] [ANN] gecode/python v0.22 Denys Duchier
  • Re: [gecode-users] [ANN] gecode/python v0.22 Denys Duchier
• [gecode-users] extensional constraints with regular expressions Kish Shen
  • Re: [gecode-users] extensional constraints with regular expressions Christian Schulte
• [gecode-users] Gecode 4.0.0 Christian Schulte
  • Re: [gecode-users] Gecode 4.0.0 Christian Schulte
  • Re: [gecode-users] Gecode 4.0.0 Filip Konvička
  • Re: [gecode-users] Gecode 4.0.0 Christian Schulte
  • Re: [gecode-users] Gecode 4.0.0 Vincent Barichard
  • Re: [gecode-users] Gecode 4.0.0 Gustavo Gutierrez
  • Re: [gecode-users] Gecode 4.0.0 Filip Konvička
  • Re: [gecode-users] Gecode 4.0.0 TeXitoi
  • Re: [gecode-users] Gecode 4.0.0 Filip Konvička
  • Re: [gecode-users] Gecode 4.0.0 Vincent Barichard
  • Re: [gecode-users] Gecode 4.0.0 Filip Konvička
  • Re: [gecode-users] Gecode 4.0.0 Guido Tack
  • Re: [gecode-users] Gecode 4.0.0 Christian Schulte
• [gecode-users] [ANN] gecode/python v0.20 Denys Duchier
  • Re: [gecode-users] [ANN] gecode/python v0.20 Denys Duchier
  • Re: [gecode-users] [ANN] gecode/python v0.20 Vivian De Smedt

• Earlier messages
• Later messages