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