gecoder-with-gecode 0.9.1 → 1.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
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