gecoder-with-gecode 0.9.1 → 1.0.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (9) hide show
  1. data/CHANGES +5 -0
  2. data/COPYING +1 -1
  3. data/README +2 -9
  4. data/THANKS +2 -2
  5. data/example/sudoku.rb +1 -1
  6. data/lib/gecoder/version.rb +1 -1
  7. data/tasks/dependencies.txt +2 -1
  8. data/tasks/distribution.rake +1 -1
  9. metadata +815 -815
data/CHANGES CHANGED
@@ -1,3 +1,8 @@
1
+ == Version 1.0.0
2
+ This release represents a commitment to the current syntax.
3
+
4
+ * No changes apart from improving documentation.
5
+
1
6
  == Version 0.9.1
2
7
  This release changes the preferred way of defining a model to including Gecode::Mixin (a mixin) rather than inheriting from Gecode::Model. The backend has also been updated to fix some rare bugs.
3
8
 
data/COPYING CHANGED
@@ -1,5 +1,5 @@
1
1
  Gecode/R, a Ruby interface to Gecode.
2
- Copyright (C) 2007 The Gecode/R development team.
2
+ Copyright (C) 2007-2008 The Gecode/R development team.
3
3
 
4
4
  This library is free software; you can redistribute it and/or
5
5
  modify it under the terms of the GNU Lesser General Public
data/README CHANGED
@@ -6,14 +6,7 @@ Gecode/R is a Ruby interface to the Gecode constraint programming library.
6
6
  Gecode/R is intended for people with no previous experience of constraint
7
7
  programming, aiming to be easy to pick up and use.
8
8
 
9
- See Gecode::Model to get started.
10
-
11
- == Warning
12
-
13
- Gecode/R is still in a development stage, the syntax is by no means final
14
- and backwards compatibility will be broken time and time again. Don't use
15
- Gecode/R in production-code yet, it's merely available at this point to allow
16
- people to play with it and give feedback.
9
+ See Gecode::Mixin to get started.
17
10
 
18
11
  == Installation
19
12
 
@@ -38,7 +31,7 @@ Gecode/R and Gecode:
38
31
  === Installing from source using gem
39
32
 
40
33
  rake gem
41
- gem install pkg/gecoder-0.x.x.gem
34
+ gem install pkg/gecoder-1.x.x.gem
42
35
 
43
36
  === Installing from source without using gem
44
37
 
data/THANKS CHANGED
@@ -1,5 +1,5 @@
1
- A list of people who have contributed to making Gecode/R what it is
2
- today. Sorted in alphabetical order by last name.
1
+ This is a list of people who have contributed to making Gecode/R what it
2
+ is today. It is sorted in alphabetical order by last name.
3
3
 
4
4
  * David Cuadrado - For the initial raw bindings from Gecode to Ruby.
5
5
  * Eivind Eklund - For the idea that led to the syntax used to specify
