users  

Messages by Thread

• [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells Andrea Sacconi
  • Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells Christian Schulte
  • Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells Andrea Sacconi
  • Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells Christian Schulte
  • Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells Andrea Sacconi
  • Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells Andrea Sacconi
  • Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells Christian Schulte
  • Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells Andrea Sacconi
• [gecode-users] Float overflow exceptions with 'linear' in 6.0.1 Konvicka Filip
  • Re: [gecode-users] Float overflow exceptions with 'linear' in 6.0.1 Christian Schulte
  • Re: [gecode-users] Float overflow exceptions with 'linear' in 6.0.1 Konvicka Filip
  • Re: [gecode-users] Float overflow exceptions with 'linear' in 6.0.1 Christian Schulte
  • Re: [gecode-users] Float overflow exceptions with 'linear' in 6.0.1 Konvicka Filip
• [gecode-users] Installation problem: undefined rerence to Gist Andrea Sacconi
  • Re: [gecode-users] Installation problem: undefined rerence to Gist Christian Schulte
  • Re: [gecode-users] Installation problem: undefined rerence to Gist Andrea Sacconi
  • Re: [gecode-users] Installation problem: undefined rerence to Gist Andrea Sacconi
  • Re: [gecode-users] Installation problem: undefined rerence to Gist Guido Tack
  • Re: [gecode-users] Installation problem: undefined rerence to Gist Andrea Sacconi
• [gecode-users] New Constraints and theirs Propagatores Bouchene Sabrina
  • Re: [gecode-users] New Constraints and theirs Propagatores Christian Schulte
• [gecode-users] from 3 to 6? Johannes Waldmann
  • [gecode-users] update of gecode back-end for monadic-cp, was: Re: from 3 to 6? Johannes Waldmann
• [gecode-users] gecode 6 exception Kurt Van Den Branden
  • Re: [gecode-users] gecode 6 exception Christian Schulte
  • Re: [gecode-users] gecode 6 exception Christian Schulte
  • Re: [gecode-users] gecode 6 exception Christian Schulte
• [gecode-users] Is it allowed to rewrite or subsume in the advise function of a propagator? Sebastian Albert
• [gecode-users] gecode 6 compilation error aqwzsxaqwzsx
• [gecode-users] custom brancher and failures count aqwzsxaqwzsx
• [gecode-users] Can a propagator hide domain wipe-out of a variable? Sebastian Albert
  • Re: [gecode-users] Can a propagator hide domain wipe-out of a variable? Christian Schulte
• [gecode-users] dynamic cost calculation aqwzsxaqwzsx
  • [gecode-users] dynamic cost calculation aqwzsxaqwzsx
• [gecode-users] Distinguishing advisors by pointer or reference? Sebastian Albert
  • Re: [gecode-users] Distinguishing advisors by pointer or reference? Christian Schulte
• [gecode-users] Variable implementations are copied automatically during search, right? Sebastian Albert
  • Re: [gecode-users] Variable implementations are copied automatically during search, right? Christian Schulte
• [gecode-users] BAB and pruning aqwzsxaqwzsx
  • Re: [gecode-users] BAB and pruning Christian Schulte
  • Re: [gecode-users] BAB and pruning aqwzsxaqwzsx
• [gecode-users] BAB implementation aqwzsxaqwzsx
  • Re: [gecode-users] BAB implementation Christian Schulte
  • Re: [gecode-users] BAB implementation aqwzsxaqwzsx
  • Re: [gecode-users] BAB implementation Christian Schulte
  • Re: [gecode-users] BAB implementation aqwzsxaqwzsx
• [gecode-users] Extra level of variables needed for count? Neill Clift
  • Re: [gecode-users] Extra level of variables needed for count? Christian Schulte
  • Re: [gecode-users] Extra level of variables needed for count? Neill Clift
  • Re: [gecode-users] Extra level of variables needed for count? Christian Schulte
  • Re: [gecode-users] Extra level of variables needed for count? Neill Clift
  • Re: [gecode-users] Extra level of variables needed for count? Christian Schulte
• [gecode-users] Gecode 6.6.0 released Guido Tack
• [gecode-users] Element restriction is correctly used in MPG? Alejandro . Fernández
  • Re: [gecode-users] Element restriction is correctly used in MPG? Sebastian Albert
• [gecode-users] BAB Search Stats Assia benziane
  • Re: [gecode-users] BAB Search Stats Christian Schulte
• [gecode-users] Operation of precede constraint on array of sets Tim Potter
  • Re: [gecode-users] Operation of precede constraint on array of sets Chris Mears
  • Re: [gecode-users] Operation of precede constraint on array of sets Tim Potter
  • Re: [gecode-users] Operation of precede constraint on array of sets Chris Mears
• [gecode-users] incomplete output from fan-gecode Max Waters
• [gecode-users] runing time Hamza Bouchaour
  • Re: [gecode-users] runing time Christian Schulte
• [gecode-users] Arbitrary big numbers? Slav
  • Re: [gecode-users] Arbitrary big numbers? Christian Schulte
  • Re: [gecode-users] Arbitrary big numbers? Slav
  • Re: [gecode-users] Arbitrary big numbers? Christian Schulte
  • Re: [gecode-users] Arbitrary big numbers? Kish Shen
  • Re: [gecode-users] Arbitrary big numbers? Slav
  • Re: [gecode-users] Arbitrary big numbers? Christian Schulte
• [gecode-users] bin packing variant Yilmaz Arslanoglu
  • Re: [gecode-users] bin packing variant Christian Schulte
  • Re: [gecode-users] bin packing variant Yilmaz Arslanoglu
• [gecode-users] Compile errors while installing GECODE 1.3.1 reg
  • Re: [gecode-users] Compile errors while installing GECODE 1.3.1 Christian Schulte
• [gecode-users] Gecode compiling error Julie B
  • Re: [gecode-users] Gecode compiling error Christian Schulte
• [gecode-users] "Mapping" constraint Сергей Солонец
  • Re: [gecode-users] "Mapping" constraint Christian Schulte
• [gecode-users] Adding constraints to model in <RBS>: is there any example code? Dirk Obermann
  • Re: [gecode-users] Adding constraints to model in <RBS>: is there any example code? Christian Schulte
  • Re: [gecode-users] Adding constraints to model in <RBS>: is there any example code? Dirk Obermann
  • Re: [gecode-users] Adding constraints to model in <RBS>: is there any example code? Christian Schulte
  • Re: [gecode-users] Adding constraints to model in <RBS>: is there any example code? Dirk Obermann
  • Re: [gecode-users] Adding constraints to model in <RBS>: is there any example code? Christian Schulte
• [gecode-users] Problem with linear constraint over integers using minimodel ("undef ref") Sascha Schnug
  • Re: [gecode-users] Problem with linear constraint over integers using minimodel ("undef ref") Sascha Schnug
• [gecode-users] Question on IntVar-equalities with and without MiniModel Drescher, Conrad
  • Re: [gecode-users] Question on IntVar-equalities with and without MiniModel Christian Schulte
  • Re: [gecode-users] Question on IntVar-equalities with and without MiniModel Drescher, Conrad
  • Re: [gecode-users] Question on IntVar-equalities with and without MiniModel Christian Schulte
  • Re: [gecode-users] Question on IntVar-equalities with and without MiniModel Drescher, Conrad
  • Re: [gecode-users] Question on IntVar-equalities with and without MiniModel Christian Schulte
• [gecode-users] Question on rewriting Drescher, Conrad
  • Re: [gecode-users] Question on rewriting Christian Schulte
• [gecode-users] Float values and element constraint Arshad Khan
  • Re: [gecode-users] Float values and element constraint Dani G
  • Re: [gecode-users] Float values and element constraint Arshad Khan
• [gecode-users] Time limit Pierpaolo Caricato
  • Re: [gecode-users] Time limit Christian Schulte
  • Re: [gecode-users] Time limit Pierpaolo Caricato
  • Re: [gecode-users] Time limit Christian Schulte
• [gecode-users] constraint “each value in array appears at least k times” Сергей Солонец
  • Re: [gecode-users] constraint “each value in array appears at least k times” Christian Schulte
• [gecode-users] Pair counting constraint Сергей Солонец
• [gecode-users] Number of solutions Hamza Bouchaour
  • Re: [gecode-users] Number of solutions Christian Schulte
  • Re: [gecode-users] Number of solutions Johannes Waldmann
  • Re: [gecode-users] Number of solutions Christian Schulte
  • Re: [gecode-users] Number of solutions Sebastian Kosch
  • Re: [gecode-users] Number of solutions Christian Schulte
• [gecode-users] cmake mpfr linking problem Bartek Cisek
• [gecode-users] tracing without programming? Johannes Waldmann
  • Re: [gecode-users] tracing without programming? Christian Schulte
  • Re: [gecode-users] tracing without programming? Johannes Waldmann
  • Re: [gecode-users] tracing without programming? Christian Schulte
  • Re: [gecode-users] tracing without programming? Johannes Waldmann
  • Re: [gecode-users] tracing without programming? Christian Schulte
• [gecode-users] how to build/use mini/flatzinc back-end? Johannes Waldmann
  • Re: [gecode-users] how to build/use mini/flatzinc back-end? Christian Schulte
  • Re: [gecode-users] how to build/use mini/flatzinc back-end? Guido Tack
  • Re: [gecode-users] how to build/use mini/flatzinc back-end? Johannes Waldmann
• [gecode-users] Re-execution of program Assia benziane
  • Re: [gecode-users] Re-execution of program Christian Schulte
• [gecode-users] Using LocalHandles and LocalObjects with External Resources Peter Backeman
  • Re: [gecode-users] Using LocalHandles and LocalObjects with External Resources Christian Schulte
• [gecode-users] Function optimization Assia benziane
  • Re: [gecode-users] Function optimization Christian Schulte
• [gecode-users] Linear Diophantine Equations Neill Clift
  • Re: [gecode-users] Linear Diophantine Equations Christian Schulte
  • Re: [gecode-users] Linear Diophantine Equations Neill Clift
  • Re: [gecode-users] Linear Diophantine Equations Christian Schulte
• [gecode-users] Problem optimization Assia benziane
  • [gecode-users] problem optimization Assia benziane
  • Re: [gecode-users] problem optimization Dani G
• [gecode-users] Max-sat solving Assia benziane
  • Re: [gecode-users] Max-sat solving Christian Schulte
• [gecode-users] Questions about element and channel constraint for float variables Dani G
  • Re: [gecode-users] Questions about element and channel constraint for float variables Guido Tack
• [gecode-users] Compile gecode for 32-bit under Linux Alexander Schuppisser
  • Re: [gecode-users] Compile gecode for 32-bit under Linux Christian Schulte
  • Re: [gecode-users] Compile gecode for 32-bit under Linux Alexander Schuppisser
  • Re: [gecode-users] Compile gecode for 32-bit under Linux Guido Tack
• [gecode-users] Gecode 5.0.0 released Christian Schulte
  • Re: [gecode-users] Gecode 5.0.0 released Carlo Capelli
  • Re: [gecode-users] Gecode 5.0.0 released Christian Schulte
  • Re: [gecode-users] Gecode 5.0.0 released Christian Schulte
  • Re: [gecode-users] Gecode 5.0.0 released Guido Tack
  • Re: [gecode-users] Gecode 5.0.0 released Guido Tack
• [gecode-users] Verbose output to trace propagation Sebastian Albert
  • Re: [gecode-users] Verbose output to trace propagation Christian Schulte
  • Re: [gecode-users] Verbose output to trace propagation Miquel Ramírez
• [gecode-users] MAX-SAT problem Assia benziane
  • Re: [gecode-users] MAX-SAT problem Guido Tack
  • Re: [gecode-users] MAX-SAT problem Assia benziane
  • Re: [gecode-users] MAX-SAT problem Christian Schulte
• [gecode-users] Cost optimization problem Sebastien Delmotte
  • Re: [gecode-users] Cost optimization problem Christian Schulte
  • Re: [gecode-users] Cost optimization problem Sebastien Delmotte
  • Re: [gecode-users] Cost optimization problem Christian Schulte
  • Re: [gecode-users] Cost optimization problem Sebastien Delmotte
  • Re: [gecode-users] Cost optimization problem Sebastien Delmotte
  • Re: [gecode-users] Cost optimization problem Guido Tack
  • Re: [gecode-users] Cost optimization problem Sebastien Delmotte
  • Re: [gecode-users] Cost optimization problem Sebastien Delmotte
• [gecode-users] Installation Fabien Brosseau
  • Re: [gecode-users] Installation Christian Schulte
  • Re: [gecode-users] Installation Christian Schulte
  • Re: [gecode-users] Installation Christian Schulte
  • Re: [gecode-users] Installation Fabien Brosseau
• [gecode-users] MemoryStop - is there any replacement Helmut Jarausch
  • Re: [gecode-users] MemoryStop - is there any replacement Christian Schulte
• [gecode-users] Strange Error Concerning Memory Yunus Acikoz
  • Re: [gecode-users] Strange Error Concerning Memory Christian Schulte
  • Re: [gecode-users] Strange Error Concerning Memory Yunus Acikoz
• [gecode-users] scheduling problem, tow branchers, order of branching Wu Shaowei
  • Re: [gecode-users] scheduling problem, tow branchers, order of branching Christian Schulte
• [gecode-users] fzn-gecode -mode gist and variable names Mats Carlsson
  • Re: [gecode-users] fzn-gecode -mode gist and variable names Guido Tack
  • Re: [gecode-users] fzn-gecode -mode gist and variable names Mats Carlsson
  • Re: [gecode-users] fzn-gecode -mode gist and variable names Guido Tack
  • Re: [gecode-users] fzn-gecode -mode gist and variable names Mats Carlsson
  • Re: [gecode-users] fzn-gecode -mode gist and variable names Christian Schulte
  • Re: [gecode-users] fzn-gecode -mode gist and variable names Guido Tack
• [gecode-users] Update variable domain during search mehdi m
  • Re: [gecode-users] Update variable domain during search Christian Schulte
• [gecode-users] Reified MiniZinc Decompositions of Globals are overridden for Gecode Alexander Schiendorfer
  • Re: [gecode-users] Reified MiniZinc Decompositions of Globals are overridden for Gecode Guido Tack
• [gecode-users] Advices for creating new variable type? Geoffroy Zoetardt
  • Re: [gecode-users] Advices for creating new variable type? Christian Schulte
  • Re: [gecode-users] Advices for creating new variable type? Geoffroy Zoetardt
  • Re: [gecode-users] Advices for creating new variable type? Christian Schulte
  • Re: [gecode-users] Advices for creating new variable type? Torsten Anders
• [gecode-users] Scheduling A Propagator After Backtrack Yunus Acikoz
  • Re: [gecode-users] Scheduling A Propagator After Backtrack Christian Schulte
  • Re: [gecode-users] Scheduling A Propagator After Backtrack Yunus Acikoz
  • Re: [gecode-users] Scheduling A Propagator After Backtrack Christian Schulte
• [gecode-users] Smart pointer in propagator? Drescher, Conrad
  • Re: [gecode-users] Smart pointer in propagator? Christian Schulte

• Earlier messages