gecoder-with-gecode 1.0.0 → 1.1.0

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