data/example/sudoku.rb CHANGED
@@ -19,7 +19,7 @@ sudoku = Matrix[
19
19
 
20
20
  solution = Gecode.solve do
21
21
  # Verify that the input is of a valid size.
22
- @size = n = sudoku.row_size
22
+ n = sudoku.row_size
23
23
  sub_matrix_size = Math.sqrt(n).round
24
24
  unless sudoku.square? and sub_matrix_size**2 == n
25
25
  raise ArgumentError, 'Incorrect value matrix size.'
data/lib/gecoder/version.rb CHANGED
@@ -1,4 +1,4 @@
1
1
  module GecodeR #:nodoc:
2
2
  # A string representation of the Gecode/R version.
3
- VERSION = '0.9.1'
3
+ VERSION = '1.0.0'
4
4
  end
data/tasks/dependencies.txt CHANGED
@@ -3,7 +3,8 @@ Doing the full "release" task requires a number of gems:
3
3
  # To run the Rake scripts.
4
4
  rake
5
5
 
6
- # To generate the website.
6
+ # To generate the website. Note that RedCloth 4.0.3 does not work so well
7
+ # with the website at the time of writing, so use 3.0.4 .
7
8
  webgen
8
9
  coderay
9
10
 
data/tasks/distribution.rake CHANGED
@@ -195,7 +195,7 @@ gecode_release_files = [
195
195
  "pkg/#{PKG_FILE_NAME_WITH_GECODE}.gem",
196
196
  #"pkg/#{PKG_FILE_NAME_WITH_GECODE}.tgz",
197
197
  #"pkg/#{PKG_FILE_NAME_WITH_GECODE}.zip",
198
- "pkg/#{PKG_FILE_NAME_WITH_GECODE}-x86-mswin32.gem"
198
+ "pkg/#{PKG_FILE_NAME_WITH_GECODE}-x86-mswin32-60.gem"
199
199
  ]
200
200
  gecode_release_files.each do |pkg|
201
201
  file pkg => :extract_gecode
metadata CHANGED
@@ -1,7 +1,7 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: gecoder-with-gecode
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.9.1
4
+ version: 1.0.0
5
5
  platform: ruby
6
6
  authors:
7
7
  - Gecode/R Development Team
@@ -9,7 +9,7 @@ autorequire:
9
9
  bindir: bin
10
10
  cert_chain: []
11
11
 
12
- date: 2008-08-29 00:00:00 +02:00
12
+ date: 2008-09-21 00:00:00 +02:00
13
13
  default_executable:
14
14
  dependencies: []
15
15
 
@@ -26,1006 +26,1006 @@ extra_rdoc_files:
26
26
  - THANKS
27
27
  - LGPL-LICENSE
28
28
  - lib/gecoder.rb
29
- - lib/gecoder/bindings.rb
30
- - lib/gecoder/interface/branch.rb
31
- - lib/gecoder/interface/enum_matrix.rb
29
+ - lib/gecoder/interface/variables.rb
30
+ - lib/gecoder/interface/convenience.rb
32
31
  - lib/gecoder/interface/search.rb
33
32
  - lib/gecoder/interface/constraints.rb
34
- - lib/gecoder/interface/convenience.rb
35
- - lib/gecoder/interface/variables.rb
36
- - lib/gecoder/interface/mixin.rb
33
+ - lib/gecoder/interface/branch.rb
37
34
  - lib/gecoder/interface/enum_wrapper.rb
38
- - lib/gecoder/interface/constraints/set_var_constraints.rb
39
35
  - lib/gecoder/interface/constraints/extensional_regexp.rb
36
+ - lib/gecoder/interface/constraints/bool_enum_constraints.rb
40
37
  - lib/gecoder/interface/constraints/selected_set_constraints.rb
41
- - lib/gecoder/interface/constraints/int_enum_constraints.rb
42
- - lib/gecoder/interface/constraints/set/channel.rb
38
+ - lib/gecoder/interface/constraints/fixnum_enum/element.rb
39
+ - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
40
+ - lib/gecoder/interface/constraints/bool/linear.rb
41
+ - lib/gecoder/interface/constraints/bool/channel.rb
42
+ - lib/gecoder/interface/constraints/bool/boolean.rb
43
+ - lib/gecoder/interface/constraints/set/connection.rb
43
44
  - lib/gecoder/interface/constraints/set/cardinality.rb
44
- - lib/gecoder/interface/constraints/set/include.rb
45
+ - lib/gecoder/interface/constraints/set/relation.rb
45
46
  - lib/gecoder/interface/constraints/set/operation.rb
46
- - lib/gecoder/interface/constraints/set/connection.rb
47
+ - lib/gecoder/interface/constraints/set/include.rb
48
+ - lib/gecoder/interface/constraints/set/channel.rb
47
49
  - lib/gecoder/interface/constraints/set/domain.rb
48
- - lib/gecoder/interface/constraints/set/relation.rb
49
- - lib/gecoder/interface/constraints/set_elements/relation.rb
50
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
51
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
52
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
53
+ - lib/gecoder/interface/constraints/set_enum/element.rb
54
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
55
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
50
56
  - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
51
- - lib/gecoder/interface/constraints/int/channel.rb
57
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
58
+ - lib/gecoder/interface/constraints/set_elements_constraints.rb
59
+ - lib/gecoder/interface/constraints/int_var_constraints.rb
60
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
52
61
  - lib/gecoder/interface/constraints/int/arithmetic.rb
53
62
  - lib/gecoder/interface/constraints/int/linear.rb
54
- - lib/gecoder/interface/constraints/int/domain.rb
55
63
  - lib/gecoder/interface/constraints/int/relation.rb
56
- - lib/gecoder/interface/constraints/set_enum_constraints.rb
57
- - lib/gecoder/interface/constraints/bool/channel.rb
58
- - lib/gecoder/interface/constraints/bool/boolean.rb
59
- - lib/gecoder/interface/constraints/bool/linear.rb
60
- - lib/gecoder/interface/constraints/int_enum/channel.rb
64
+ - lib/gecoder/interface/constraints/int/channel.rb
65
+ - lib/gecoder/interface/constraints/int/domain.rb
66
+ - lib/gecoder/interface/constraints/selected_set/select.rb
61
67
  - lib/gecoder/interface/constraints/int_enum/distinct.rb
68
+ - lib/gecoder/interface/constraints/int_enum/extensional.rb
62
69
  - lib/gecoder/interface/constraints/int_enum/element.rb
70
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
63
71
  - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
64
72
  - lib/gecoder/interface/constraints/int_enum/count.rb
65
- - lib/gecoder/interface/constraints/int_enum/extensional.rb
73
+ - lib/gecoder/interface/constraints/int_enum/channel.rb
66
74
  - lib/gecoder/interface/constraints/int_enum/equality.rb
67
- - lib/gecoder/interface/constraints/int_enum/sort.rb
68
- - lib/gecoder/interface/constraints/set_elements_constraints.rb
69
- - lib/gecoder/interface/constraints/bool_var_constraints.rb
70
- - lib/gecoder/interface/constraints/bool_enum_constraints.rb
71
- - lib/gecoder/interface/constraints/selected_set/select.rb
72
- - lib/gecoder/interface/constraints/fixnum_enum/element.rb
73
- - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
74
- - lib/gecoder/interface/constraints/bool_enum/channel.rb
75
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
76
+ - lib/gecoder/interface/constraints/set_elements/relation.rb
75
77
  - lib/gecoder/interface/constraints/bool_enum/extensional.rb
76
78
  - lib/gecoder/interface/constraints/bool_enum/relation.rb
77
- - lib/gecoder/interface/constraints/int_var_constraints.rb
78
- - lib/gecoder/interface/constraints/reifiable_constraints.rb
79
- - lib/gecoder/interface/constraints/set_enum/channel.rb
80
- - lib/gecoder/interface/constraints/set_enum/distinct.rb
81
- - lib/gecoder/interface/constraints/set_enum/element.rb
82
- - lib/gecoder/interface/constraints/set_enum/operation.rb
79
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
83
80
  - lib/gecoder/interface/binding_changes.rb
81
+ - lib/gecoder/interface/mixin.rb
82
+ - lib/gecoder/interface/enum_matrix.rb
84
83
  - lib/gecoder/version.rb
85
84
  - lib/gecoder/interface.rb
85
+ - lib/gecoder/bindings.rb
86
86
  - lib/gecoder/bindings/bindings.rb
87
87
  files:
88
88
  - README
89
- - LGPL-LICENSE
90
- - THANKS
89
+ - Rakefile
91
90
  - CHANGES
92
91
  - COPYING
93
- - Rakefile
92
+ - THANKS
93
+ - LGPL-LICENSE
94
94
  - lib/gecoder.rb
95
- - lib/gecoder/bindings.rb
96
- - lib/gecoder/interface/branch.rb
97
- - lib/gecoder/interface/enum_matrix.rb
95
+ - lib/gecoder/interface/variables.rb
96
+ - lib/gecoder/interface/convenience.rb
98
97
  - lib/gecoder/interface/search.rb
99
98
  - lib/gecoder/interface/constraints.rb
100
- - lib/gecoder/interface/convenience.rb
101
- - lib/gecoder/interface/variables.rb
102
- - lib/gecoder/interface/mixin.rb
99
+ - lib/gecoder/interface/branch.rb
103
100
  - lib/gecoder/interface/enum_wrapper.rb
104
- - lib/gecoder/interface/constraints/set_var_constraints.rb
105
101
  - lib/gecoder/interface/constraints/extensional_regexp.rb
102
+ - lib/gecoder/interface/constraints/bool_enum_constraints.rb
106
103
  - lib/gecoder/interface/constraints/selected_set_constraints.rb
107
- - lib/gecoder/interface/constraints/int_enum_constraints.rb
108
- - lib/gecoder/interface/constraints/set/channel.rb
104
+ - lib/gecoder/interface/constraints/fixnum_enum/element.rb
105
+ - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
106
+ - lib/gecoder/interface/constraints/bool/linear.rb
107
+ - lib/gecoder/interface/constraints/bool/channel.rb
108
+ - lib/gecoder/interface/constraints/bool/boolean.rb
109
+ - lib/gecoder/interface/constraints/set/connection.rb
109
110
  - lib/gecoder/interface/constraints/set/cardinality.rb
110
- - lib/gecoder/interface/constraints/set/include.rb
111
+ - lib/gecoder/interface/constraints/set/relation.rb
111
112
  - lib/gecoder/interface/constraints/set/operation.rb
112
- - lib/gecoder/interface/constraints/set/connection.rb
113
+ - lib/gecoder/interface/constraints/set/include.rb
114
+ - lib/gecoder/interface/constraints/set/channel.rb
113
115
  - lib/gecoder/interface/constraints/set/domain.rb
114
- - lib/gecoder/interface/constraints/set/relation.rb
115
- - lib/gecoder/interface/constraints/set_elements/relation.rb
116
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
117
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
118
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
119
+ - lib/gecoder/interface/constraints/set_enum/element.rb
120
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
121
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
116
122
  - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
117
- - lib/gecoder/interface/constraints/int/channel.rb
123
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
124
+ - lib/gecoder/interface/constraints/set_elements_constraints.rb
125
+ - lib/gecoder/interface/constraints/int_var_constraints.rb
126
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
118
127
  - lib/gecoder/interface/constraints/int/arithmetic.rb
119
128
  - lib/gecoder/interface/constraints/int/linear.rb
120
- - lib/gecoder/interface/constraints/int/domain.rb
121
129
  - lib/gecoder/interface/constraints/int/relation.rb
122
- - lib/gecoder/interface/constraints/set_enum_constraints.rb
123
- - lib/gecoder/interface/constraints/bool/channel.rb
124
- - lib/gecoder/interface/constraints/bool/boolean.rb
125
- - lib/gecoder/interface/constraints/bool/linear.rb
126
- - lib/gecoder/interface/constraints/int_enum/channel.rb
130
+ - lib/gecoder/interface/constraints/int/channel.rb
131
+ - lib/gecoder/interface/constraints/int/domain.rb
132
+ - lib/gecoder/interface/constraints/selected_set/select.rb
127
133
  - lib/gecoder/interface/constraints/int_enum/distinct.rb
134
+ - lib/gecoder/interface/constraints/int_enum/extensional.rb
128
135
  - lib/gecoder/interface/constraints/int_enum/element.rb
136
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
129
137
  - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
130
138
  - lib/gecoder/interface/constraints/int_enum/count.rb
131
- - lib/gecoder/interface/constraints/int_enum/extensional.rb
139
+ - lib/gecoder/interface/constraints/int_enum/channel.rb
132
140
  - lib/gecoder/interface/constraints/int_enum/equality.rb
133
- - lib/gecoder/interface/constraints/int_enum/sort.rb
134
- - lib/gecoder/interface/constraints/set_elements_constraints.rb
135
- - lib/gecoder/interface/constraints/bool_var_constraints.rb
136
- - lib/gecoder/interface/constraints/bool_enum_constraints.rb
137
- - lib/gecoder/interface/constraints/selected_set/select.rb
138
- - lib/gecoder/interface/constraints/fixnum_enum/element.rb
139
- - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
140
- - lib/gecoder/interface/constraints/bool_enum/channel.rb
141
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
142
+ - lib/gecoder/interface/constraints/set_elements/relation.rb
141
143
  - lib/gecoder/interface/constraints/bool_enum/extensional.rb
142
144
  - lib/gecoder/interface/constraints/bool_enum/relation.rb
143
- - lib/gecoder/interface/constraints/int_var_constraints.rb
144
- - lib/gecoder/interface/constraints/reifiable_constraints.rb
145
- - lib/gecoder/interface/constraints/set_enum/channel.rb
146
- - lib/gecoder/interface/constraints/set_enum/distinct.rb
147
- - lib/gecoder/interface/constraints/set_enum/element.rb
148
- - lib/gecoder/interface/constraints/set_enum/operation.rb
145
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
149
146
  - lib/gecoder/interface/binding_changes.rb
147
+ - lib/gecoder/interface/mixin.rb
148
+ - lib/gecoder/interface/enum_matrix.rb
150
149
  - lib/gecoder/version.rb
151
150
  - lib/gecoder/interface.rb
151
+ - lib/gecoder/bindings.rb
152
152
  - lib/gecoder/bindings/bindings.rb
153
153
  - example/queens.rb
154
- - example/equation_system.rb
155
154
  - example/send_most_money.rb
156
155
  - example/magic_sequence.rb
156
+ - example/equation_system.rb
157
157
  - example/send_more_money.rb
158
- - example/sudoku-set.rb
159
- - example/sudoku.rb
160
158
  - example/square_tiling.rb
161
159
  - example/example_helper.rb
162
- - vendor/rust/bin
163
- - vendor/rust/bin/cxxgenerator.rb
160
+ - example/sudoku-set.rb
161
+ - example/sudoku.rb
164
162
  - vendor/rust/README
163
+ - vendor/rust/rust.rb
164
+ - vendor/rust/test
165
+ - vendor/rust/test/operators.cc
166
+ - vendor/rust/test/cwrapper.c
167
+ - vendor/rust/test/cppclass.cc
168
+ - vendor/rust/test/test-cppclass.rb
169
+ - vendor/rust/test/cppclass.hh
170
+ - vendor/rust/test/test-cwrapper.rb
171
+ - vendor/rust/test/test-constants.rb
172
+ - vendor/rust/test/operators.rb
173
+ - vendor/rust/test/cwrapper.h
174
+ - vendor/rust/test/cppclass.rb
175
+ - vendor/rust/test/dummyclass.hh
176
+ - vendor/rust/test/constants.rb
177
+ - vendor/rust/test/cwrapper.rb
178
+ - vendor/rust/test/Makefile
179
+ - vendor/rust/test/operators.hh
180
+ - vendor/rust/test/lib
181
+ - vendor/rust/test/lib/extension-test.rb
182
+ - vendor/rust/test/test-operators.rb
165
183
  - vendor/rust/rust
166
- - vendor/rust/rust/cwrapper.rb
167
- - vendor/rust/rust/bindings.rb
168
- - vendor/rust/rust/element.rb
184
+ - vendor/rust/rust/enum.rb
169
185
  - vendor/rust/rust/cxxclass.rb
170
- - vendor/rust/rust/type.rb
171
- - vendor/rust/rust/class.rb
186
+ - vendor/rust/rust/function.rb
187
+ - vendor/rust/rust/element.rb
188
+ - vendor/rust/rust/attribute.rb
172
189
  - vendor/rust/rust/container.rb
190
+ - vendor/rust/rust/cppifaceparser.rb
191
+ - vendor/rust/rust/constants.rb
192
+ - vendor/rust/rust/namespace.rb
193
+ - vendor/rust/rust/class.rb
194
+ - vendor/rust/rust/bindings.rb
195
+ - vendor/rust/rust/type.rb
196
+ - vendor/rust/rust/cwrapper.rb
173
197
  - vendor/rust/rust/templates
174
- - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
175
- - vendor/rust/rust/templates/EnumDeclarations.rusttpl
176
- - vendor/rust/rust/templates/BindingsUnit.rusttpl
177
- - vendor/rust/rust/templates/ConstructorStub.rusttpl
178
- - vendor/rust/rust/templates/EnumDefinitions.rusttpl
179
- - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
180
- - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
181
- - vendor/rust/rust/templates/FunctionInitAlias.rusttpl
198
+ - vendor/rust/rust/templates/FunctionDefinition.rusttpl
182
199
  - vendor/rust/rust/templates/ClassInitialize.rusttpl
183
- - vendor/rust/rust/templates/ClassDeclarations.rusttpl
184
200
  - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
185
- - vendor/rust/rust/templates/CxxMethodStub.rusttpl
186
- - vendor/rust/rust/templates/MethodInitBinding.rusttpl
187
- - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
201
+ - vendor/rust/rust/templates/BindingsHeader.rusttpl
202
+ - vendor/rust/rust/templates/FunctionInitAlias.rusttpl
203
+ - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
188
204
  - vendor/rust/rust/templates/VariableFunctionCall.rusttpl
205
+ - vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
206
+ - vendor/rust/rust/templates/BindingsUnit.rusttpl
207
+ - vendor/rust/rust/templates/EnumDeclarations.rusttpl
208
+ - vendor/rust/rust/templates/MethodInitBinding.rusttpl
209
+ - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
189
210
  - vendor/rust/rust/templates/AttributeInitBinding.rusttpl
190
- - vendor/rust/rust/templates/BindingsHeader.rusttpl
191
211
  - vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
192
- - vendor/rust/rust/templates/FunctionDefinition.rusttpl
212
+ - vendor/rust/rust/templates/CxxMethodStub.rusttpl
213
+ - vendor/rust/rust/templates/ConstructorStub.rusttpl
214
+ - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
215
+ - vendor/rust/rust/templates/ClassDeclarations.rusttpl
216
+ - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
217
+ - vendor/rust/rust/templates/EnumDefinitions.rusttpl
193
218
  - vendor/rust/rust/templates/AttributeDefinition.rusttpl
194
- - vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
195
- - vendor/rust/rust/cppifaceparser.rb
196
- - vendor/rust/rust/constants.rb
197
- - vendor/rust/rust/attribute.rb
198
- - vendor/rust/rust/namespace.rb
199
- - vendor/rust/rust/enum.rb
200
- - vendor/rust/rust/function.rb
201
- - vendor/rust/test
202
- - vendor/rust/test/cppclass.rb
203
- - vendor/rust/test/cwrapper.h
204
- - vendor/rust/test/test-constants.rb
205
- - vendor/rust/test/cwrapper.rb
206
- - vendor/rust/test/operators.hh
207
- - vendor/rust/test/cppclass.cc
208
- - vendor/rust/test/Makefile
209
- - vendor/rust/test/test-cppclass.rb
210
- - vendor/rust/test/operators.rb
211
- - vendor/rust/test/cppclass.hh
212
- - vendor/rust/test/dummyclass.hh
213
- - vendor/rust/test/operators.cc
214
- - vendor/rust/test/constants.rb
215
- - vendor/rust/test/test-cwrapper.rb
216
- - vendor/rust/test/cwrapper.c
217
- - vendor/rust/test/lib
218
- - vendor/rust/test/lib/extension-test.rb
219
- - vendor/rust/test/test-operators.rb
220
219
  - vendor/rust/include
221
220
  - vendor/rust/include/rust_checks.hh
222
221
  - vendor/rust/include/rust_conversions.hh
223
- - vendor/rust/rust.rb
224
- - tasks/website.rake
225
- - tasks/specs.rake
222
+ - vendor/rust/bin
223
+ - vendor/rust/bin/cxxgenerator.rb
226
224
  - tasks/svn.rake
225
+ - tasks/specs.rake
227
226
  - tasks/rcov.rake
228
- - tasks/all_tasks.rb
229
- - tasks/dependencies.txt
227
+ - tasks/website.rake
230
228
  - tasks/distribution.rake
231
- - specs/logging.rb
232
- - specs/branch.rb
233
- - specs/enum_matrix.rb
234
- - specs/model_sugar.rb
229
+ - tasks/dependencies.txt
230
+ - tasks/all_tasks.rb
231
+ - specs/examples.rb
232
+ - specs/model.rb
233
+ - specs/int_var.rb
235
234
  - specs/search.rb
236
- - specs/bool_var.rb
235
+ - specs/model_sugar.rb
237
236
  - specs/set_elements.rb
238
- - specs/distribution.rb
237
+ - specs/set_var.rb
239
238
  - specs/spec_helper.rb
240
- - specs/int_var.rb
241
- - specs/mixin.rb
239
+ - specs/branch.rb
240
+ - specs/logging.rb
241
+ - specs/distribution.rb
242
242
  - specs/enum_wrapper.rb
243
- - specs/model.rb
244
- - specs/set_var.rb
245
- - specs/selected_set.rb
246
243
  - specs/constraints
244
+ - specs/constraints/fixnum_enum
245
+ - specs/constraints/fixnum_enum/element.rb
246
+ - specs/constraints/fixnum_enum/operation.rb
247
247
  - specs/constraints/property_helper.rb
248
+ - specs/constraints/operands.rb
249
+ - specs/constraints/reification_sugar.rb
250
+ - specs/constraints/bool
251
+ - specs/constraints/bool/linear.rb
252
+ - specs/constraints/bool/boolean_properties.rb
253
+ - specs/constraints/bool/boolean.rb
254
+ - specs/constraints/constraints.rb
248
255
  - specs/constraints/set
249
- - specs/constraints/set/channel.rb
250
- - specs/constraints/set/cardinality_properties.rb
256
+ - specs/constraints/set/connection.rb
251
257
  - specs/constraints/set/cardinality.rb
252
- - specs/constraints/set/include.rb
258
+ - specs/constraints/set/cardinality_properties.rb
259
+ - specs/constraints/set/relation.rb
253
260
  - specs/constraints/set/operation.rb
254
- - specs/constraints/set/connection.rb
261
+ - specs/constraints/set/include.rb
262
+ - specs/constraints/set/channel.rb
255
263
  - specs/constraints/set/domain.rb
256
- - specs/constraints/set/relation.rb
257
- - specs/constraints/set_elements
258
- - specs/constraints/set_elements/relation.rb
264
+ - specs/constraints/set_enum
265
+ - specs/constraints/set_enum/distinct.rb
266
+ - specs/constraints/set_enum/element.rb
267
+ - specs/constraints/set_enum/operation.rb
268
+ - specs/constraints/set_enum/channel.rb
259
269
  - specs/constraints/int
260
- - specs/constraints/int/channel.rb
261
270
  - specs/constraints/int/arithmetic.rb
262
- - specs/constraints/int/linear_properties.rb
263
271
  - specs/constraints/int/linear.rb
264
- - specs/constraints/int/domain.rb
265
272
  - specs/constraints/int/relation.rb
266
- - specs/constraints/constraints.rb
267
- - specs/constraints/bool
268
- - specs/constraints/bool/boolean_properties.rb
269
- - specs/constraints/bool/boolean.rb
270
- - specs/constraints/bool/linear.rb
273
+ - specs/constraints/int/channel.rb
274
+ - specs/constraints/int/domain.rb
275
+ - specs/constraints/int/linear_properties.rb
276
+ - specs/constraints/constraint_receivers.rb
277
+ - specs/constraints/selected_set
278
+ - specs/constraints/selected_set/select.rb
279
+ - specs/constraints/selected_set/select_properties.rb
280
+ - specs/constraints/constraint_helper.rb
271
281
  - specs/constraints/int_enum
272
- - specs/constraints/int_enum/channel.rb
273
282
  - specs/constraints/int_enum/distinct.rb
283
+ - specs/constraints/int_enum/extensional.rb
274
284
  - specs/constraints/int_enum/element.rb
285
+ - specs/constraints/int_enum/sort.rb
275
286
  - specs/constraints/int_enum/arithmetic.rb
276
287
  - specs/constraints/int_enum/count.rb
277
- - specs/constraints/int_enum/extensional.rb
288
+ - specs/constraints/int_enum/channel.rb
278
289
  - specs/constraints/int_enum/equality.rb
279
- - specs/constraints/int_enum/sort.rb
280
- - specs/constraints/constraint_helper.rb
281
- - specs/constraints/reification_sugar.rb
282
- - specs/constraints/selected_set
283
- - specs/constraints/selected_set/select.rb
284
- - specs/constraints/selected_set/select_properties.rb
285
- - specs/constraints/constraint_receivers.rb
286
- - specs/constraints/fixnum_enum
287
- - specs/constraints/fixnum_enum/element.rb
288
- - specs/constraints/fixnum_enum/operation.rb
290
+ - specs/constraints/set_elements
291
+ - specs/constraints/set_elements/relation.rb
289
292
  - specs/constraints/bool_enum
293
+ - specs/constraints/bool_enum/extensional.rb
290
294
  - specs/constraints/bool_enum/channel.rb
291
295
  - specs/constraints/bool_enum/bool_enum_relation.rb
292
- - specs/constraints/bool_enum/extensional.rb
293
- - specs/constraints/operands.rb
294
- - specs/constraints/set_enum
295
- - specs/constraints/set_enum/channel.rb
296
- - specs/constraints/set_enum/distinct.rb
297
- - specs/constraints/set_enum/element.rb
298
- - specs/constraints/set_enum/operation.rb
299
- - specs/examples.rb
296
+ - specs/bool_var.rb
297
+ - specs/selected_set.rb
298
+ - specs/mixin.rb
299
+ - specs/enum_matrix.rb
300
300
  - ext/gecoder.cpp
301
301
  - ext/vararray.cpp
302
- - ext/gecoder.h
303
302
  - ext/vararray.h
303
+ - ext/gecoder.h
304
304
  - ext/extconf.rb
305
- - ext/gecode-2.2.0/examples
306
- - ext/gecode-2.2.0/examples/stress-linear-bool.cc
307
- - ext/gecode-2.2.0/examples/support.hh
308
- - ext/gecode-2.2.0/examples/magic-square.cc
309
- - ext/gecode-2.2.0/examples/domino.cc
310
- - ext/gecode-2.2.0/examples/langford-number.cc
311
- - ext/gecode-2.2.0/examples/eq20.cc
312
- - ext/gecode-2.2.0/examples/queens.cc
313
- - ext/gecode-2.2.0/examples/bacp.cc
314
- - ext/gecode-2.2.0/examples/stress-search.cc
315
- - ext/gecode-2.2.0/examples/pentominoes.cc
316
- - ext/gecode-2.2.0/examples/all-interval.cc
317
- - ext/gecode-2.2.0/examples/warehouses.cc
318
- - ext/gecode-2.2.0/examples/ind-set.cc
319
- - ext/gecode-2.2.0/examples/stress-domain.cc
320
- - ext/gecode-2.2.0/examples/stress-distinct.cc
321
- - ext/gecode-2.2.0/examples/alpha.cc
322
- - ext/gecode-2.2.0/examples/partition.cc
323
- - ext/gecode-2.2.0/examples/golomb-ruler.cc
324
- - ext/gecode-2.2.0/examples/sudoku.cc
325
- - ext/gecode-2.2.0/examples/steiner.cc
326
- - ext/gecode-2.2.0/examples/minesweeper.cc
327
- - ext/gecode-2.2.0/examples/perfect-square.cc
328
- - ext/gecode-2.2.0/examples/donald.cc
329
- - ext/gecode-2.2.0/examples/kakuro.cc
330
- - ext/gecode-2.2.0/examples/golf.cc
331
- - ext/gecode-2.2.0/examples/queen-armies.cc
332
- - ext/gecode-2.2.0/examples/stress-min.cc
333
- - ext/gecode-2.2.0/examples/stress-extensional.cc
334
- - ext/gecode-2.2.0/examples/tsp.cc
335
- - ext/gecode-2.2.0/examples/ortho-latin.cc
336
- - ext/gecode-2.2.0/examples/crowded-chess.cc
337
- - ext/gecode-2.2.0/examples/javascript.cc
338
- - ext/gecode-2.2.0/examples/grocery.cc
339
- - ext/gecode-2.2.0/examples/graph-color.cc
340
- - ext/gecode-2.2.0/examples/money.cc
341
- - ext/gecode-2.2.0/examples/photo.cc
342
- - ext/gecode-2.2.0/examples/hamming.cc
343
- - ext/gecode-2.2.0/examples/stress-element.cc
344
- - ext/gecode-2.2.0/examples/crew.cc
345
- - ext/gecode-2.2.0/examples/stress-exec.cc
346
- - ext/gecode-2.2.0/examples/sports-league.cc
347
- - ext/gecode-2.2.0/examples/magic-sequence.cc
348
- - ext/gecode-2.2.0/examples/baseline.cc
349
- - ext/gecode-2.2.0/examples/queens.js
350
- - ext/gecode-2.2.0/examples/knights.cc
351
- - ext/gecode-2.2.0/examples/black-hole.cc
352
- - ext/gecode-2.2.0/examples/support
353
- - ext/gecode-2.2.0/examples/support/example.icc
354
- - ext/gecode-2.2.0/examples/support/options.icc
355
- - ext/gecode-2.2.0/examples/support/example.cc
356
- - ext/gecode-2.2.0/examples/support/options.cc
357
- - ext/gecode-2.2.0/examples/nonogram.cc
358
- - ext/gecode-2.2.0/examples/bibd.cc
359
- - ext/gecode-2.2.0/Makefile.contribs
360
- - ext/gecode-2.2.0/install-sh
361
- - ext/gecode-2.2.0/LICENSE
362
- - ext/gecode-2.2.0/doxygen
363
- - ext/gecode-2.2.0/doxygen/doxygen.conf.in
364
- - ext/gecode-2.2.0/doxygen/doxygen.hh.in
365
- - ext/gecode-2.2.0/doxygen/reflection.hh
366
- - ext/gecode-2.2.0/test
367
- - ext/gecode-2.2.0/test/assign.cc
368
- - ext/gecode-2.2.0/test/int.icc
369
- - ext/gecode-2.2.0/test/assign.hh
370
- - ext/gecode-2.2.0/test/set
371
- - ext/gecode-2.2.0/test/set/dom.cc
372
- - ext/gecode-2.2.0/test/set/projection.cc
373
- - ext/gecode-2.2.0/test/set/int.cc
374
- - ext/gecode-2.2.0/test/set/convex.cc
375
- - ext/gecode-2.2.0/test/set/distinct.cc
376
- - ext/gecode-2.2.0/test/set/sequence.cc
377
- - ext/gecode-2.2.0/test/set/rel.cc
378
- - ext/gecode-2.2.0/test/set/select.cc
379
- - ext/gecode-2.2.0/test/set/rel-op.cc
380
- - ext/gecode-2.2.0/test/set/rel-op-const.cc
381
- - ext/gecode-2.2.0/test/int.cc
382
- - ext/gecode-2.2.0/test/branch.hh
383
- - ext/gecode-2.2.0/test/cpltset.cc
384
- - ext/gecode-2.2.0/test/search.cc
385
- - ext/gecode-2.2.0/test/int
386
- - ext/gecode-2.2.0/test/int/channel.cc
387
- - ext/gecode-2.2.0/test/int/dom.cc
388
- - ext/gecode-2.2.0/test/int/distinct.cc
389
- - ext/gecode-2.2.0/test/int/gcc.cc
390
- - ext/gecode-2.2.0/test/int/arithmetic.cc
391
- - ext/gecode-2.2.0/test/int/extensional.cc
392
- - ext/gecode-2.2.0/test/int/count.cc
393
- - ext/gecode-2.2.0/test/int/mm-lin.cc
394
- - ext/gecode-2.2.0/test/int/bool.cc
395
- - ext/gecode-2.2.0/test/int/mm-rel.cc
396
- - ext/gecode-2.2.0/test/int/scheduling.cc
397
- - ext/gecode-2.2.0/test/int/linear.cc
398
- - ext/gecode-2.2.0/test/int/rel.cc
399
- - ext/gecode-2.2.0/test/int/basic.cc
400
- - ext/gecode-2.2.0/test/int/circuit.cc
401
- - ext/gecode-2.2.0/test/int/mm-bool.cc
402
- - ext/gecode-2.2.0/test/int/unshare.cc
403
- - ext/gecode-2.2.0/test/int/mm-count.cc
404
- - ext/gecode-2.2.0/test/int/mm-arithmetic.cc
405
- - ext/gecode-2.2.0/test/int/element.cc
406
- - ext/gecode-2.2.0/test/int/sorted.cc
407
- - ext/gecode-2.2.0/test/set.cc
408
- - ext/gecode-2.2.0/test/cpltset
409
- - ext/gecode-2.2.0/test/cpltset/dom.cc
410
- - ext/gecode-2.2.0/test/cpltset/atmost.cc
411
- - ext/gecode-2.2.0/test/cpltset/partition.cc
412
- - ext/gecode-2.2.0/test/cpltset/rel.cc
413
- - ext/gecode-2.2.0/test/cpltset/select.cc
414
- - ext/gecode-2.2.0/test/cpltset/cardinality.cc
415
- - ext/gecode-2.2.0/test/int.hh
416
- - ext/gecode-2.2.0/test/cpltset.hh
417
- - ext/gecode-2.2.0/test/assign
418
- - ext/gecode-2.2.0/test/assign/int.cc
419
- - ext/gecode-2.2.0/test/assign/bool.cc
420
- - ext/gecode-2.2.0/test/set.hh
421
- - ext/gecode-2.2.0/test/set.icc
422
- - ext/gecode-2.2.0/test/test.cc
423
- - ext/gecode-2.2.0/test/test.hh
424
- - ext/gecode-2.2.0/test/branch.cc
425
- - ext/gecode-2.2.0/test/branch
426
- - ext/gecode-2.2.0/test/branch/int.cc
427
- - ext/gecode-2.2.0/test/branch/cpltset.cc
428
- - ext/gecode-2.2.0/test/branch/set.cc
429
- - ext/gecode-2.2.0/test/branch/bool.cc
430
- - ext/gecode-2.2.0/test/test.icc
431
- - ext/gecode-2.2.0/gecode.m4
432
- - ext/gecode-2.2.0/configure
305
+ - ext/gecode-2.2.0/contribs
306
+ - ext/gecode-2.2.0/contribs/README
307
+ - ext/gecode-2.2.0/contribs/qecode
308
+ - ext/gecode-2.2.0/contribs/qecode/Strategy.cc
309
+ - ext/gecode-2.2.0/contribs/qecode/qsolver.cc
310
+ - ext/gecode-2.2.0/contribs/qecode/myspace.hh
311
+ - ext/gecode-2.2.0/contribs/qecode/autom4te.cache
312
+ - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/traces.0
313
+ - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/output.0
314
+ - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/requests
315
+ - ext/gecode-2.2.0/contribs/qecode/Implicative.hh
316
+ - ext/gecode-2.2.0/contribs/qecode/Makefile.in.in
317
+ - ext/gecode-2.2.0/contribs/qecode/Doxyfile
318
+ - ext/gecode-2.2.0/contribs/qecode/myDom.cc
319
+ - ext/gecode-2.2.0/contribs/qecode/OptVar.cc
320
+ - ext/gecode-2.2.0/contribs/qecode/configure.ac
321
+ - ext/gecode-2.2.0/contribs/qecode/configure
322
+ - ext/gecode-2.2.0/contribs/qecode/StrategyNode.cc
323
+ - ext/gecode-2.2.0/contribs/qecode/OptVar.hh
324
+ - ext/gecode-2.2.0/contribs/qecode/StrategyNode.hh
325
+ - ext/gecode-2.2.0/contribs/qecode/Strategy.hh
326
+ - ext/gecode-2.2.0/contribs/qecode/shortdesc.ac
327
+ - ext/gecode-2.2.0/contribs/qecode/config.log
328
+ - ext/gecode-2.2.0/contribs/qecode/qecode.hh
329
+ - ext/gecode-2.2.0/contribs/qecode/Implicative.cc
330
+ - ext/gecode-2.2.0/contribs/qecode/qsolver.hh
331
+ - ext/gecode-2.2.0/contribs/qecode/myspace.cc
332
+ - ext/gecode-2.2.0/contribs/qecode/heap.cc
333
+ - ext/gecode-2.2.0/contribs/qecode/vartype.hh
334
+ - ext/gecode-2.2.0/contribs/qecode/config.status
335
+ - ext/gecode-2.2.0/contribs/qecode/examples
336
+ - ext/gecode-2.2.0/contribs/qecode/examples/NimFibo.cpp
337
+ - ext/gecode-2.2.0/contribs/qecode/examples/MatrixGame.cpp
338
+ - ext/gecode-2.2.0/contribs/qecode/examples/network-pricing.cc
339
+ - ext/gecode-2.2.0/contribs/qecode/examples/stress_test.cpp
340
+ - ext/gecode-2.2.0/contribs/qecode/examples/optim2.cc
341
+ - ext/gecode-2.2.0/contribs/qecode/examples/COMPILING
342
+ - ext/gecode-2.2.0/contribs/qecode/examples/connect-5-3-3-3.cpp
433
343
  - ext/gecode-2.2.0/Makefile.dep
434
344
  - ext/gecode-2.2.0/gecode
435
- - ext/gecode-2.2.0/gecode/support.hh
345
+ - ext/gecode-2.2.0/gecode/gist
346
+ - ext/gecode-2.2.0/gecode/gist/zoomToFitIcon.icc
347
+ - ext/gecode-2.2.0/gecode/gist/layoutcursor.hh
348
+ - ext/gecode-2.2.0/gecode/gist/drawingcursor.hh
349
+ - ext/gecode-2.2.0/gecode/gist/treecanvas.cc
350
+ - ext/gecode-2.2.0/gecode/gist/visualnode.hh
351
+ - ext/gecode-2.2.0/gecode/gist/gecodelogo.hh
352
+ - ext/gecode-2.2.0/gecode/gist/ui_addchild.hh
353
+ - ext/gecode-2.2.0/gecode/gist/nodecursor.hh
354
+ - ext/gecode-2.2.0/gecode/gist/preferences.hh
355
+ - ext/gecode-2.2.0/gecode/gist/addchild.cc
356
+ - ext/gecode-2.2.0/gecode/gist/layoutcursor.cc
357
+ - ext/gecode-2.2.0/gecode/gist/config.cc
358
+ - ext/gecode-2.2.0/gecode/gist/visualisation
359
+ - ext/gecode-2.2.0/gecode/gist/visualisation/varitem.hh
360
+ - ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.hh
361
+ - ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.cc
362
+ - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.cc
363
+ - ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.hh
364
+ - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayitem.hh
365
+ - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayviewt.hh
366
+ - ext/gecode-2.2.0/gecode/gist/visualisation/varitem.cc
367
+ - ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.cc
368
+ - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.hh
369
+ - ext/gecode-2.2.0/gecode/gist/treecanvas.hh
370
+ - ext/gecode-2.2.0/gecode/gist/drawingcursor.cc
371
+ - ext/gecode-2.2.0/gecode/gist/textoutput.hh
372
+ - ext/gecode-2.2.0/gecode/gist/visualnode.icc
373
+ - ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.cc
374
+ - ext/gecode-2.2.0/gecode/gist/nodevisitor.icc
375
+ - ext/gecode-2.2.0/gecode/gist/drawingcursor.icc
376
+ - ext/gecode-2.2.0/gecode/gist/mainwindow.cc
377
+ - ext/gecode-2.2.0/gecode/gist/node.cc
378
+ - ext/gecode-2.2.0/gecode/gist/nodecursor.cc
379
+ - ext/gecode-2.2.0/gecode/gist/gist.icc
380
+ - ext/gecode-2.2.0/gecode/gist/ui_addvisualisationdialog.hh
381
+ - ext/gecode-2.2.0/gecode/gist/layoutcursor.icc
382
+ - ext/gecode-2.2.0/gecode/gist/test.cc
383
+ - ext/gecode-2.2.0/gecode/gist/visualnode.cc
384
+ - ext/gecode-2.2.0/gecode/gist/spacenode.icc
385
+ - ext/gecode-2.2.0/gecode/gist/gecodelogo.cc
386
+ - ext/gecode-2.2.0/gecode/gist/gist.cc
387
+ - ext/gecode-2.2.0/gecode/gist/textoutput.cc
388
+ - ext/gecode-2.2.0/gecode/gist/spacenode.hh
389
+ - ext/gecode-2.2.0/gecode/gist/node.icc
390
+ - ext/gecode-2.2.0/gecode/gist/addchild.hh
391
+ - ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.hh
392
+ - ext/gecode-2.2.0/gecode/gist/nodevisitor.hh
393
+ - ext/gecode-2.2.0/gecode/gist/nodecursor.icc
394
+ - ext/gecode-2.2.0/gecode/gist/better.hh
395
+ - ext/gecode-2.2.0/gecode/gist/mainwindow.hh
396
+ - ext/gecode-2.2.0/gecode/gist/spacenode.cc
397
+ - ext/gecode-2.2.0/gecode/gist/preferences.cc
398
+ - ext/gecode-2.2.0/gecode/gist/config.hh
399
+ - ext/gecode-2.2.0/gecode/gist/node.hh
400
+ - ext/gecode-2.2.0/gecode/cpltset.hh
401
+ - ext/gecode-2.2.0/gecode/set.hh
402
+ - ext/gecode-2.2.0/gecode/iter.hh
403
+ - ext/gecode-2.2.0/gecode/int.hh
404
+ - ext/gecode-2.2.0/gecode/minimodel
405
+ - ext/gecode-2.2.0/gecode/minimodel/arithmetic.icc
406
+ - ext/gecode-2.2.0/gecode/minimodel/lin-expr.icc
407
+ - ext/gecode-2.2.0/gecode/minimodel/matrix.icc
408
+ - ext/gecode-2.2.0/gecode/minimodel/reg.cc
409
+ - ext/gecode-2.2.0/gecode/minimodel/exception.icc
410
+ - ext/gecode-2.2.0/gecode/minimodel/bool-expr.icc
411
+ - ext/gecode-2.2.0/gecode/minimodel/lin-rel.icc
412
+ - ext/gecode-2.2.0/gecode/minimodel/bool-expr.cc
413
+ - ext/gecode-2.2.0/gecode/minimodel/bool-rel.icc
436
414
  - ext/gecode-2.2.0/gecode/set
437
- - ext/gecode-2.2.0/gecode/set/view
438
- - ext/gecode-2.2.0/gecode/set/view/print.cc
439
- - ext/gecode-2.2.0/gecode/set/view/const.icc
440
- - ext/gecode-2.2.0/gecode/set/view/complement.icc
441
- - ext/gecode-2.2.0/gecode/set/view/offset.icc
442
- - ext/gecode-2.2.0/gecode/set/view/set.icc
443
- - ext/gecode-2.2.0/gecode/set/view/singleton.icc
444
- - ext/gecode-2.2.0/gecode/set/sequence.hh
445
- - ext/gecode-2.2.0/gecode/set/dom.cc
446
- - ext/gecode-2.2.0/gecode/set/int.cc
447
- - ext/gecode-2.2.0/gecode/set/array.cc
415
+ - ext/gecode-2.2.0/gecode/set/distinct.cc
416
+ - ext/gecode-2.2.0/gecode/set/rel.cc
417
+ - ext/gecode-2.2.0/gecode/set/rel-op.hh
418
+ - ext/gecode-2.2.0/gecode/set/branch.cc
419
+ - ext/gecode-2.2.0/gecode/set/rel-op-const.cc
420
+ - ext/gecode-2.2.0/gecode/set/dom.cc
421
+ - ext/gecode-2.2.0/gecode/set/var-imp
422
+ - ext/gecode-2.2.0/gecode/set/var-imp/set.vis
423
+ - ext/gecode-2.2.0/gecode/set/var-imp/delta.icc
424
+ - ext/gecode-2.2.0/gecode/set/var-imp/set.icc
425
+ - ext/gecode-2.2.0/gecode/set/var-imp/integerset.cc
426
+ - ext/gecode-2.2.0/gecode/set/var-imp/set.cc
427
+ - ext/gecode-2.2.0/gecode/set/var-imp/integerset.icc
428
+ - ext/gecode-2.2.0/gecode/set/var-imp/iter.icc
429
+ - ext/gecode-2.2.0/gecode/set/int.hh
430
+ - ext/gecode-2.2.0/gecode/set/limits.icc
431
+ - ext/gecode-2.2.0/gecode/set/element.hh
432
+ - ext/gecode-2.2.0/gecode/set/convex.hh
448
433
  - ext/gecode-2.2.0/gecode/set/var
449
- - ext/gecode-2.2.0/gecode/set/var/set.cc
450
434
  - ext/gecode-2.2.0/gecode/set/var/set.icc
435
+ - ext/gecode-2.2.0/gecode/set/var/set.cc
436
+ - ext/gecode-2.2.0/gecode/set/sequence.hh
437
+ - ext/gecode-2.2.0/gecode/set/distinct.hh
438
+ - ext/gecode-2.2.0/gecode/set/convex
439
+ - ext/gecode-2.2.0/gecode/set/convex/hull.cc
440
+ - ext/gecode-2.2.0/gecode/set/convex/hull.icc
441
+ - ext/gecode-2.2.0/gecode/set/convex/conv.cc
442
+ - ext/gecode-2.2.0/gecode/set/convex/conv.icc
443
+ - ext/gecode-2.2.0/gecode/set/int.cc
451
444
  - ext/gecode-2.2.0/gecode/set/branch.hh
452
- - ext/gecode-2.2.0/gecode/set/rel-op
453
- - ext/gecode-2.2.0/gecode/set/rel-op/union.icc
454
- - ext/gecode-2.2.0/gecode/set/rel-op/subofunion.icc
455
- - ext/gecode-2.2.0/gecode/set/rel-op/superofinter.icc
456
- - ext/gecode-2.2.0/gecode/set/rel-op/partition.icc
457
- - ext/gecode-2.2.0/gecode/set/rel-op/post.icc
458
- - ext/gecode-2.2.0/gecode/set/rel-op/inter.icc
459
- - ext/gecode-2.2.0/gecode/set/rel-op/common.icc
460
- - ext/gecode-2.2.0/gecode/set/element.hh
461
- - ext/gecode-2.2.0/gecode/set/convex.cc
462
- - ext/gecode-2.2.0/gecode/set/projectors.cc
463
- - ext/gecode-2.2.0/gecode/set/rel-op.hh
464
- - ext/gecode-2.2.0/gecode/set/distinct.cc
465
- - ext/gecode-2.2.0/gecode/set/distinct
466
- - ext/gecode-2.2.0/gecode/set/distinct/atmostOne.cc
467
- - ext/gecode-2.2.0/gecode/set/distinct/atmostOne.icc
445
+ - ext/gecode-2.2.0/gecode/set/exception.icc
446
+ - ext/gecode-2.2.0/gecode/set/element
447
+ - ext/gecode-2.2.0/gecode/set/element/inter.icc
448
+ - ext/gecode-2.2.0/gecode/set/element/disjoint.cc
449
+ - ext/gecode-2.2.0/gecode/set/element/disjoint.icc
450
+ - ext/gecode-2.2.0/gecode/set/element/union.icc
451
+ - ext/gecode-2.2.0/gecode/set/element/idxarray.hh
452
+ - ext/gecode-2.2.0/gecode/set/element/idxarray.icc
453
+ - ext/gecode-2.2.0/gecode/set/element/unionConst.icc
454
+ - ext/gecode-2.2.0/gecode/set/sequence
455
+ - ext/gecode-2.2.0/gecode/set/sequence/common.icc
456
+ - ext/gecode-2.2.0/gecode/set/sequence/seq.cc
457
+ - ext/gecode-2.2.0/gecode/set/sequence/seq-u.icc
458
+ - ext/gecode-2.2.0/gecode/set/sequence/seq-u.cc
459
+ - ext/gecode-2.2.0/gecode/set/sequence/seq.icc
468
460
  - ext/gecode-2.2.0/gecode/set/projectors
469
- - ext/gecode-2.2.0/gecode/set/projectors/propagator.hh
470
- - ext/gecode-2.2.0/gecode/set/projectors/formula.cc
461
+ - ext/gecode-2.2.0/gecode/set/projectors/compiler.cc
462
+ - ext/gecode-2.2.0/gecode/set/projectors/projector.icc
463
+ - ext/gecode-2.2.0/gecode/set/projectors/projector-set.cc
471
464
  - ext/gecode-2.2.0/gecode/set/projectors/propagator
472
- - ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.icc
473
- - ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.cc
474
465
  - ext/gecode-2.2.0/gecode/set/projectors/propagator/card.icc
475
466
  - ext/gecode-2.2.0/gecode/set/projectors/propagator/nary.icc
476
- - ext/gecode-2.2.0/gecode/set/projectors/compiler.cc
477
- - ext/gecode-2.2.0/gecode/set/projectors/projector.icc
467
+ - ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.icc
468
+ - ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.cc
469
+ - ext/gecode-2.2.0/gecode/set/projectors/formula.icc
478
470
  - ext/gecode-2.2.0/gecode/set/projectors/set-expr.cc
479
471
  - ext/gecode-2.2.0/gecode/set/projectors/projector.cc
480
- - ext/gecode-2.2.0/gecode/set/projectors/projector-set.cc
481
- - ext/gecode-2.2.0/gecode/set/projectors/formula.icc
472
+ - ext/gecode-2.2.0/gecode/set/projectors/formula.cc
482
473
  - ext/gecode-2.2.0/gecode/set/projectors/projector-set.icc
483
474
  - ext/gecode-2.2.0/gecode/set/projectors/set-expr.icc
484
- - ext/gecode-2.2.0/gecode/set/sequence
485
- - ext/gecode-2.2.0/gecode/set/sequence/seq-u.icc
486
- - ext/gecode-2.2.0/gecode/set/sequence/seq-u.cc
487
- - ext/gecode-2.2.0/gecode/set/sequence/seq.icc
488
- - ext/gecode-2.2.0/gecode/set/sequence/common.icc
489
- - ext/gecode-2.2.0/gecode/set/sequence/seq.cc
475
+ - ext/gecode-2.2.0/gecode/set/projectors/propagator.hh
476
+ - ext/gecode-2.2.0/gecode/set/var-imp.icc
477
+ - ext/gecode-2.2.0/gecode/set/rel.hh
478
+ - ext/gecode-2.2.0/gecode/set/view.icc
479
+ - ext/gecode-2.2.0/gecode/set/sequence.cc
480
+ - ext/gecode-2.2.0/gecode/set/rel-op.cc
481
+ - ext/gecode-2.2.0/gecode/set/distinct
482
+ - ext/gecode-2.2.0/gecode/set/distinct/atmostOne.cc
483
+ - ext/gecode-2.2.0/gecode/set/distinct/atmostOne.icc
484
+ - ext/gecode-2.2.0/gecode/set/propagator.icc
485
+ - ext/gecode-2.2.0/gecode/set/array.icc
490
486
  - ext/gecode-2.2.0/gecode/set/int
491
- - ext/gecode-2.2.0/gecode/set/int/channel-bool.icc
492
- - ext/gecode-2.2.0/gecode/set/int/minmax.icc
487
+ - ext/gecode-2.2.0/gecode/set/int/channel-int.icc
493
488
  - ext/gecode-2.2.0/gecode/set/int/weights.icc
494
489
  - ext/gecode-2.2.0/gecode/set/int/card.icc
495
- - ext/gecode-2.2.0/gecode/set/int/channel-int.icc
490
+ - ext/gecode-2.2.0/gecode/set/int/channel-bool.icc
491
+ - ext/gecode-2.2.0/gecode/set/int/minmax.icc
496
492
  - ext/gecode-2.2.0/gecode/set/int/match.icc
497
- - ext/gecode-2.2.0/gecode/set/sequence.cc
498
493
  - ext/gecode-2.2.0/gecode/set/rel
499
- - ext/gecode-2.2.0/gecode/set/rel/nq.icc
494
+ - ext/gecode-2.2.0/gecode/set/rel/subset.icc
500
495
  - ext/gecode-2.2.0/gecode/set/rel/re-eq.icc
496
+ - ext/gecode-2.2.0/gecode/set/rel/common.icc
501
497
  - ext/gecode-2.2.0/gecode/set/rel/re-subset.icc
502
498
  - ext/gecode-2.2.0/gecode/set/rel/eq.icc
499
+ - ext/gecode-2.2.0/gecode/set/rel/nq.icc
503
500
  - ext/gecode-2.2.0/gecode/set/rel/nosubset.icc
504
- - ext/gecode-2.2.0/gecode/set/rel/common.icc
505
- - ext/gecode-2.2.0/gecode/set/rel/subset.icc
506
- - ext/gecode-2.2.0/gecode/set/array.icc
507
- - ext/gecode-2.2.0/gecode/set/propagator.icc
508
- - ext/gecode-2.2.0/gecode/set/var-imp.icc
509
- - ext/gecode-2.2.0/gecode/set/element
510
- - ext/gecode-2.2.0/gecode/set/element/union.icc
511
- - ext/gecode-2.2.0/gecode/set/element/disjoint.icc
512
- - ext/gecode-2.2.0/gecode/set/element/disjoint.cc
513
- - ext/gecode-2.2.0/gecode/set/element/idxarray.icc
514
- - ext/gecode-2.2.0/gecode/set/element/inter.icc
515
- - ext/gecode-2.2.0/gecode/set/element/unionConst.icc
516
- - ext/gecode-2.2.0/gecode/set/element/idxarray.hh
517
- - ext/gecode-2.2.0/gecode/set/int.hh
518
501
  - ext/gecode-2.2.0/gecode/set/projectors.hh
519
- - ext/gecode-2.2.0/gecode/set/convex.hh
520
- - ext/gecode-2.2.0/gecode/set/limits.icc
521
- - ext/gecode-2.2.0/gecode/set/distinct.hh
522
- - ext/gecode-2.2.0/gecode/set/exception.icc
523
- - ext/gecode-2.2.0/gecode/set/view.icc
524
- - ext/gecode-2.2.0/gecode/set/var-imp
525
- - ext/gecode-2.2.0/gecode/set/var-imp/iter.icc
526
- - ext/gecode-2.2.0/gecode/set/var-imp/set.cc
527
- - ext/gecode-2.2.0/gecode/set/var-imp/integerset.cc
528
- - ext/gecode-2.2.0/gecode/set/var-imp/delta.icc
529
- - ext/gecode-2.2.0/gecode/set/var-imp/integerset.icc
530
- - ext/gecode-2.2.0/gecode/set/var-imp/set.icc
531
- - ext/gecode-2.2.0/gecode/set/var-imp/set.vis
532
- - ext/gecode-2.2.0/gecode/set/rel.cc
533
- - ext/gecode-2.2.0/gecode/set/convex
534
- - ext/gecode-2.2.0/gecode/set/convex/conv.icc
535
- - ext/gecode-2.2.0/gecode/set/convex/conv.cc
536
- - ext/gecode-2.2.0/gecode/set/convex/hull.icc
537
- - ext/gecode-2.2.0/gecode/set/convex/hull.cc
538
- - ext/gecode-2.2.0/gecode/set/projectors-compiler.hh
539
502
  - ext/gecode-2.2.0/gecode/set/cardinality.cc
540
- - ext/gecode-2.2.0/gecode/set/rel.hh
541
- - ext/gecode-2.2.0/gecode/set/branch.cc
542
- - ext/gecode-2.2.0/gecode/set/rel-op.cc
543
- - ext/gecode-2.2.0/gecode/set/element.cc
544
- - ext/gecode-2.2.0/gecode/set/rel-op-const.cc
503
+ - ext/gecode-2.2.0/gecode/set/rel-op
504
+ - ext/gecode-2.2.0/gecode/set/rel-op/inter.icc
505
+ - ext/gecode-2.2.0/gecode/set/rel-op/superofinter.icc
506
+ - ext/gecode-2.2.0/gecode/set/rel-op/common.icc
507
+ - ext/gecode-2.2.0/gecode/set/rel-op/union.icc
508
+ - ext/gecode-2.2.0/gecode/set/rel-op/subofunion.icc
509
+ - ext/gecode-2.2.0/gecode/set/rel-op/post.icc
510
+ - ext/gecode-2.2.0/gecode/set/rel-op/partition.icc
511
+ - ext/gecode-2.2.0/gecode/set/convex.cc
545
512
  - ext/gecode-2.2.0/gecode/set/branch
546
- - ext/gecode-2.2.0/gecode/set/branch/select-view.icc
547
513
  - ext/gecode-2.2.0/gecode/set/branch/select-val.icc
514
+ - ext/gecode-2.2.0/gecode/set/branch/select-view.icc
515
+ - ext/gecode-2.2.0/gecode/set/view
516
+ - ext/gecode-2.2.0/gecode/set/view/set.icc
517
+ - ext/gecode-2.2.0/gecode/set/view/offset.icc
518
+ - ext/gecode-2.2.0/gecode/set/view/complement.icc
519
+ - ext/gecode-2.2.0/gecode/set/view/print.cc
520
+ - ext/gecode-2.2.0/gecode/set/view/const.icc
521
+ - ext/gecode-2.2.0/gecode/set/view/singleton.icc
522
+ - ext/gecode-2.2.0/gecode/set/projectors.cc
523
+ - ext/gecode-2.2.0/gecode/set/projectors-compiler.hh
524
+ - ext/gecode-2.2.0/gecode/set/array.cc
525
+ - ext/gecode-2.2.0/gecode/set/element.cc
548
526
  - ext/gecode-2.2.0/gecode/iter
549
- - ext/gecode-2.2.0/gecode/iter/ranges-size.icc
527
+ - ext/gecode-2.2.0/gecode/iter/values-positive.icc
528
+ - ext/gecode-2.2.0/gecode/iter/values-singleton.icc
529
+ - ext/gecode-2.2.0/gecode/iter/values-union.icc
550
530
  - ext/gecode-2.2.0/gecode/iter/ranges-operations.icc
551
- - ext/gecode-2.2.0/gecode/iter/virtual-ranges-compl.icc
552
- - ext/gecode-2.2.0/gecode/iter/ranges-inter.icc
553
- - ext/gecode-2.2.0/gecode/iter/virtual-ranges-inter.icc
554
- - ext/gecode-2.2.0/gecode/iter/ranges-empty.icc
555
- - ext/gecode-2.2.0/gecode/iter/values-ranges.icc
556
- - ext/gecode-2.2.0/gecode/iter/ranges-values.icc
557
- - ext/gecode-2.2.0/gecode/iter/values-map.icc
558
- - ext/gecode-2.2.0/gecode/iter/ranges-append.icc
559
- - ext/gecode-2.2.0/gecode/iter/values-unique.icc
531
+ - ext/gecode-2.2.0/gecode/iter/values-negative.icc
532
+ - ext/gecode-2.2.0/gecode/iter/ranges-cache.icc
533
+ - ext/gecode-2.2.0/gecode/iter/values-array.icc
534
+ - ext/gecode-2.2.0/gecode/iter/ranges-scale.icc
560
535
  - ext/gecode-2.2.0/gecode/iter/ranges-add.icc
561
- - ext/gecode-2.2.0/gecode/iter/ranges-offset.icc
562
- - ext/gecode-2.2.0/gecode/iter/values-minus.icc
563
- - ext/gecode-2.2.0/gecode/iter/values-union.icc
564
- - ext/gecode-2.2.0/gecode/iter/values-singleton.icc
565
- - ext/gecode-2.2.0/gecode/iter/ranges-singleton.icc
566
- - ext/gecode-2.2.0/gecode/iter/ranges-positive.icc
536
+ - ext/gecode-2.2.0/gecode/iter/values-ranges.icc
537
+ - ext/gecode-2.2.0/gecode/iter/ranges-compl.icc
567
538
  - ext/gecode-2.2.0/gecode/iter/values-inter.icc
568
539
  - ext/gecode-2.2.0/gecode/iter/ranges-minus.icc
569
540
  - ext/gecode-2.2.0/gecode/iter/virtual-ranges.icc
570
- - ext/gecode-2.2.0/gecode/iter/virtual-ranges-union.icc
571
- - ext/gecode-2.2.0/gecode/iter/ranges-singleton-append.icc
572
- - ext/gecode-2.2.0/gecode/iter/ranges-compl.icc
573
- - ext/gecode-2.2.0/gecode/iter/values-array.icc
574
- - ext/gecode-2.2.0/gecode/iter/values-positive.icc
575
- - ext/gecode-2.2.0/gecode/iter/ranges-minmax.icc
541
+ - ext/gecode-2.2.0/gecode/iter/ranges-singleton.icc
542
+ - ext/gecode-2.2.0/gecode/iter/ranges-append.icc
543
+ - ext/gecode-2.2.0/gecode/iter/ranges-diff.icc
544
+ - ext/gecode-2.2.0/gecode/iter/ranges-empty.icc
545
+ - ext/gecode-2.2.0/gecode/iter/values-minus.icc
546
+ - ext/gecode-2.2.0/gecode/iter/ranges-offset.icc
576
547
  - ext/gecode-2.2.0/gecode/iter/ranges-map.icc
548
+ - ext/gecode-2.2.0/gecode/iter/ranges-positive.icc
549
+ - ext/gecode-2.2.0/gecode/iter/ranges-singleton-append.icc
550
+ - ext/gecode-2.2.0/gecode/iter/virtual-ranges-inter.icc
551
+ - ext/gecode-2.2.0/gecode/iter/values-map.icc
552
+ - ext/gecode-2.2.0/gecode/iter/virtual-ranges-compl.icc
577
553
  - ext/gecode-2.2.0/gecode/iter/ranges-union.icc
578
- - ext/gecode-2.2.0/gecode/iter/values-negative.icc
554
+ - ext/gecode-2.2.0/gecode/iter/ranges-negative.icc
555
+ - ext/gecode-2.2.0/gecode/iter/values-unique.icc
556
+ - ext/gecode-2.2.0/gecode/iter/ranges-values.icc
557
+ - ext/gecode-2.2.0/gecode/iter/ranges-minmax.icc
579
558
  - ext/gecode-2.2.0/gecode/iter/ranges-array.icc
580
- - ext/gecode-2.2.0/gecode/iter/ranges-scale.icc
581
- - ext/gecode-2.2.0/gecode/iter/ranges-diff.icc
582
- - ext/gecode-2.2.0/gecode/iter/ranges-cache.icc
559
+ - ext/gecode-2.2.0/gecode/iter/ranges-size.icc
560
+ - ext/gecode-2.2.0/gecode/iter/virtual-ranges-union.icc
583
561
  - ext/gecode-2.2.0/gecode/iter/values-offset.icc
584
- - ext/gecode-2.2.0/gecode/iter/ranges-negative.icc
562
+ - ext/gecode-2.2.0/gecode/iter/ranges-inter.icc
563
+ - ext/gecode-2.2.0/gecode/support.hh
564
+ - ext/gecode-2.2.0/gecode/gist.hh
565
+ - ext/gecode-2.2.0/gecode/serialization.hh
585
566
  - ext/gecode-2.2.0/gecode/kernel.hh
567
+ - ext/gecode-2.2.0/gecode/minimodel.hh
568
+ - ext/gecode-2.2.0/gecode/serialization
569
+ - ext/gecode-2.2.0/gecode/serialization/boost.cc
570
+ - ext/gecode-2.2.0/gecode/serialization/register.cc
571
+ - ext/gecode-2.2.0/gecode/serialization/javascript.cc
572
+ - ext/gecode-2.2.0/gecode/serialization/boost.icc
573
+ - ext/gecode-2.2.0/gecode/serialization/flatzinc.cc
574
+ - ext/gecode-2.2.0/gecode/serialization/javascript.hh
586
575
  - ext/gecode-2.2.0/gecode/int
587
- - ext/gecode-2.2.0/gecode/int/gcc.hh
588
- - ext/gecode-2.2.0/gecode/int/dom
589
- - ext/gecode-2.2.0/gecode/int/dom/range.icc
590
- - ext/gecode-2.2.0/gecode/int/dom/spec.icc
591
- - ext/gecode-2.2.0/gecode/int/view
592
- - ext/gecode-2.2.0/gecode/int/view/print.cc
593
- - ext/gecode-2.2.0/gecode/int/view/int.icc
594
- - ext/gecode-2.2.0/gecode/int/view/minus.icc
595
- - ext/gecode-2.2.0/gecode/int/view/iter.icc
596
- - ext/gecode-2.2.0/gecode/int/view/zero.icc
597
- - ext/gecode-2.2.0/gecode/int/view/scale.icc
598
- - ext/gecode-2.2.0/gecode/int/view/offset.icc
599
- - ext/gecode-2.2.0/gecode/int/view/rtest.icc
600
- - ext/gecode-2.2.0/gecode/int/view/constint.icc
601
- - ext/gecode-2.2.0/gecode/int/view/bool.icc
602
- - ext/gecode-2.2.0/gecode/int/channel.cc
603
- - ext/gecode-2.2.0/gecode/int/count.hh
604
- - ext/gecode-2.2.0/gecode/int/dom.cc
605
- - ext/gecode-2.2.0/gecode/int/gcc
606
- - ext/gecode-2.2.0/gecode/int/gcc/dom.icc
607
- - ext/gecode-2.2.0/gecode/int/gcc/graphsup.icc
608
- - ext/gecode-2.2.0/gecode/int/gcc/val.icc
609
- - ext/gecode-2.2.0/gecode/int/gcc/bnd.icc
610
- - ext/gecode-2.2.0/gecode/int/gcc/lbc.icc
611
- - ext/gecode-2.2.0/gecode/int/gcc/ubc.icc
612
- - ext/gecode-2.2.0/gecode/int/gcc/occur.icc
613
- - ext/gecode-2.2.0/gecode/int/gcc/gccbndsup.icc
614
- - ext/gecode-2.2.0/gecode/int/array.cc
576
+ - ext/gecode-2.2.0/gecode/int/bool.hh
577
+ - ext/gecode-2.2.0/gecode/int/unshare.cc
578
+ - ext/gecode-2.2.0/gecode/int/distinct.cc
579
+ - ext/gecode-2.2.0/gecode/int/rel.cc
580
+ - ext/gecode-2.2.0/gecode/int/cumulatives
581
+ - ext/gecode-2.2.0/gecode/int/cumulatives/val.icc
582
+ - ext/gecode-2.2.0/gecode/int/linear.hh
583
+ - ext/gecode-2.2.0/gecode/int/branch.cc
584
+ - ext/gecode-2.2.0/gecode/int/dom.cc
585
+ - ext/gecode-2.2.0/gecode/int/var-imp
586
+ - ext/gecode-2.2.0/gecode/int/var-imp/delta.icc
587
+ - ext/gecode-2.2.0/gecode/int/var-imp/bool.icc
588
+ - ext/gecode-2.2.0/gecode/int/var-imp/int.cc
589
+ - ext/gecode-2.2.0/gecode/int/var-imp/int.vis
590
+ - ext/gecode-2.2.0/gecode/int/var-imp/bool.cc
591
+ - ext/gecode-2.2.0/gecode/int/var-imp/int.icc
592
+ - ext/gecode-2.2.0/gecode/int/var-imp/bool.vis
593
+ - ext/gecode-2.2.0/gecode/int/linear-bool.cc
594
+ - ext/gecode-2.2.0/gecode/int/limits.icc
595
+ - ext/gecode-2.2.0/gecode/int/cumulatives.hh
596
+ - ext/gecode-2.2.0/gecode/int/element.hh
597
+ - ext/gecode-2.2.0/gecode/int/circuit.cc
598
+ - ext/gecode-2.2.0/gecode/int/arithmetic.cc
615
599
  - ext/gecode-2.2.0/gecode/int/var
616
- - ext/gecode-2.2.0/gecode/int/var/int.icc
600
+ - ext/gecode-2.2.0/gecode/int/var/bool.icc
617
601
  - ext/gecode-2.2.0/gecode/int/var/int.cc
618
602
  - ext/gecode-2.2.0/gecode/int/var/bool.cc
619
- - ext/gecode-2.2.0/gecode/int/var/bool.icc
603
+ - ext/gecode-2.2.0/gecode/int/var/int.icc
604
+ - ext/gecode-2.2.0/gecode/int/int-set.icc
605
+ - ext/gecode-2.2.0/gecode/int/distinct.hh
606
+ - ext/gecode-2.2.0/gecode/int/bool
607
+ - ext/gecode-2.2.0/gecode/int/bool/lq.icc
608
+ - ext/gecode-2.2.0/gecode/int/bool/base.icc
609
+ - ext/gecode-2.2.0/gecode/int/bool/or.icc
610
+ - ext/gecode-2.2.0/gecode/int/bool/eq.icc
611
+ - ext/gecode-2.2.0/gecode/int/bool/eqv.icc
612
+ - ext/gecode-2.2.0/gecode/int/channel.hh
613
+ - ext/gecode-2.2.0/gecode/int/count
614
+ - ext/gecode-2.2.0/gecode/int/count/rel.icc
615
+ - ext/gecode-2.2.0/gecode/int/count/int.icc
616
+ - ext/gecode-2.2.0/gecode/int/count/view.icc
617
+ - ext/gecode-2.2.0/gecode/int/sorted.cc
618
+ - ext/gecode-2.2.0/gecode/int/bool.cc
620
619
  - ext/gecode-2.2.0/gecode/int/branch.hh
620
+ - ext/gecode-2.2.0/gecode/int/sorted
621
+ - ext/gecode-2.2.0/gecode/int/sorted/order.icc
622
+ - ext/gecode-2.2.0/gecode/int/sorted/propagate.icc
623
+ - ext/gecode-2.2.0/gecode/int/sorted/matching.icc
624
+ - ext/gecode-2.2.0/gecode/int/sorted/sortsup.icc
625
+ - ext/gecode-2.2.0/gecode/int/sorted/narrowing.icc
626
+ - ext/gecode-2.2.0/gecode/int/cumulatives.cc
627
+ - ext/gecode-2.2.0/gecode/int/count.cc
628
+ - ext/gecode-2.2.0/gecode/int/exception.icc
629
+ - ext/gecode-2.2.0/gecode/int/element
630
+ - ext/gecode-2.2.0/gecode/int/element/int.icc
631
+ - ext/gecode-2.2.0/gecode/int/element/view.icc
632
+ - ext/gecode-2.2.0/gecode/int/var-imp.icc
633
+ - ext/gecode-2.2.0/gecode/int/gcc.cc
634
+ - ext/gecode-2.2.0/gecode/int/linear-int.cc
635
+ - ext/gecode-2.2.0/gecode/int/gcc
636
+ - ext/gecode-2.2.0/gecode/int/gcc/gccbndsup.icc
637
+ - ext/gecode-2.2.0/gecode/int/gcc/bnd.icc
638
+ - ext/gecode-2.2.0/gecode/int/gcc/ubc.icc
639
+ - ext/gecode-2.2.0/gecode/int/gcc/dom.icc
640
+ - ext/gecode-2.2.0/gecode/int/gcc/lbc.icc
641
+ - ext/gecode-2.2.0/gecode/int/gcc/occur.icc
642
+ - ext/gecode-2.2.0/gecode/int/gcc/val.icc
643
+ - ext/gecode-2.2.0/gecode/int/gcc/graphsup.icc
621
644
  - ext/gecode-2.2.0/gecode/int/arithmetic.hh
622
- - ext/gecode-2.2.0/gecode/int/arithmetic
623
- - ext/gecode-2.2.0/gecode/int/arithmetic/sqr.icc
624
- - ext/gecode-2.2.0/gecode/int/arithmetic/max.icc
625
- - ext/gecode-2.2.0/gecode/int/arithmetic/divmod.icc
626
- - ext/gecode-2.2.0/gecode/int/arithmetic/abs.icc
627
- - ext/gecode-2.2.0/gecode/int/arithmetic/mult.icc
628
- - ext/gecode-2.2.0/gecode/int/arithmetic/sqrt.icc
629
- - ext/gecode-2.2.0/gecode/int/element.hh
630
- - ext/gecode-2.2.0/gecode/int/extensional.hh
631
- - ext/gecode-2.2.0/gecode/int/linear.hh
632
- - ext/gecode-2.2.0/gecode/int/distinct.cc
633
- - ext/gecode-2.2.0/gecode/int/sorted.hh
645
+ - ext/gecode-2.2.0/gecode/int/rel.hh
646
+ - ext/gecode-2.2.0/gecode/int/view.icc
647
+ - ext/gecode-2.2.0/gecode/int/support-values.hh
648
+ - ext/gecode-2.2.0/gecode/int/extensional.cc
634
649
  - ext/gecode-2.2.0/gecode/int/distinct
650
+ - ext/gecode-2.2.0/gecode/int/distinct/bnd.icc
651
+ - ext/gecode-2.2.0/gecode/int/distinct/combptr.icc
635
652
  - ext/gecode-2.2.0/gecode/int/distinct/dom.icc
636
- - ext/gecode-2.2.0/gecode/int/distinct/val.icc
637
- - ext/gecode-2.2.0/gecode/int/distinct/bilink.icc
638
653
  - ext/gecode-2.2.0/gecode/int/distinct/ter-dom.icc
639
- - ext/gecode-2.2.0/gecode/int/distinct/combptr.icc
640
654
  - ext/gecode-2.2.0/gecode/int/distinct/edge.icc
641
- - ext/gecode-2.2.0/gecode/int/distinct/bnd.icc
642
655
  - ext/gecode-2.2.0/gecode/int/distinct/node.icc
643
- - ext/gecode-2.2.0/gecode/int/cumulatives.cc
656
+ - ext/gecode-2.2.0/gecode/int/distinct/val.icc
657
+ - ext/gecode-2.2.0/gecode/int/distinct/bilink.icc
658
+ - ext/gecode-2.2.0/gecode/int/propagator.icc
659
+ - ext/gecode-2.2.0/gecode/int/array.icc
660
+ - ext/gecode-2.2.0/gecode/int/dom.hh
644
661
  - ext/gecode-2.2.0/gecode/int/rel
645
- - ext/gecode-2.2.0/gecode/int/rel/nq.icc
646
662
  - ext/gecode-2.2.0/gecode/int/rel/lq-le.icc
647
663
  - ext/gecode-2.2.0/gecode/int/rel/eq.icc
648
664
  - ext/gecode-2.2.0/gecode/int/rel/lex.icc
649
- - ext/gecode-2.2.0/gecode/int/gcc.cc
650
- - ext/gecode-2.2.0/gecode/int/array.icc
651
- - ext/gecode-2.2.0/gecode/int/propagator.icc
652
- - ext/gecode-2.2.0/gecode/int/linear-int.cc
653
- - ext/gecode-2.2.0/gecode/int/var-imp.icc
654
- - ext/gecode-2.2.0/gecode/int/circuit
655
- - ext/gecode-2.2.0/gecode/int/circuit/dom.icc
656
- - ext/gecode-2.2.0/gecode/int/circuit/val.icc
657
- - ext/gecode-2.2.0/gecode/int/circuit/base.icc
658
- - ext/gecode-2.2.0/gecode/int/arithmetic.cc
659
- - ext/gecode-2.2.0/gecode/int/element
660
- - ext/gecode-2.2.0/gecode/int/element/int.icc
661
- - ext/gecode-2.2.0/gecode/int/element/view.icc
662
- - ext/gecode-2.2.0/gecode/int/bool
663
- - ext/gecode-2.2.0/gecode/int/bool/base.icc
664
- - ext/gecode-2.2.0/gecode/int/bool/lq.icc
665
- - ext/gecode-2.2.0/gecode/int/bool/or.icc
666
- - ext/gecode-2.2.0/gecode/int/bool/eq.icc
667
- - ext/gecode-2.2.0/gecode/int/bool/eqv.icc
668
- - ext/gecode-2.2.0/gecode/int/circuit.hh
669
- - ext/gecode-2.2.0/gecode/int/extensional.cc
670
- - ext/gecode-2.2.0/gecode/int/count.cc
671
- - ext/gecode-2.2.0/gecode/int/linear-bool.cc
665
+ - ext/gecode-2.2.0/gecode/int/rel/nq.icc
666
+ - ext/gecode-2.2.0/gecode/int/extensional.hh
667
+ - ext/gecode-2.2.0/gecode/int/dom
668
+ - ext/gecode-2.2.0/gecode/int/dom/range.icc
669
+ - ext/gecode-2.2.0/gecode/int/dom/spec.icc
672
670
  - ext/gecode-2.2.0/gecode/int/linear
671
+ - ext/gecode-2.2.0/gecode/int/linear/bool-post.cc
673
672
  - ext/gecode-2.2.0/gecode/int/linear/int-noview.icc
673
+ - ext/gecode-2.2.0/gecode/int/linear/int-post.cc
674
674
  - ext/gecode-2.2.0/gecode/int/linear/int-ter.icc
675
- - ext/gecode-2.2.0/gecode/int/linear/bool-int.icc
676
675
  - ext/gecode-2.2.0/gecode/int/linear/bool-scale.icc
677
676
  - ext/gecode-2.2.0/gecode/int/linear/int-bin.icc
678
- - ext/gecode-2.2.0/gecode/int/linear/post.icc
679
- - ext/gecode-2.2.0/gecode/int/linear/bool-post.cc
680
- - ext/gecode-2.2.0/gecode/int/linear/bool-view.icc
681
677
  - ext/gecode-2.2.0/gecode/int/linear/int-nary.icc
682
678
  - ext/gecode-2.2.0/gecode/int/linear/int-dom.icc
683
- - ext/gecode-2.2.0/gecode/int/linear/int-post.cc
684
- - ext/gecode-2.2.0/gecode/int/bool.cc
685
- - ext/gecode-2.2.0/gecode/int/dom.hh
686
- - ext/gecode-2.2.0/gecode/int/extensional
687
- - ext/gecode-2.2.0/gecode/int/extensional/bitset.icc
688
- - ext/gecode-2.2.0/gecode/int/extensional/dfa.icc
689
- - ext/gecode-2.2.0/gecode/int/extensional/base.icc
690
- - ext/gecode-2.2.0/gecode/int/extensional/basic.icc
691
- - ext/gecode-2.2.0/gecode/int/extensional/dfa.cc
692
- - ext/gecode-2.2.0/gecode/int/extensional/layered-graph.icc
693
- - ext/gecode-2.2.0/gecode/int/extensional/tuple-set.icc
694
- - ext/gecode-2.2.0/gecode/int/extensional/incremental.icc
695
- - ext/gecode-2.2.0/gecode/int/extensional/tuple-set.cc
696
- - ext/gecode-2.2.0/gecode/int/limits.icc
697
- - ext/gecode-2.2.0/gecode/int/sorted
698
- - ext/gecode-2.2.0/gecode/int/sorted/sortsup.icc
699
- - ext/gecode-2.2.0/gecode/int/sorted/order.icc
700
- - ext/gecode-2.2.0/gecode/int/sorted/matching.icc
701
- - ext/gecode-2.2.0/gecode/int/sorted/narrowing.icc
702
- - ext/gecode-2.2.0/gecode/int/sorted/propagate.icc
703
- - ext/gecode-2.2.0/gecode/int/distinct.hh
704
- - ext/gecode-2.2.0/gecode/int/exception.icc
705
- - ext/gecode-2.2.0/gecode/int/int-set.cc
706
- - ext/gecode-2.2.0/gecode/int/view.icc
707
- - ext/gecode-2.2.0/gecode/int/var-imp
708
- - ext/gecode-2.2.0/gecode/int/var-imp/int.icc
709
- - ext/gecode-2.2.0/gecode/int/var-imp/int.cc
710
- - ext/gecode-2.2.0/gecode/int/var-imp/delta.icc
711
- - ext/gecode-2.2.0/gecode/int/var-imp/bool.cc
712
- - ext/gecode-2.2.0/gecode/int/var-imp/int.vis
713
- - ext/gecode-2.2.0/gecode/int/var-imp/bool.icc
714
- - ext/gecode-2.2.0/gecode/int/var-imp/bool.vis
715
- - ext/gecode-2.2.0/gecode/int/int-set.icc
716
- - ext/gecode-2.2.0/gecode/int/rel.cc
717
- - ext/gecode-2.2.0/gecode/int/support-values.hh
718
- - ext/gecode-2.2.0/gecode/int/bool.hh
719
- - ext/gecode-2.2.0/gecode/int/circuit.cc
720
- - ext/gecode-2.2.0/gecode/int/cumulatives
721
- - ext/gecode-2.2.0/gecode/int/cumulatives/val.icc
722
- - ext/gecode-2.2.0/gecode/int/unshare.cc
723
- - ext/gecode-2.2.0/gecode/int/cumulatives.hh
724
- - ext/gecode-2.2.0/gecode/int/channel.hh
725
- - ext/gecode-2.2.0/gecode/int/rel.hh
726
- - ext/gecode-2.2.0/gecode/int/branch.cc
679
+ - ext/gecode-2.2.0/gecode/int/linear/bool-int.icc
680
+ - ext/gecode-2.2.0/gecode/int/linear/post.icc
681
+ - ext/gecode-2.2.0/gecode/int/linear/bool-view.icc
682
+ - ext/gecode-2.2.0/gecode/int/count.hh
683
+ - ext/gecode-2.2.0/gecode/int/circuit
684
+ - ext/gecode-2.2.0/gecode/int/circuit/base.icc
685
+ - ext/gecode-2.2.0/gecode/int/circuit/dom.icc
686
+ - ext/gecode-2.2.0/gecode/int/circuit/val.icc
727
687
  - ext/gecode-2.2.0/gecode/int/channel
728
- - ext/gecode-2.2.0/gecode/int/channel/dom.icc
729
- - ext/gecode-2.2.0/gecode/int/channel/val.icc
730
- - ext/gecode-2.2.0/gecode/int/channel/base.icc
731
688
  - ext/gecode-2.2.0/gecode/int/channel/link-multi.cc
732
689
  - ext/gecode-2.2.0/gecode/int/channel/link-multi.icc
690
+ - ext/gecode-2.2.0/gecode/int/channel/base.icc
691
+ - ext/gecode-2.2.0/gecode/int/channel/dom.icc
733
692
  - ext/gecode-2.2.0/gecode/int/channel/link-single.cc
693
+ - ext/gecode-2.2.0/gecode/int/channel/val.icc
734
694
  - ext/gecode-2.2.0/gecode/int/channel/link-single.icc
735
- - ext/gecode-2.2.0/gecode/int/support-values.icc
736
- - ext/gecode-2.2.0/gecode/int/element.cc
737
- - ext/gecode-2.2.0/gecode/int/sorted.cc
738
- - ext/gecode-2.2.0/gecode/int/count
739
- - ext/gecode-2.2.0/gecode/int/count/int.icc
740
- - ext/gecode-2.2.0/gecode/int/count/view.icc
741
- - ext/gecode-2.2.0/gecode/int/count/rel.icc
695
+ - ext/gecode-2.2.0/gecode/int/extensional
696
+ - ext/gecode-2.2.0/gecode/int/extensional/dfa.cc
697
+ - ext/gecode-2.2.0/gecode/int/extensional/basic.icc
698
+ - ext/gecode-2.2.0/gecode/int/extensional/base.icc
699
+ - ext/gecode-2.2.0/gecode/int/extensional/layered-graph.icc
700
+ - ext/gecode-2.2.0/gecode/int/extensional/tuple-set.cc
701
+ - ext/gecode-2.2.0/gecode/int/extensional/tuple-set.icc
702
+ - ext/gecode-2.2.0/gecode/int/extensional/incremental.icc
703
+ - ext/gecode-2.2.0/gecode/int/extensional/dfa.icc
704
+ - ext/gecode-2.2.0/gecode/int/extensional/bitset.icc
705
+ - ext/gecode-2.2.0/gecode/int/sorted.hh
742
706
  - ext/gecode-2.2.0/gecode/int/branch
743
- - ext/gecode-2.2.0/gecode/int/branch/select-view.icc
744
707
  - ext/gecode-2.2.0/gecode/int/branch/create-branch.icc
745
708
  - ext/gecode-2.2.0/gecode/int/branch/select-val.icc
709
+ - ext/gecode-2.2.0/gecode/int/branch/select-view.icc
710
+ - ext/gecode-2.2.0/gecode/int/view
711
+ - ext/gecode-2.2.0/gecode/int/view/zero.icc
712
+ - ext/gecode-2.2.0/gecode/int/view/bool.icc
713
+ - ext/gecode-2.2.0/gecode/int/view/offset.icc
714
+ - ext/gecode-2.2.0/gecode/int/view/rtest.icc
715
+ - ext/gecode-2.2.0/gecode/int/view/int.icc
716
+ - ext/gecode-2.2.0/gecode/int/view/print.cc
717
+ - ext/gecode-2.2.0/gecode/int/view/iter.icc
718
+ - ext/gecode-2.2.0/gecode/int/view/scale.icc
719
+ - ext/gecode-2.2.0/gecode/int/view/constint.icc
720
+ - ext/gecode-2.2.0/gecode/int/view/minus.icc
721
+ - ext/gecode-2.2.0/gecode/int/int-set.cc
722
+ - ext/gecode-2.2.0/gecode/int/gcc.hh
723
+ - ext/gecode-2.2.0/gecode/int/arithmetic
724
+ - ext/gecode-2.2.0/gecode/int/arithmetic/abs.icc
725
+ - ext/gecode-2.2.0/gecode/int/arithmetic/max.icc
726
+ - ext/gecode-2.2.0/gecode/int/arithmetic/sqr.icc
727
+ - ext/gecode-2.2.0/gecode/int/arithmetic/divmod.icc
728
+ - ext/gecode-2.2.0/gecode/int/arithmetic/sqrt.icc
729
+ - ext/gecode-2.2.0/gecode/int/arithmetic/mult.icc
730
+ - ext/gecode-2.2.0/gecode/int/array.cc
731
+ - ext/gecode-2.2.0/gecode/int/element.cc
732
+ - ext/gecode-2.2.0/gecode/int/support-values.icc
733
+ - ext/gecode-2.2.0/gecode/int/channel.cc
734
+ - ext/gecode-2.2.0/gecode/int/circuit.hh
735
+ - ext/gecode-2.2.0/gecode/search
736
+ - ext/gecode-2.2.0/gecode/search/dfs.cc
737
+ - ext/gecode-2.2.0/gecode/search/lds.icc
738
+ - ext/gecode-2.2.0/gecode/search/stop.icc
739
+ - ext/gecode-2.2.0/gecode/search/statistics.icc
740
+ - ext/gecode-2.2.0/gecode/search/lds.cc
741
+ - ext/gecode-2.2.0/gecode/search/bab.icc
742
+ - ext/gecode-2.2.0/gecode/search/engine-ctrl.icc
743
+ - ext/gecode-2.2.0/gecode/search/options.icc
744
+ - ext/gecode-2.2.0/gecode/search/dfs.icc
745
+ - ext/gecode-2.2.0/gecode/search/reco-stack.icc
746
+ - ext/gecode-2.2.0/gecode/search/stop.cc
747
+ - ext/gecode-2.2.0/gecode/search/restart.icc
748
+ - ext/gecode-2.2.0/gecode/search/bab.cc
749
+ - ext/gecode-2.2.0/gecode/search/options.cc
746
750
  - ext/gecode-2.2.0/gecode/cpltset
747
- - ext/gecode-2.2.0/gecode/cpltset/propagators.hh
748
- - ext/gecode-2.2.0/gecode/cpltset/view
749
- - ext/gecode-2.2.0/gecode/cpltset/view/print.cc
750
- - ext/gecode-2.2.0/gecode/cpltset/view/cpltset.icc
751
+ - ext/gecode-2.2.0/gecode/cpltset/branch.cc
752
+ - ext/gecode-2.2.0/gecode/cpltset/var-imp
753
+ - ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.cc
754
+ - ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.icc
755
+ - ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.vis
756
+ - ext/gecode-2.2.0/gecode/cpltset/support.cc
751
757
  - ext/gecode-2.2.0/gecode/cpltset/propagators
752
758
  - ext/gecode-2.2.0/gecode/cpltset/propagators/naryone.icc
753
- - ext/gecode-2.2.0/gecode/cpltset/propagators/narytwo.icc
754
759
  - ext/gecode-2.2.0/gecode/cpltset/propagators/unary.icc
755
- - ext/gecode-2.2.0/gecode/cpltset/propagators/nary.icc
756
760
  - ext/gecode-2.2.0/gecode/cpltset/propagators/binary.icc
761
+ - ext/gecode-2.2.0/gecode/cpltset/propagators/nary.icc
762
+ - ext/gecode-2.2.0/gecode/cpltset/propagators/narytwo.icc
757
763
  - ext/gecode-2.2.0/gecode/cpltset/propagators/singleton.icc
758
- - ext/gecode-2.2.0/gecode/cpltset/array.cc
759
764
  - ext/gecode-2.2.0/gecode/cpltset/var
760
765
  - ext/gecode-2.2.0/gecode/cpltset/var/cpltset.cc
761
766
  - ext/gecode-2.2.0/gecode/cpltset/var/cpltset.icc
762
767
  - ext/gecode-2.2.0/gecode/cpltset/branch.hh
768
+ - ext/gecode-2.2.0/gecode/cpltset/exception.icc
769
+ - ext/gecode-2.2.0/gecode/cpltset/var-imp.icc
770
+ - ext/gecode-2.2.0/gecode/cpltset/view.icc
763
771
  - ext/gecode-2.2.0/gecode/cpltset/bddmanager.cc
764
772
  - ext/gecode-2.2.0/gecode/cpltset/bddmanager.icc
765
- - ext/gecode-2.2.0/gecode/cpltset/support.cc
766
773
  - ext/gecode-2.2.0/gecode/cpltset/array.icc
767
- - ext/gecode-2.2.0/gecode/cpltset/var-imp.icc
768
- - ext/gecode-2.2.0/gecode/cpltset/exception.icc
769
- - ext/gecode-2.2.0/gecode/cpltset/view.icc
770
- - ext/gecode-2.2.0/gecode/cpltset/var-imp
771
- - ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.cc
772
- - ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.icc
773
- - ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.vis
774
+ - ext/gecode-2.2.0/gecode/cpltset/propagators.hh
774
775
  - ext/gecode-2.2.0/gecode/cpltset/constraints
776
+ - ext/gecode-2.2.0/gecode/cpltset/constraints/distinct.cc
777
+ - ext/gecode-2.2.0/gecode/cpltset/constraints/rel.cc
775
778
  - ext/gecode-2.2.0/gecode/cpltset/constraints/dom.cc
776
779
  - ext/gecode-2.2.0/gecode/cpltset/constraints/atmost.cc
777
780
  - ext/gecode-2.2.0/gecode/cpltset/constraints/singleton.cc
778
- - ext/gecode-2.2.0/gecode/cpltset/constraints/distinct.cc
781
+ - ext/gecode-2.2.0/gecode/cpltset/constraints/rangeroots.cc
782
+ - ext/gecode-2.2.0/gecode/cpltset/constraints/cardinality.cc
779
783
  - ext/gecode-2.2.0/gecode/cpltset/constraints/partition.cc
780
- - ext/gecode-2.2.0/gecode/cpltset/constraints/rel.cc
781
784
  - ext/gecode-2.2.0/gecode/cpltset/constraints/select.cc
782
- - ext/gecode-2.2.0/gecode/cpltset/constraints/cardinality.cc
783
- - ext/gecode-2.2.0/gecode/cpltset/constraints/rangeroots.cc
784
- - ext/gecode-2.2.0/gecode/cpltset/support.icc
785
- - ext/gecode-2.2.0/gecode/cpltset/branch.cc
786
785
  - ext/gecode-2.2.0/gecode/cpltset/branch
787
- - ext/gecode-2.2.0/gecode/cpltset/branch/select-view.icc
788
786
  - ext/gecode-2.2.0/gecode/cpltset/branch/select-val.icc
789
- - ext/gecode-2.2.0/gecode/minimodel
790
- - ext/gecode-2.2.0/gecode/minimodel/lin-rel.icc
791
- - ext/gecode-2.2.0/gecode/minimodel/lin-expr.icc
792
- - ext/gecode-2.2.0/gecode/minimodel/bool-rel.icc
793
- - ext/gecode-2.2.0/gecode/minimodel/reg.cc
794
- - ext/gecode-2.2.0/gecode/minimodel/bool-expr.cc
795
- - ext/gecode-2.2.0/gecode/minimodel/bool-expr.icc
796
- - ext/gecode-2.2.0/gecode/minimodel/matrix.icc
797
- - ext/gecode-2.2.0/gecode/minimodel/exception.icc
798
- - ext/gecode-2.2.0/gecode/minimodel/arithmetic.icc
799
- - ext/gecode-2.2.0/gecode/int.hh
800
- - ext/gecode-2.2.0/gecode/minimodel.hh
801
- - ext/gecode-2.2.0/gecode/cpltset.hh
802
- - ext/gecode-2.2.0/gecode/serialization
803
- - ext/gecode-2.2.0/gecode/serialization/boost.cc
804
- - ext/gecode-2.2.0/gecode/serialization/flatzinc.cc
805
- - ext/gecode-2.2.0/gecode/serialization/register.cc
806
- - ext/gecode-2.2.0/gecode/serialization/javascript.hh
807
- - ext/gecode-2.2.0/gecode/serialization/boost.icc
808
- - ext/gecode-2.2.0/gecode/serialization/javascript.cc
809
- - ext/gecode-2.2.0/gecode/iter.hh
810
- - ext/gecode-2.2.0/gecode/gist.hh
811
- - ext/gecode-2.2.0/gecode/set.hh
812
- - ext/gecode-2.2.0/gecode/serialization.hh
813
- - ext/gecode-2.2.0/gecode/search
814
- - ext/gecode-2.2.0/gecode/search/lds.cc
815
- - ext/gecode-2.2.0/gecode/search/stop.icc
816
- - ext/gecode-2.2.0/gecode/search/dfs.cc
817
- - ext/gecode-2.2.0/gecode/search/engine-ctrl.icc
818
- - ext/gecode-2.2.0/gecode/search/bab.cc
819
- - ext/gecode-2.2.0/gecode/search/reco-stack.icc
820
- - ext/gecode-2.2.0/gecode/search/options.icc
821
- - ext/gecode-2.2.0/gecode/search/statistics.icc
822
- - ext/gecode-2.2.0/gecode/search/bab.icc
823
- - ext/gecode-2.2.0/gecode/search/lds.icc
824
- - ext/gecode-2.2.0/gecode/search/restart.icc
825
- - ext/gecode-2.2.0/gecode/search/stop.cc
826
- - ext/gecode-2.2.0/gecode/search/dfs.icc
827
- - ext/gecode-2.2.0/gecode/search/options.cc
828
- - ext/gecode-2.2.0/gecode/gist
829
- - ext/gecode-2.2.0/gecode/gist/addchild.hh
830
- - ext/gecode-2.2.0/gecode/gist/mainwindow.hh
831
- - ext/gecode-2.2.0/gecode/gist/node.hh
832
- - ext/gecode-2.2.0/gecode/gist/drawingcursor.icc
833
- - ext/gecode-2.2.0/gecode/gist/ui_addvisualisationdialog.hh
834
- - ext/gecode-2.2.0/gecode/gist/addchild.cc
835
- - ext/gecode-2.2.0/gecode/gist/layoutcursor.icc
836
- - ext/gecode-2.2.0/gecode/gist/nodevisitor.icc
837
- - ext/gecode-2.2.0/gecode/gist/spacenode.cc
838
- - ext/gecode-2.2.0/gecode/gist/gist.icc
839
- - ext/gecode-2.2.0/gecode/gist/nodevisitor.hh
840
- - ext/gecode-2.2.0/gecode/gist/nodecursor.icc
841
- - ext/gecode-2.2.0/gecode/gist/drawingcursor.hh
842
- - ext/gecode-2.2.0/gecode/gist/visualisation
843
- - ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.cc
844
- - ext/gecode-2.2.0/gecode/gist/visualisation/varitem.cc
845
- - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayitem.hh
846
- - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.cc
847
- - ext/gecode-2.2.0/gecode/gist/visualisation/varitem.hh
848
- - ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.hh
849
- - ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.cc
850
- - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.hh
851
- - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayviewt.hh
852
- - ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.hh
853
- - ext/gecode-2.2.0/gecode/gist/treecanvas.cc
854
- - ext/gecode-2.2.0/gecode/gist/drawingcursor.cc
855
- - ext/gecode-2.2.0/gecode/gist/gist.cc
856
- - ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.hh
857
- - ext/gecode-2.2.0/gecode/gist/better.hh
858
- - ext/gecode-2.2.0/gecode/gist/node.cc
859
- - ext/gecode-2.2.0/gecode/gist/layoutcursor.cc
860
- - ext/gecode-2.2.0/gecode/gist/preferences.cc
861
- - ext/gecode-2.2.0/gecode/gist/mainwindow.cc
862
- - ext/gecode-2.2.0/gecode/gist/test.cc
863
- - ext/gecode-2.2.0/gecode/gist/preferences.hh
864
- - ext/gecode-2.2.0/gecode/gist/node.icc
865
- - ext/gecode-2.2.0/gecode/gist/config.hh
866
- - ext/gecode-2.2.0/gecode/gist/gecodelogo.cc
867
- - ext/gecode-2.2.0/gecode/gist/textoutput.cc
868
- - ext/gecode-2.2.0/gecode/gist/visualnode.hh
869
- - ext/gecode-2.2.0/gecode/gist/config.cc
870
- - ext/gecode-2.2.0/gecode/gist/nodecursor.cc
871
- - ext/gecode-2.2.0/gecode/gist/visualnode.cc
872
- - ext/gecode-2.2.0/gecode/gist/zoomToFitIcon.icc
873
- - ext/gecode-2.2.0/gecode/gist/layoutcursor.hh
874
- - ext/gecode-2.2.0/gecode/gist/textoutput.hh
875
- - ext/gecode-2.2.0/gecode/gist/ui_addchild.hh
876
- - ext/gecode-2.2.0/gecode/gist/gecodelogo.hh
877
- - ext/gecode-2.2.0/gecode/gist/spacenode.hh
878
- - ext/gecode-2.2.0/gecode/gist/nodecursor.hh
879
- - ext/gecode-2.2.0/gecode/gist/spacenode.icc
880
- - ext/gecode-2.2.0/gecode/gist/visualnode.icc
881
- - ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.cc
882
- - ext/gecode-2.2.0/gecode/gist/treecanvas.hh
787
+ - ext/gecode-2.2.0/gecode/cpltset/branch/select-view.icc
788
+ - ext/gecode-2.2.0/gecode/cpltset/view
789
+ - ext/gecode-2.2.0/gecode/cpltset/view/print.cc
790
+ - ext/gecode-2.2.0/gecode/cpltset/view/cpltset.icc
791
+ - ext/gecode-2.2.0/gecode/cpltset/support.icc
792
+ - ext/gecode-2.2.0/gecode/cpltset/array.cc
883
793
  - ext/gecode-2.2.0/gecode/search.hh
884
794
  - ext/gecode-2.2.0/gecode/kernel
795
+ - ext/gecode-2.2.0/gecode/kernel/modevent.icc
796
+ - ext/gecode-2.2.0/gecode/kernel/memory-manager.icc
797
+ - ext/gecode-2.2.0/gecode/kernel/var-map.cc
798
+ - ext/gecode-2.2.0/gecode/kernel/shared-array.icc
799
+ - ext/gecode-2.2.0/gecode/kernel/var.icc
885
800
  - ext/gecode-2.2.0/gecode/kernel/var-type.cc
886
- - ext/gecode-2.2.0/gecode/kernel/core.icc
887
- - ext/gecode-2.2.0/gecode/kernel/memory-manager.cc
888
- - ext/gecode-2.2.0/gecode/kernel/reflection.cc
889
- - ext/gecode-2.2.0/gecode/kernel/var-type.icc
890
801
  - ext/gecode-2.2.0/gecode/kernel/reflection.icc
891
- - ext/gecode-2.2.0/gecode/kernel/core.cc
892
- - ext/gecode-2.2.0/gecode/kernel/advisor.icc
893
- - ext/gecode-2.2.0/gecode/kernel/modevent.icc
894
- - ext/gecode-2.2.0/gecode/kernel/var-traits.icc
895
- - ext/gecode-2.2.0/gecode/kernel/array.icc
896
- - ext/gecode-2.2.0/gecode/kernel/propagator.icc
897
- - ext/gecode-2.2.0/gecode/kernel/branching.icc
898
- - ext/gecode-2.2.0/gecode/kernel/var-imp.icc
802
+ - ext/gecode-2.2.0/gecode/kernel/var-type.icc
899
803
  - ext/gecode-2.2.0/gecode/kernel/exception.icc
900
- - ext/gecode-2.2.0/gecode/kernel/var-map.cc
804
+ - ext/gecode-2.2.0/gecode/kernel/var-imp.icc
805
+ - ext/gecode-2.2.0/gecode/kernel/var-traits.icc
901
806
  - ext/gecode-2.2.0/gecode/kernel/view.icc
902
- - ext/gecode-2.2.0/gecode/kernel/var.icc
807
+ - ext/gecode-2.2.0/gecode/kernel/advisor.icc
903
808
  - ext/gecode-2.2.0/gecode/kernel/var-map.icc
904
- - ext/gecode-2.2.0/gecode/kernel/memory-manager.icc
809
+ - ext/gecode-2.2.0/gecode/kernel/propagator.icc
810
+ - ext/gecode-2.2.0/gecode/kernel/array.icc
811
+ - ext/gecode-2.2.0/gecode/kernel/reflection.cc
812
+ - ext/gecode-2.2.0/gecode/kernel/branching.icc
813
+ - ext/gecode-2.2.0/gecode/kernel/core.icc
814
+ - ext/gecode-2.2.0/gecode/kernel/memory-manager.cc
815
+ - ext/gecode-2.2.0/gecode/kernel/core.cc
905
816
  - ext/gecode-2.2.0/gecode/kernel/macros.icc
906
- - ext/gecode-2.2.0/gecode/kernel/shared-array.icc
907
817
  - ext/gecode-2.2.0/gecode/support
908
- - ext/gecode-2.2.0/gecode/support/static-stack.icc
909
- - ext/gecode-2.2.0/gecode/support/random.icc
910
- - ext/gecode-2.2.0/gecode/support/symbol.icc
911
- - ext/gecode-2.2.0/gecode/support/static-pqueue.icc
912
- - ext/gecode-2.2.0/gecode/support/block-allocator.icc
818
+ - ext/gecode-2.2.0/gecode/support/sort.icc
819
+ - ext/gecode-2.2.0/gecode/support/sentinel-stack.icc
820
+ - ext/gecode-2.2.0/gecode/support/config.icc.in
913
821
  - ext/gecode-2.2.0/gecode/support/exception.cc
914
- - ext/gecode-2.2.0/gecode/support/map.icc
915
- - ext/gecode-2.2.0/gecode/support/dynamic-stack.icc
916
822
  - ext/gecode-2.2.0/gecode/support/exception.icc
917
- - ext/gecode-2.2.0/gecode/support/memory.icc
918
- - ext/gecode-2.2.0/gecode/support/sentinel-stack.icc
823
+ - ext/gecode-2.2.0/gecode/support/dynamic-stack.icc
919
824
  - ext/gecode-2.2.0/gecode/support/cast.icc
825
+ - ext/gecode-2.2.0/gecode/support/marked-pointer.icc
826
+ - ext/gecode-2.2.0/gecode/support/map.icc
827
+ - ext/gecode-2.2.0/gecode/support/block-allocator.icc
828
+ - ext/gecode-2.2.0/gecode/support/random.icc
920
829
  - ext/gecode-2.2.0/gecode/support/buddy
921
- - ext/gecode-2.2.0/gecode/support/buddy/fdd.c
922
830
  - ext/gecode-2.2.0/gecode/support/buddy/README
923
- - ext/gecode-2.2.0/gecode/support/buddy/AUTHORS
924
- - ext/gecode-2.2.0/gecode/support/buddy/imatrix.c
925
- - ext/gecode-2.2.0/gecode/support/buddy/config.h
926
- - ext/gecode-2.2.0/gecode/support/buddy/cache.h
927
- - ext/gecode-2.2.0/gecode/support/buddy/bvec.c
928
- - ext/gecode-2.2.0/gecode/support/buddy/prime.h
831
+ - ext/gecode-2.2.0/gecode/support/buddy/tree.c
832
+ - ext/gecode-2.2.0/gecode/support/buddy/ChangeLog
833
+ - ext/gecode-2.2.0/gecode/support/buddy/fdd.c
929
834
  - ext/gecode-2.2.0/gecode/support/buddy/bdd.h
930
- - ext/gecode-2.2.0/gecode/support/buddy/imatrix.h
931
- - ext/gecode-2.2.0/gecode/support/buddy/pairs.c
932
- - ext/gecode-2.2.0/gecode/support/buddy/bddop.c
933
835
  - ext/gecode-2.2.0/gecode/support/buddy/fdd.h
934
836
  - ext/gecode-2.2.0/gecode/support/buddy/bvec.h
935
- - ext/gecode-2.2.0/gecode/support/buddy/kernel.c
936
- - ext/gecode-2.2.0/gecode/support/buddy/NEWS
837
+ - ext/gecode-2.2.0/gecode/support/buddy/AUTHORS
838
+ - ext/gecode-2.2.0/gecode/support/buddy/imatrix.c
937
839
  - ext/gecode-2.2.0/gecode/support/buddy/bddio.c
938
- - ext/gecode-2.2.0/gecode/support/buddy/ChangeLog
840
+ - ext/gecode-2.2.0/gecode/support/buddy/pairs.c
939
841
  - ext/gecode-2.2.0/gecode/support/buddy/cache.c
940
- - ext/gecode-2.2.0/gecode/support/buddy/cppext.cc
941
- - ext/gecode-2.2.0/gecode/support/buddy/tree.c
942
- - ext/gecode-2.2.0/gecode/support/buddy/kernel.h
943
- - ext/gecode-2.2.0/gecode/support/buddy/reorder.c
944
842
  - ext/gecode-2.2.0/gecode/support/buddy/bddtree.h
843
+ - ext/gecode-2.2.0/gecode/support/buddy/reorder.c
844
+ - ext/gecode-2.2.0/gecode/support/buddy/cache.h
845
+ - ext/gecode-2.2.0/gecode/support/buddy/config.h
846
+ - ext/gecode-2.2.0/gecode/support/buddy/kernel.c
945
847
  - ext/gecode-2.2.0/gecode/support/buddy/prime.c
848
+ - ext/gecode-2.2.0/gecode/support/buddy/prime.h
849
+ - ext/gecode-2.2.0/gecode/support/buddy/kernel.h
850
+ - ext/gecode-2.2.0/gecode/support/buddy/bddop.c
851
+ - ext/gecode-2.2.0/gecode/support/buddy/NEWS
852
+ - ext/gecode-2.2.0/gecode/support/buddy/imatrix.h
853
+ - ext/gecode-2.2.0/gecode/support/buddy/cppext.cc
854
+ - ext/gecode-2.2.0/gecode/support/buddy/bvec.c
855
+ - ext/gecode-2.2.0/gecode/support/static-stack.icc
946
856
  - ext/gecode-2.2.0/gecode/support/symbol.cc
947
- - ext/gecode-2.2.0/gecode/support/config.icc.in
948
- - ext/gecode-2.2.0/gecode/support/macros.icc
949
- - ext/gecode-2.2.0/gecode/support/marked-pointer.icc
857
+ - ext/gecode-2.2.0/gecode/support/symbol.icc
950
858
  - ext/gecode-2.2.0/gecode/support/dynamic-array.icc
951
- - ext/gecode-2.2.0/gecode/support/sort.icc
952
- - ext/gecode-2.2.0/contribs
953
- - ext/gecode-2.2.0/contribs/README
954
- - ext/gecode-2.2.0/contribs/qecode
955
- - ext/gecode-2.2.0/contribs/qecode/StrategyNode.cc
956
- - ext/gecode-2.2.0/contribs/qecode/examples
957
- - ext/gecode-2.2.0/contribs/qecode/examples/COMPILING
958
- - ext/gecode-2.2.0/contribs/qecode/examples/MatrixGame.cpp
959
- - ext/gecode-2.2.0/contribs/qecode/examples/optim2.cc
960
- - ext/gecode-2.2.0/contribs/qecode/examples/stress_test.cpp
961
- - ext/gecode-2.2.0/contribs/qecode/examples/NimFibo.cpp
962
- - ext/gecode-2.2.0/contribs/qecode/examples/network-pricing.cc
963
- - ext/gecode-2.2.0/contribs/qecode/examples/connect-5-3-3-3.cpp
964
- - ext/gecode-2.2.0/contribs/qecode/qsolver.hh
965
- - ext/gecode-2.2.0/contribs/qecode/Implicative.hh
966
- - ext/gecode-2.2.0/contribs/qecode/heap.cc
967
- - ext/gecode-2.2.0/contribs/qecode/Strategy.cc
968
- - ext/gecode-2.2.0/contribs/qecode/qecode.hh
969
- - ext/gecode-2.2.0/contribs/qecode/Implicative.cc
970
- - ext/gecode-2.2.0/contribs/qecode/shortdesc.ac
971
- - ext/gecode-2.2.0/contribs/qecode/myDom.cc
972
- - ext/gecode-2.2.0/contribs/qecode/OptVar.cc
973
- - ext/gecode-2.2.0/contribs/qecode/Doxyfile
974
- - ext/gecode-2.2.0/contribs/qecode/vartype.hh
975
- - ext/gecode-2.2.0/contribs/qecode/Makefile.in.in
976
- - ext/gecode-2.2.0/contribs/qecode/configure
977
- - ext/gecode-2.2.0/contribs/qecode/config.status
978
- - ext/gecode-2.2.0/contribs/qecode/config.log
979
- - ext/gecode-2.2.0/contribs/qecode/qsolver.cc
980
- - ext/gecode-2.2.0/contribs/qecode/autom4te.cache
981
- - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/requests
982
- - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/traces.0
983
- - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/output.0
984
- - ext/gecode-2.2.0/contribs/qecode/myspace.cc
985
- - ext/gecode-2.2.0/contribs/qecode/Strategy.hh
986
- - ext/gecode-2.2.0/contribs/qecode/StrategyNode.hh
987
- - ext/gecode-2.2.0/contribs/qecode/OptVar.hh
988
- - ext/gecode-2.2.0/contribs/qecode/myspace.hh
989
- - ext/gecode-2.2.0/contribs/qecode/configure.ac
859
+ - ext/gecode-2.2.0/gecode/support/memory.icc
860
+ - ext/gecode-2.2.0/gecode/support/static-pqueue.icc
861
+ - ext/gecode-2.2.0/gecode/support/macros.icc
862
+ - ext/gecode-2.2.0/configure.ac.in
863
+ - ext/gecode-2.2.0/doxygen
864
+ - ext/gecode-2.2.0/doxygen/doxygen.conf.in
865
+ - ext/gecode-2.2.0/doxygen/doxygen.hh.in
866
+ - ext/gecode-2.2.0/doxygen/reflection.hh
867
+ - ext/gecode-2.2.0/test
868
+ - ext/gecode-2.2.0/test/assign.hh
869
+ - ext/gecode-2.2.0/test/cpltset.hh
870
+ - ext/gecode-2.2.0/test/set.hh
871
+ - ext/gecode-2.2.0/test/branch.cc
872
+ - ext/gecode-2.2.0/test/int.hh
873
+ - ext/gecode-2.2.0/test/set.icc
874
+ - ext/gecode-2.2.0/test/assign.cc
875
+ - ext/gecode-2.2.0/test/search.cc
876
+ - ext/gecode-2.2.0/test/set.cc
877
+ - ext/gecode-2.2.0/test/set
878
+ - ext/gecode-2.2.0/test/set/distinct.cc
879
+ - ext/gecode-2.2.0/test/set/rel.cc
880
+ - ext/gecode-2.2.0/test/set/rel-op-const.cc
881
+ - ext/gecode-2.2.0/test/set/dom.cc
882
+ - ext/gecode-2.2.0/test/set/int.cc
883
+ - ext/gecode-2.2.0/test/set/sequence.cc
884
+ - ext/gecode-2.2.0/test/set/rel-op.cc
885
+ - ext/gecode-2.2.0/test/set/convex.cc
886
+ - ext/gecode-2.2.0/test/set/select.cc
887
+ - ext/gecode-2.2.0/test/set/projection.cc
888
+ - ext/gecode-2.2.0/test/int.cc
889
+ - ext/gecode-2.2.0/test/int.icc
890
+ - ext/gecode-2.2.0/test/branch.hh
891
+ - ext/gecode-2.2.0/test/cpltset.cc
892
+ - ext/gecode-2.2.0/test/test.hh
893
+ - ext/gecode-2.2.0/test/test.cc
894
+ - ext/gecode-2.2.0/test/test.icc
895
+ - ext/gecode-2.2.0/test/int
896
+ - ext/gecode-2.2.0/test/int/mm-rel.cc
897
+ - ext/gecode-2.2.0/test/int/unshare.cc
898
+ - ext/gecode-2.2.0/test/int/distinct.cc
899
+ - ext/gecode-2.2.0/test/int/rel.cc
900
+ - ext/gecode-2.2.0/test/int/dom.cc
901
+ - ext/gecode-2.2.0/test/int/basic.cc
902
+ - ext/gecode-2.2.0/test/int/mm-arithmetic.cc
903
+ - ext/gecode-2.2.0/test/int/circuit.cc
904
+ - ext/gecode-2.2.0/test/int/arithmetic.cc
905
+ - ext/gecode-2.2.0/test/int/sorted.cc
906
+ - ext/gecode-2.2.0/test/int/bool.cc
907
+ - ext/gecode-2.2.0/test/int/count.cc
908
+ - ext/gecode-2.2.0/test/int/gcc.cc
909
+ - ext/gecode-2.2.0/test/int/linear.cc
910
+ - ext/gecode-2.2.0/test/int/extensional.cc
911
+ - ext/gecode-2.2.0/test/int/mm-bool.cc
912
+ - ext/gecode-2.2.0/test/int/element.cc
913
+ - ext/gecode-2.2.0/test/int/mm-count.cc
914
+ - ext/gecode-2.2.0/test/int/channel.cc
915
+ - ext/gecode-2.2.0/test/int/mm-lin.cc
916
+ - ext/gecode-2.2.0/test/int/scheduling.cc
917
+ - ext/gecode-2.2.0/test/cpltset
918
+ - ext/gecode-2.2.0/test/cpltset/rel.cc
919
+ - ext/gecode-2.2.0/test/cpltset/dom.cc
920
+ - ext/gecode-2.2.0/test/cpltset/atmost.cc
921
+ - ext/gecode-2.2.0/test/cpltset/cardinality.cc
922
+ - ext/gecode-2.2.0/test/cpltset/partition.cc
923
+ - ext/gecode-2.2.0/test/cpltset/select.cc
924
+ - ext/gecode-2.2.0/test/branch
925
+ - ext/gecode-2.2.0/test/branch/set.cc
926
+ - ext/gecode-2.2.0/test/branch/int.cc
927
+ - ext/gecode-2.2.0/test/branch/bool.cc
928
+ - ext/gecode-2.2.0/test/branch/cpltset.cc
929
+ - ext/gecode-2.2.0/test/assign
930
+ - ext/gecode-2.2.0/test/assign/int.cc
931
+ - ext/gecode-2.2.0/test/assign/bool.cc
932
+ - ext/gecode-2.2.0/configure.ac
933
+ - ext/gecode-2.2.0/configure
990
934
  - ext/gecode-2.2.0/variables.vsl
991
- - ext/gecode-2.2.0/Makefile.in
935
+ - ext/gecode-2.2.0/Makefile.contribs
992
936
  - ext/gecode-2.2.0/misc
993
- - ext/gecode-2.2.0/misc/fixproperties.sh
994
- - ext/gecode-2.2.0/misc/svn-ignore.txt
995
- - ext/gecode-2.2.0/misc/genchangelog.perl
996
- - ext/gecode-2.2.0/misc/gecode-search.pc.in
997
937
  - ext/gecode-2.2.0/misc/gentxtchangelog.perl
998
- - ext/gecode-2.2.0/misc/genlcovmakefile.perl
999
938
  - ext/gecode-2.2.0/misc/AppleHelpbookInfo.plist
1000
- - ext/gecode-2.2.0/misc/allexamples.perl
939
+ - ext/gecode-2.2.0/misc/svn-ignore.txt
940
+ - ext/gecode-2.2.0/misc/genvariables.perl
941
+ - ext/gecode-2.2.0/misc/gecode-minimodel.pc.in
942
+ - ext/gecode-2.2.0/misc/genregistry.perl
1001
943
  - ext/gecode-2.2.0/misc/doxygen
1002
944
  - ext/gecode-2.2.0/misc/doxygen/footer.html
945
+ - ext/gecode-2.2.0/misc/doxygen/header.html
1003
946
  - ext/gecode-2.2.0/misc/doxygen/stylesheet.css
1004
947
  - ext/gecode-2.2.0/misc/doxygen/back.png
1005
948
  - ext/gecode-2.2.0/misc/doxygen/gecode-logo-100.png
1006
- - ext/gecode-2.2.0/misc/doxygen/header.html
1007
- - ext/gecode-2.2.0/misc/gecode-minimodel.pc.in
1008
- - ext/gecode-2.2.0/misc/genregistry.perl
1009
- - ext/gecode-2.2.0/misc/genvariables.perl
1010
949
  - ext/gecode-2.2.0/misc/gecode.pc.in
1011
- - ext/gecode-2.2.0/misc/gecode-serialization.pc.in
950
+ - ext/gecode-2.2.0/misc/allexamples.perl
951
+ - ext/gecode-2.2.0/misc/genstatistics.perl
952
+ - ext/gecode-2.2.0/misc/genchangelog.perl
953
+ - ext/gecode-2.2.0/misc/fixproperties.sh
954
+ - ext/gecode-2.2.0/misc/makedepend.perl
955
+ - ext/gecode-2.2.0/misc/genlicense.perl
956
+ - ext/gecode-2.2.0/misc/genlcovmakefile.perl
957
+ - ext/gecode-2.2.0/misc/gecode-search.pc.in
958
+ - ext/gecode-2.2.0/misc/getrevision.perl
959
+ - ext/gecode-2.2.0/misc/gecode-gist.pc.in
1012
960
  - ext/gecode-2.2.0/misc/debian
1013
- - ext/gecode-2.2.0/misc/debian/changelog
961
+ - ext/gecode-2.2.0/misc/debian/gecode.spec
1014
962
  - ext/gecode-2.2.0/misc/debian/gecode.info
1015
- - ext/gecode-2.2.0/misc/debian/copyright
1016
- - ext/gecode-2.2.0/misc/debian/gecode.install
1017
- - ext/gecode-2.2.0/misc/debian/rules
1018
963
  - ext/gecode-2.2.0/misc/debian/Makefile.am
1019
- - ext/gecode-2.2.0/misc/debian/gecode.spec
964
+ - ext/gecode-2.2.0/misc/debian/rules
965
+ - ext/gecode-2.2.0/misc/debian/changelog
966
+ - ext/gecode-2.2.0/misc/debian/gecode.install
967
+ - ext/gecode-2.2.0/misc/debian/copyright
1020
968
  - ext/gecode-2.2.0/misc/debian/control
1021
- - ext/gecode-2.2.0/misc/gecode-gist.pc.in
1022
- - ext/gecode-2.2.0/misc/makedepend.perl
1023
- - ext/gecode-2.2.0/misc/getrevision.perl
1024
- - ext/gecode-2.2.0/misc/genlicense.perl
1025
- - ext/gecode-2.2.0/misc/genstatistics.perl
1026
- - ext/gecode-2.2.0/configure.ac.in
1027
- - ext/gecode-2.2.0/configure.ac
969
+ - ext/gecode-2.2.0/misc/gecode-serialization.pc.in
970
+ - ext/gecode-2.2.0/Makefile.in
971
+ - ext/gecode-2.2.0/install-sh
1028
972
  - ext/gecode-2.2.0/changelog.in
973
+ - ext/gecode-2.2.0/LICENSE
974
+ - ext/gecode-2.2.0/gecode.m4
975
+ - ext/gecode-2.2.0/examples
976
+ - ext/gecode-2.2.0/examples/perfect-square.cc
977
+ - ext/gecode-2.2.0/examples/stress-element.cc
978
+ - ext/gecode-2.2.0/examples/magic-sequence.cc
979
+ - ext/gecode-2.2.0/examples/eq20.cc
980
+ - ext/gecode-2.2.0/examples/hamming.cc
981
+ - ext/gecode-2.2.0/examples/stress-distinct.cc
982
+ - ext/gecode-2.2.0/examples/queens.js
983
+ - ext/gecode-2.2.0/examples/crowded-chess.cc
984
+ - ext/gecode-2.2.0/examples/grocery.cc
985
+ - ext/gecode-2.2.0/examples/graph-color.cc
986
+ - ext/gecode-2.2.0/examples/sports-league.cc
987
+ - ext/gecode-2.2.0/examples/sudoku.cc
988
+ - ext/gecode-2.2.0/examples/ind-set.cc
989
+ - ext/gecode-2.2.0/examples/domino.cc
990
+ - ext/gecode-2.2.0/examples/kakuro.cc
991
+ - ext/gecode-2.2.0/examples/support.hh
992
+ - ext/gecode-2.2.0/examples/stress-linear-bool.cc
993
+ - ext/gecode-2.2.0/examples/stress-search.cc
994
+ - ext/gecode-2.2.0/examples/steiner.cc
995
+ - ext/gecode-2.2.0/examples/warehouses.cc
996
+ - ext/gecode-2.2.0/examples/baseline.cc
997
+ - ext/gecode-2.2.0/examples/tsp.cc
998
+ - ext/gecode-2.2.0/examples/stress-exec.cc
999
+ - ext/gecode-2.2.0/examples/bibd.cc
1000
+ - ext/gecode-2.2.0/examples/minesweeper.cc
1001
+ - ext/gecode-2.2.0/examples/javascript.cc
1002
+ - ext/gecode-2.2.0/examples/knights.cc
1003
+ - ext/gecode-2.2.0/examples/magic-square.cc
1004
+ - ext/gecode-2.2.0/examples/langford-number.cc
1005
+ - ext/gecode-2.2.0/examples/pentominoes.cc
1006
+ - ext/gecode-2.2.0/examples/crew.cc
1007
+ - ext/gecode-2.2.0/examples/stress-domain.cc
1008
+ - ext/gecode-2.2.0/examples/golomb-ruler.cc
1009
+ - ext/gecode-2.2.0/examples/golf.cc
1010
+ - ext/gecode-2.2.0/examples/stress-min.cc
1011
+ - ext/gecode-2.2.0/examples/bacp.cc
1012
+ - ext/gecode-2.2.0/examples/money.cc
1013
+ - ext/gecode-2.2.0/examples/queens.cc
1014
+ - ext/gecode-2.2.0/examples/donald.cc
1015
+ - ext/gecode-2.2.0/examples/photo.cc
1016
+ - ext/gecode-2.2.0/examples/stress-extensional.cc
1017
+ - ext/gecode-2.2.0/examples/support
1018
+ - ext/gecode-2.2.0/examples/support/example.cc
1019
+ - ext/gecode-2.2.0/examples/support/options.icc
1020
+ - ext/gecode-2.2.0/examples/support/options.cc
1021
+ - ext/gecode-2.2.0/examples/support/example.icc
1022
+ - ext/gecode-2.2.0/examples/queen-armies.cc
1023
+ - ext/gecode-2.2.0/examples/partition.cc
1024
+ - ext/gecode-2.2.0/examples/all-interval.cc
1025
+ - ext/gecode-2.2.0/examples/nonogram.cc
1026
+ - ext/gecode-2.2.0/examples/ortho-latin.cc
1027
+ - ext/gecode-2.2.0/examples/black-hole.cc
1028
+ - ext/gecode-2.2.0/examples/alpha.cc
1029
1029
  has_rdoc: true
1030
1030
  homepage: http://gecoder.rubyforge.org
1031
1031
  post_install_message:
@@ -1058,62 +1058,62 @@ signing_key:
1058
1058
  specification_version: 2
1059
1059
  summary: Ruby interface to Gecode, an environment for constraint programming.
1060
1060
  test_files:
1061
- - specs/logging.rb
1062
- - specs/branch.rb
1063
- - specs/enum_matrix.rb
1064
- - specs/model_sugar.rb
1061
+ - specs/examples.rb
1062
+ - specs/model.rb
1063
+ - specs/int_var.rb
1065
1064
  - specs/search.rb
1066
- - specs/bool_var.rb
1065
+ - specs/model_sugar.rb
1067
1066
  - specs/set_elements.rb
1068
- - specs/distribution.rb
1067
+ - specs/set_var.rb
1069
1068
  - specs/spec_helper.rb
1070
- - specs/int_var.rb
1071
- - specs/mixin.rb
1069
+ - specs/branch.rb
1070
+ - specs/logging.rb
1071
+ - specs/distribution.rb
1072
1072
  - specs/enum_wrapper.rb
1073
- - specs/model.rb
1074
- - specs/set_var.rb
1075
- - specs/selected_set.rb
1073
+ - specs/constraints/fixnum_enum/element.rb
1074
+ - specs/constraints/fixnum_enum/operation.rb
1076
1075
  - specs/constraints/property_helper.rb
1077
- - specs/constraints/set/channel.rb
1078
- - specs/constraints/set/cardinality_properties.rb
1076
+ - specs/constraints/operands.rb
1077
+ - specs/constraints/reification_sugar.rb
1078
+ - specs/constraints/bool/linear.rb
1079
+ - specs/constraints/bool/boolean_properties.rb
1080
+ - specs/constraints/bool/boolean.rb
1081
+ - specs/constraints/constraints.rb
1082
+ - specs/constraints/set/connection.rb
1079
1083
  - specs/constraints/set/cardinality.rb
1080
- - specs/constraints/set/include.rb
1084
+ - specs/constraints/set/cardinality_properties.rb
1085
+ - specs/constraints/set/relation.rb
1081
1086
  - specs/constraints/set/operation.rb
1082
- - specs/constraints/set/connection.rb
1087
+ - specs/constraints/set/include.rb
1088
+ - specs/constraints/set/channel.rb
1083
1089
  - specs/constraints/set/domain.rb
1084
- - specs/constraints/set/relation.rb
1085
- - specs/constraints/set_elements/relation.rb
1086
- - specs/constraints/int/channel.rb
1090
+ - specs/constraints/set_enum/distinct.rb
1091
+ - specs/constraints/set_enum/element.rb
1092
+ - specs/constraints/set_enum/operation.rb
1093
+ - specs/constraints/set_enum/channel.rb
1087
1094
  - specs/constraints/int/arithmetic.rb
1088
- - specs/constraints/int/linear_properties.rb
1089
1095
  - specs/constraints/int/linear.rb
1090
- - specs/constraints/int/domain.rb
1091
1096
  - specs/constraints/int/relation.rb
1092
- - specs/constraints/constraints.rb
1093
- - specs/constraints/bool/boolean_properties.rb
1094
- - specs/constraints/bool/boolean.rb
1095
- - specs/constraints/bool/linear.rb
1096
- - specs/constraints/int_enum/channel.rb
1097
+ - specs/constraints/int/channel.rb
1098
+ - specs/constraints/int/domain.rb
1099
+ - specs/constraints/int/linear_properties.rb
1100
+ - specs/constraints/constraint_receivers.rb
1101
+ - specs/constraints/selected_set/select.rb
1102
+ - specs/constraints/selected_set/select_properties.rb
1103
+ - specs/constraints/constraint_helper.rb
1097
1104
  - specs/constraints/int_enum/distinct.rb
1105
+ - specs/constraints/int_enum/extensional.rb
1098
1106
  - specs/constraints/int_enum/element.rb
1107
+ - specs/constraints/int_enum/sort.rb
1099
1108
  - specs/constraints/int_enum/arithmetic.rb
1100
1109
  - specs/constraints/int_enum/count.rb
1101
- - specs/constraints/int_enum/extensional.rb
1110
+ - specs/constraints/int_enum/channel.rb
1102
1111
  - specs/constraints/int_enum/equality.rb
1103
- - specs/constraints/int_enum/sort.rb
1104
- - specs/constraints/constraint_helper.rb
1105
- - specs/constraints/reification_sugar.rb
1106
- - specs/constraints/selected_set/select.rb
1107
- - specs/constraints/selected_set/select_properties.rb
1108
- - specs/constraints/constraint_receivers.rb
1109
- - specs/constraints/fixnum_enum/element.rb
1110
- - specs/constraints/fixnum_enum/operation.rb
1112
+ - specs/constraints/set_elements/relation.rb
1113
+ - specs/constraints/bool_enum/extensional.rb
1111
1114
  - specs/constraints/bool_enum/channel.rb
1112
1115
  - specs/constraints/bool_enum/bool_enum_relation.rb
1113
- - specs/constraints/bool_enum/extensional.rb
1114
- - specs/constraints/operands.rb
1115
- - specs/constraints/set_enum/channel.rb
1116
- - specs/constraints/set_enum/distinct.rb
1117
- - specs/constraints/set_enum/element.rb
1118
- - specs/constraints/set_enum/operation.rb
1119
- - specs/examples.rb
1116
+ - specs/bool_var.rb
1117
+ - specs/selected_set.rb
1118
+ - specs/mixin.rb
1119
+ - specs/enum_matrix.rb