gecoder 1.0.0 → 1.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (24) 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/gecoder.cpp +10 -14
  7. data/ext/gecoder.h +3 -6
  8. data/lib/gecoder/bindings/bindings.rb +11 -6
  9. data/lib/gecoder/interface/constraints.rb +10 -2
  10. data/lib/gecoder/interface/constraints/extensional_regexp.rb +8 -4
  11. data/lib/gecoder/interface/constraints/set/connection.rb +3 -2
  12. data/lib/gecoder/interface/constraints/set_enum/channel.rb +1 -1
  13. data/lib/gecoder/interface/search.rb +38 -7
  14. data/lib/gecoder/version.rb +1 -1
  15. data/specs/search.rb +43 -0
  16. data/tasks/distribution.rake +25 -20
  17. data/tasks/rcov.rake +2 -0
  18. data/tasks/specs.rake +2 -0
  19. data/tasks/website.rake +3 -3
  20. data/vendor/rust/include/rust_conversions.hh +22 -3
  21. data/vendor/rust/rust/class.rb +48 -24
  22. data/vendor/rust/rust/function.rb +1 -1
  23. data/vendor/rust/rust/templates/CxxClassDefinitions.rusttpl +2 -2
  24. metadata +249 -248
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
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
 
@@ -24,278 +30,265 @@ extra_rdoc_files:
24
30
  - CHANGES
25
31
  - THANKS
26
32
  - LGPL-LICENSE
27
- - lib/gecoder.rb
28
- - lib/gecoder/interface/variables.rb
29
- - lib/gecoder/interface/convenience.rb
30
- - lib/gecoder/interface/search.rb
31
- - lib/gecoder/interface/constraints.rb
32
- - lib/gecoder/interface/branch.rb
33
- - lib/gecoder/interface/enum_wrapper.rb
34
- - lib/gecoder/interface/constraints/extensional_regexp.rb
35
- - lib/gecoder/interface/constraints/bool_enum_constraints.rb
33
+ - lib/gecoder/bindings.rb
34
+ - lib/gecoder/version.rb
35
+ - lib/gecoder/bindings/bindings.rb
36
+ - lib/gecoder/interface.rb
37
+ - lib/gecoder/interface/constraints/set_elements_constraints.rb
38
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
36
39
  - lib/gecoder/interface/constraints/selected_set_constraints.rb
37
- - lib/gecoder/interface/constraints/fixnum_enum/element.rb
40
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
41
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
42
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
43
+ - lib/gecoder/interface/constraints/set_enum/element.rb
38
44
  - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
39
- - lib/gecoder/interface/constraints/bool/linear.rb
40
- - lib/gecoder/interface/constraints/bool/channel.rb
41
- - lib/gecoder/interface/constraints/bool/boolean.rb
42
- - lib/gecoder/interface/constraints/set/connection.rb
43
- - lib/gecoder/interface/constraints/set/cardinality.rb
44
- - lib/gecoder/interface/constraints/set/relation.rb
45
- - lib/gecoder/interface/constraints/set/operation.rb
45
+ - lib/gecoder/interface/constraints/fixnum_enum/element.rb
46
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
47
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
46
48
  - lib/gecoder/interface/constraints/set/include.rb
49
+ - lib/gecoder/interface/constraints/set/operation.rb
47
50
  - lib/gecoder/interface/constraints/set/channel.rb
48
51
  - lib/gecoder/interface/constraints/set/domain.rb
49
- - lib/gecoder/interface/constraints/bool_var_constraints.rb
50
- - lib/gecoder/interface/constraints/set_enum_constraints.rb
51
- - lib/gecoder/interface/constraints/set_enum/distinct.rb
52
- - lib/gecoder/interface/constraints/set_enum/element.rb
53
- - lib/gecoder/interface/constraints/set_enum/operation.rb
54
- - lib/gecoder/interface/constraints/set_enum/channel.rb
55
- - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
56
- - lib/gecoder/interface/constraints/set_var_constraints.rb
57
- - lib/gecoder/interface/constraints/set_elements_constraints.rb
52
+ - lib/gecoder/interface/constraints/set/cardinality.rb
53
+ - lib/gecoder/interface/constraints/set/connection.rb
54
+ - lib/gecoder/interface/constraints/set/relation.rb
55
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
56
+ - lib/gecoder/interface/constraints/bool_enum/extensional.rb
57
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
58
+ - lib/gecoder/interface/constraints/bool_enum/relation.rb
59
+ - lib/gecoder/interface/constraints/set_elements/relation.rb
60
+ - lib/gecoder/interface/constraints/bool/channel.rb
61
+ - lib/gecoder/interface/constraints/bool/linear.rb
62
+ - lib/gecoder/interface/constraints/bool/boolean.rb
63
+ - lib/gecoder/interface/constraints/selected_set/select.rb
64
+ - lib/gecoder/interface/constraints/extensional_regexp.rb
65
+ - lib/gecoder/interface/constraints/bool_enum_constraints.rb
58
66
  - lib/gecoder/interface/constraints/int_var_constraints.rb
59
- - lib/gecoder/interface/constraints/int_enum_constraints.rb
60
- - lib/gecoder/interface/constraints/int/arithmetic.rb
61
- - lib/gecoder/interface/constraints/int/linear.rb
62
- - lib/gecoder/interface/constraints/int/relation.rb
63
67
  - lib/gecoder/interface/constraints/int/channel.rb
64
68
  - lib/gecoder/interface/constraints/int/domain.rb
65
- - lib/gecoder/interface/constraints/selected_set/select.rb
66
- - lib/gecoder/interface/constraints/int_enum/distinct.rb
67
- - lib/gecoder/interface/constraints/int_enum/extensional.rb
68
- - lib/gecoder/interface/constraints/int_enum/element.rb
69
- - lib/gecoder/interface/constraints/int_enum/sort.rb
70
- - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
69
+ - lib/gecoder/interface/constraints/int/linear.rb
70
+ - lib/gecoder/interface/constraints/int/relation.rb
71
+ - lib/gecoder/interface/constraints/int/arithmetic.rb
71
72
  - lib/gecoder/interface/constraints/int_enum/count.rb
73
+ - lib/gecoder/interface/constraints/int_enum/extensional.rb
72
74
  - lib/gecoder/interface/constraints/int_enum/channel.rb
75
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
76
+ - lib/gecoder/interface/constraints/int_enum/distinct.rb
77
+ - lib/gecoder/interface/constraints/int_enum/element.rb
73
78
  - lib/gecoder/interface/constraints/int_enum/equality.rb
74
- - lib/gecoder/interface/constraints/reifiable_constraints.rb
75
- - lib/gecoder/interface/constraints/set_elements/relation.rb
76
- - lib/gecoder/interface/constraints/bool_enum/extensional.rb
77
- - lib/gecoder/interface/constraints/bool_enum/relation.rb
78
- - lib/gecoder/interface/constraints/bool_enum/channel.rb
79
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
80
+ - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
81
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
82
+ - lib/gecoder/interface/convenience.rb
83
+ - lib/gecoder/interface/branch.rb
79
84
  - lib/gecoder/interface/binding_changes.rb
85
+ - lib/gecoder/interface/variables.rb
86
+ - lib/gecoder/interface/search.rb
80
87
  - lib/gecoder/interface/mixin.rb
81
88
  - lib/gecoder/interface/enum_matrix.rb
82
- - lib/gecoder/version.rb
83
- - lib/gecoder/interface.rb
84
- - lib/gecoder/bindings.rb
85
- - lib/gecoder/bindings/bindings.rb
89
+ - lib/gecoder/interface/enum_wrapper.rb
90
+ - lib/gecoder/interface/constraints.rb
91
+ - lib/gecoder.rb
86
92
  files:
93
+ - COPYING
87
94
  - README
88
- - Rakefile
89
95
  - CHANGES
90
- - COPYING
96
+ - Rakefile
91
97
  - THANKS
92
98
  - LGPL-LICENSE
93
- - lib/gecoder.rb
94
- - lib/gecoder/interface/variables.rb
95
- - lib/gecoder/interface/convenience.rb
96
- - lib/gecoder/interface/search.rb
97
- - lib/gecoder/interface/constraints.rb
98
- - lib/gecoder/interface/branch.rb
99
- - lib/gecoder/interface/enum_wrapper.rb
100
- - lib/gecoder/interface/constraints/extensional_regexp.rb
101
- - lib/gecoder/interface/constraints/bool_enum_constraints.rb
99
+ - lib/gecoder/bindings.rb
100
+ - lib/gecoder/version.rb
101
+ - lib/gecoder/bindings/bindings.rb
102
+ - lib/gecoder/interface.rb
103
+ - lib/gecoder/interface/constraints/set_elements_constraints.rb
104
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
102
105
  - lib/gecoder/interface/constraints/selected_set_constraints.rb
103
- - lib/gecoder/interface/constraints/fixnum_enum/element.rb
106
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
107
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
108
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
109
+ - lib/gecoder/interface/constraints/set_enum/element.rb
104
110
  - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
105
- - lib/gecoder/interface/constraints/bool/linear.rb
106
- - lib/gecoder/interface/constraints/bool/channel.rb
107
- - lib/gecoder/interface/constraints/bool/boolean.rb
108
- - lib/gecoder/interface/constraints/set/connection.rb
109
- - lib/gecoder/interface/constraints/set/cardinality.rb
110
- - lib/gecoder/interface/constraints/set/relation.rb
111
- - lib/gecoder/interface/constraints/set/operation.rb
111
+ - lib/gecoder/interface/constraints/fixnum_enum/element.rb
112
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
113
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
112
114
  - lib/gecoder/interface/constraints/set/include.rb
115
+ - lib/gecoder/interface/constraints/set/operation.rb
113
116
  - lib/gecoder/interface/constraints/set/channel.rb
114
117
  - lib/gecoder/interface/constraints/set/domain.rb
115
- - lib/gecoder/interface/constraints/bool_var_constraints.rb
116
- - lib/gecoder/interface/constraints/set_enum_constraints.rb
117
- - lib/gecoder/interface/constraints/set_enum/distinct.rb
118
- - lib/gecoder/interface/constraints/set_enum/element.rb
119
- - lib/gecoder/interface/constraints/set_enum/operation.rb
120
- - lib/gecoder/interface/constraints/set_enum/channel.rb
121
- - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
122
- - lib/gecoder/interface/constraints/set_var_constraints.rb
123
- - lib/gecoder/interface/constraints/set_elements_constraints.rb
118
+ - lib/gecoder/interface/constraints/set/cardinality.rb
119
+ - lib/gecoder/interface/constraints/set/connection.rb
120
+ - lib/gecoder/interface/constraints/set/relation.rb
121
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
122
+ - lib/gecoder/interface/constraints/bool_enum/extensional.rb
123
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
124
+ - lib/gecoder/interface/constraints/bool_enum/relation.rb
125
+ - lib/gecoder/interface/constraints/set_elements/relation.rb
126
+ - lib/gecoder/interface/constraints/bool/channel.rb
127
+ - lib/gecoder/interface/constraints/bool/linear.rb
128
+ - lib/gecoder/interface/constraints/bool/boolean.rb
129
+ - lib/gecoder/interface/constraints/selected_set/select.rb
130
+ - lib/gecoder/interface/constraints/extensional_regexp.rb
131
+ - lib/gecoder/interface/constraints/bool_enum_constraints.rb
124
132
  - lib/gecoder/interface/constraints/int_var_constraints.rb
125
- - lib/gecoder/interface/constraints/int_enum_constraints.rb
126
- - lib/gecoder/interface/constraints/int/arithmetic.rb
127
- - lib/gecoder/interface/constraints/int/linear.rb
128
- - lib/gecoder/interface/constraints/int/relation.rb
129
133
  - lib/gecoder/interface/constraints/int/channel.rb
130
134
  - lib/gecoder/interface/constraints/int/domain.rb
131
- - lib/gecoder/interface/constraints/selected_set/select.rb
132
- - lib/gecoder/interface/constraints/int_enum/distinct.rb
133
- - lib/gecoder/interface/constraints/int_enum/extensional.rb
134
- - lib/gecoder/interface/constraints/int_enum/element.rb
135
- - lib/gecoder/interface/constraints/int_enum/sort.rb
136
- - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
135
+ - lib/gecoder/interface/constraints/int/linear.rb
136
+ - lib/gecoder/interface/constraints/int/relation.rb
137
+ - lib/gecoder/interface/constraints/int/arithmetic.rb
137
138
  - lib/gecoder/interface/constraints/int_enum/count.rb
139
+ - lib/gecoder/interface/constraints/int_enum/extensional.rb
138
140
  - lib/gecoder/interface/constraints/int_enum/channel.rb
141
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
142
+ - lib/gecoder/interface/constraints/int_enum/distinct.rb
143
+ - lib/gecoder/interface/constraints/int_enum/element.rb
139
144
  - lib/gecoder/interface/constraints/int_enum/equality.rb
140
- - lib/gecoder/interface/constraints/reifiable_constraints.rb
141
- - lib/gecoder/interface/constraints/set_elements/relation.rb
142
- - lib/gecoder/interface/constraints/bool_enum/extensional.rb
143
- - lib/gecoder/interface/constraints/bool_enum/relation.rb
144
- - lib/gecoder/interface/constraints/bool_enum/channel.rb
145
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
146
+ - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
147
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
148
+ - lib/gecoder/interface/convenience.rb
149
+ - lib/gecoder/interface/branch.rb
145
150
  - lib/gecoder/interface/binding_changes.rb
151
+ - lib/gecoder/interface/variables.rb
152
+ - lib/gecoder/interface/search.rb
146
153
  - lib/gecoder/interface/mixin.rb
147
154
  - lib/gecoder/interface/enum_matrix.rb
148
- - lib/gecoder/version.rb
149
- - lib/gecoder/interface.rb
150
- - lib/gecoder/bindings.rb
151
- - lib/gecoder/bindings/bindings.rb
152
- - example/queens.rb
155
+ - lib/gecoder/interface/enum_wrapper.rb
156
+ - lib/gecoder/interface/constraints.rb
157
+ - lib/gecoder.rb
153
158
  - example/send_most_money.rb
154
159
  - example/magic_sequence.rb
155
- - example/equation_system.rb
156
160
  - example/send_more_money.rb
161
+ - example/sudoku.rb
162
+ - example/nonogram.rb
163
+ - example/survo.rb
157
164
  - example/square_tiling.rb
158
- - example/example_helper.rb
165
+ - example/minesweeper.rb
166
+ - example/equation_system.rb
159
167
  - example/sudoku-set.rb
160
- - example/sudoku.rb
168
+ - example/example_helper.rb
169
+ - example/queens.rb
161
170
  - vendor/rust/README
171
+ - vendor/rust/bin/cxxgenerator.rb
162
172
  - vendor/rust/rust.rb
163
- - vendor/rust/test
164
- - vendor/rust/test/operators.cc
165
- - vendor/rust/test/cwrapper.c
166
- - vendor/rust/test/cppclass.cc
167
- - vendor/rust/test/test-cppclass.rb
168
173
  - vendor/rust/test/cppclass.hh
169
- - vendor/rust/test/test-cwrapper.rb
174
+ - vendor/rust/test/lib/extension-test.rb
175
+ - vendor/rust/test/operators.cc
170
176
  - vendor/rust/test/test-constants.rb
177
+ - vendor/rust/test/constants.rb
171
178
  - vendor/rust/test/operators.rb
172
- - vendor/rust/test/cwrapper.h
179
+ - vendor/rust/test/cppclass.cc
173
180
  - vendor/rust/test/cppclass.rb
174
- - vendor/rust/test/dummyclass.hh
175
- - vendor/rust/test/constants.rb
176
181
  - vendor/rust/test/cwrapper.rb
177
- - vendor/rust/test/Makefile
178
182
  - vendor/rust/test/operators.hh
179
- - vendor/rust/test/lib
180
- - vendor/rust/test/lib/extension-test.rb
183
+ - vendor/rust/test/Makefile
184
+ - vendor/rust/test/dummyclass.hh
185
+ - vendor/rust/test/test-cppclass.rb
186
+ - vendor/rust/test/test-cwrapper.rb
187
+ - vendor/rust/test/cwrapper.h
181
188
  - vendor/rust/test/test-operators.rb
182
- - vendor/rust/rust
183
- - vendor/rust/rust/enum.rb
184
- - vendor/rust/rust/cxxclass.rb
189
+ - vendor/rust/test/cwrapper.c
190
+ - vendor/rust/include/rust_conversions.hh
191
+ - vendor/rust/include/rust_checks.hh
192
+ - vendor/rust/rust/class.rb
185
193
  - vendor/rust/rust/function.rb
186
- - vendor/rust/rust/element.rb
187
- - vendor/rust/rust/attribute.rb
194
+ - vendor/rust/rust/bindings.rb
195
+ - vendor/rust/rust/type.rb
188
196
  - vendor/rust/rust/container.rb
189
- - vendor/rust/rust/cppifaceparser.rb
190
197
  - vendor/rust/rust/constants.rb
198
+ - vendor/rust/rust/cxxclass.rb
199
+ - vendor/rust/rust/attribute.rb
191
200
  - vendor/rust/rust/namespace.rb
192
- - vendor/rust/rust/class.rb
193
- - vendor/rust/rust/bindings.rb
194
- - vendor/rust/rust/type.rb
195
201
  - vendor/rust/rust/cwrapper.rb
196
- - vendor/rust/rust/templates
197
- - vendor/rust/rust/templates/FunctionDefinition.rusttpl
198
- - vendor/rust/rust/templates/ClassInitialize.rusttpl
199
- - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
200
- - vendor/rust/rust/templates/BindingsHeader.rusttpl
201
- - vendor/rust/rust/templates/FunctionInitAlias.rusttpl
202
- - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
202
+ - vendor/rust/rust/cppifaceparser.rb
203
+ - vendor/rust/rust/element.rb
204
+ - vendor/rust/rust/enum.rb
203
205
  - vendor/rust/rust/templates/VariableFunctionCall.rusttpl
204
- - vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
205
- - vendor/rust/rust/templates/BindingsUnit.rusttpl
206
- - vendor/rust/rust/templates/EnumDeclarations.rusttpl
207
- - vendor/rust/rust/templates/MethodInitBinding.rusttpl
208
- - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
209
206
  - vendor/rust/rust/templates/AttributeInitBinding.rusttpl
207
+ - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
208
+ - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
210
209
  - vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
210
+ - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
211
211
  - vendor/rust/rust/templates/CxxMethodStub.rusttpl
212
- - vendor/rust/rust/templates/ConstructorStub.rusttpl
213
- - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
212
+ - vendor/rust/rust/templates/AttributeDefinition.rusttpl
213
+ - vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
214
+ - vendor/rust/rust/templates/ClassInitialize.rusttpl
214
215
  - vendor/rust/rust/templates/ClassDeclarations.rusttpl
215
- - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
216
+ - vendor/rust/rust/templates/BindingsUnit.rusttpl
216
217
  - vendor/rust/rust/templates/EnumDefinitions.rusttpl
217
- - vendor/rust/rust/templates/AttributeDefinition.rusttpl
218
- - vendor/rust/include
219
- - vendor/rust/include/rust_checks.hh
220
- - vendor/rust/include/rust_conversions.hh
221
- - vendor/rust/bin
222
- - vendor/rust/bin/cxxgenerator.rb
223
- - tasks/svn.rake
218
+ - vendor/rust/rust/templates/ConstructorStub.rusttpl
219
+ - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
220
+ - vendor/rust/rust/templates/FunctionDefinition.rusttpl
221
+ - vendor/rust/rust/templates/EnumDeclarations.rusttpl
222
+ - vendor/rust/rust/templates/FunctionInitAlias.rusttpl
223
+ - vendor/rust/rust/templates/MethodInitBinding.rusttpl
224
+ - vendor/rust/rust/templates/BindingsHeader.rusttpl
225
+ - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
224
226
  - tasks/specs.rake
225
- - tasks/rcov.rake
226
- - tasks/website.rake
227
+ - tasks/svn.rake
227
228
  - tasks/distribution.rake
228
229
  - tasks/dependencies.txt
230
+ - tasks/rcov.rake
229
231
  - tasks/all_tasks.rb
230
- - specs/examples.rb
231
- - specs/model.rb
232
- - specs/int_var.rb
233
- - specs/search.rb
234
- - specs/model_sugar.rb
235
- - specs/set_elements.rb
236
- - specs/set_var.rb
237
- - specs/spec_helper.rb
238
- - specs/branch.rb
239
- - specs/logging.rb
240
- - specs/distribution.rb
241
- - specs/enum_wrapper.rb
242
- - specs/constraints
243
- - specs/constraints/fixnum_enum
244
- - specs/constraints/fixnum_enum/element.rb
245
- - specs/constraints/fixnum_enum/operation.rb
232
+ - tasks/website.rake
233
+ - specs/constraints/reification_sugar.rb
246
234
  - specs/constraints/property_helper.rb
235
+ - specs/constraints/set_enum/operation.rb
236
+ - specs/constraints/set_enum/channel.rb
237
+ - specs/constraints/set_enum/distinct.rb
238
+ - specs/constraints/set_enum/element.rb
239
+ - specs/constraints/constraint_receivers.rb
240
+ - specs/constraints/fixnum_enum/operation.rb
241
+ - specs/constraints/fixnum_enum/element.rb
247
242
  - specs/constraints/operands.rb
248
- - specs/constraints/reification_sugar.rb
249
- - specs/constraints/bool
250
- - specs/constraints/bool/linear.rb
251
- - specs/constraints/bool/boolean_properties.rb
252
- - specs/constraints/bool/boolean.rb
253
- - specs/constraints/constraints.rb
254
- - specs/constraints/set
255
- - specs/constraints/set/connection.rb
256
- - specs/constraints/set/cardinality.rb
257
- - specs/constraints/set/cardinality_properties.rb
258
- - specs/constraints/set/relation.rb
259
- - specs/constraints/set/operation.rb
260
243
  - specs/constraints/set/include.rb
244
+ - specs/constraints/set/operation.rb
261
245
  - specs/constraints/set/channel.rb
246
+ - specs/constraints/set/cardinality_properties.rb
262
247
  - specs/constraints/set/domain.rb
263
- - specs/constraints/set_enum
264
- - specs/constraints/set_enum/distinct.rb
265
- - specs/constraints/set_enum/element.rb
266
- - specs/constraints/set_enum/operation.rb
267
- - specs/constraints/set_enum/channel.rb
268
- - specs/constraints/int
269
- - specs/constraints/int/arithmetic.rb
270
- - specs/constraints/int/linear.rb
271
- - specs/constraints/int/relation.rb
248
+ - specs/constraints/set/cardinality.rb
249
+ - specs/constraints/set/connection.rb
250
+ - specs/constraints/set/relation.rb
251
+ - specs/constraints/constraint_helper.rb
252
+ - specs/constraints/bool_enum/bool_enum_relation.rb
253
+ - specs/constraints/bool_enum/extensional.rb
254
+ - specs/constraints/bool_enum/channel.rb
255
+ - specs/constraints/set_elements/relation.rb
256
+ - specs/constraints/bool/boolean_properties.rb
257
+ - specs/constraints/bool/linear.rb
258
+ - specs/constraints/bool/boolean.rb
259
+ - specs/constraints/selected_set/select_properties.rb
260
+ - specs/constraints/selected_set/select.rb
261
+ - specs/constraints/constraints.rb
262
+ - specs/constraints/int/linear_properties.rb
272
263
  - specs/constraints/int/channel.rb
273
264
  - specs/constraints/int/domain.rb
274
- - specs/constraints/int/linear_properties.rb
275
- - specs/constraints/constraint_receivers.rb
276
- - specs/constraints/selected_set
277
- - specs/constraints/selected_set/select.rb
278
- - specs/constraints/selected_set/select_properties.rb
279
- - specs/constraints/constraint_helper.rb
280
- - specs/constraints/int_enum
281
- - specs/constraints/int_enum/distinct.rb
282
- - specs/constraints/int_enum/extensional.rb
283
- - specs/constraints/int_enum/element.rb
284
- - specs/constraints/int_enum/sort.rb
285
- - specs/constraints/int_enum/arithmetic.rb
265
+ - specs/constraints/int/linear.rb
266
+ - specs/constraints/int/relation.rb
267
+ - specs/constraints/int/arithmetic.rb
286
268
  - specs/constraints/int_enum/count.rb
269
+ - specs/constraints/int_enum/extensional.rb
287
270
  - specs/constraints/int_enum/channel.rb
271
+ - specs/constraints/int_enum/sort.rb
272
+ - specs/constraints/int_enum/distinct.rb
273
+ - specs/constraints/int_enum/element.rb
288
274
  - specs/constraints/int_enum/equality.rb
289
- - specs/constraints/set_elements
290
- - specs/constraints/set_elements/relation.rb
291
- - specs/constraints/bool_enum
292
- - specs/constraints/bool_enum/extensional.rb
293
- - specs/constraints/bool_enum/channel.rb
294
- - specs/constraints/bool_enum/bool_enum_relation.rb
275
+ - specs/constraints/int_enum/arithmetic.rb
276
+ - specs/model_sugar.rb
277
+ - specs/branch.rb
278
+ - specs/model.rb
279
+ - specs/spec_helper.rb
280
+ - specs/search.rb
281
+ - specs/set_elements.rb
282
+ - specs/examples.rb
295
283
  - specs/bool_var.rb
296
284
  - specs/selected_set.rb
285
+ - specs/int_var.rb
286
+ - specs/distribution.rb
297
287
  - specs/mixin.rb
298
288
  - specs/enum_matrix.rb
289
+ - specs/enum_wrapper.rb
290
+ - specs/logging.rb
291
+ - specs/set_var.rb
299
292
  - ext/gecoder.cpp
300
293
  - ext/vararray.cpp
301
294
  - ext/vararray.h
@@ -303,6 +296,8 @@ files:
303
296
  - ext/extconf.rb
304
297
  has_rdoc: true
305
298
  homepage: http://gecoder.rubyforge.org
299
+ licenses: []
300
+
306
301
  post_install_message:
307
302
  rdoc_options:
308
303
  - --line-numbers
@@ -314,81 +309,87 @@ rdoc_options:
314
309
  require_paths:
315
310
  - lib
316
311
  required_ruby_version: !ruby/object:Gem::Requirement
312
+ none: false
317
313
  requirements:
318
314
  - - ">="
319
315
  - !ruby/object:Gem::Version
316
+ hash: 3
317
+ segments:
318
+ - 0
320
319
  version: "0"
321
- version:
322
320
  required_rubygems_version: !ruby/object:Gem::Requirement
321
+ none: false
323
322
  requirements:
324
323
  - - ">="
325
324
  - !ruby/object:Gem::Version
325
+ hash: 3
326
+ segments:
327
+ - 0
326
328
  version: "0"
327
- version:
328
329
  requirements:
329
330
  - Gecode 2.2.0
330
331
  rubyforge_project: gecoder
331
- rubygems_version: 1.2.0
332
+ rubygems_version: 1.5.0
332
333
  signing_key:
333
- specification_version: 2
334
+ specification_version: 3
334
335
  summary: Ruby interface to Gecode, an environment for constraint programming.
335
336
  test_files:
336
- - specs/examples.rb
337
- - specs/model.rb
338
- - specs/int_var.rb
339
- - specs/search.rb
340
- - specs/model_sugar.rb
341
- - specs/set_elements.rb
342
- - specs/set_var.rb
343
- - specs/spec_helper.rb
344
- - specs/branch.rb
345
- - specs/logging.rb
346
- - specs/distribution.rb
347
- - specs/enum_wrapper.rb
348
- - specs/constraints/fixnum_enum/element.rb
349
- - specs/constraints/fixnum_enum/operation.rb
337
+ - specs/constraints/reification_sugar.rb
350
338
  - specs/constraints/property_helper.rb
339
+ - specs/constraints/set_enum/operation.rb
340
+ - specs/constraints/set_enum/channel.rb
341
+ - specs/constraints/set_enum/distinct.rb
342
+ - specs/constraints/set_enum/element.rb
343
+ - specs/constraints/constraint_receivers.rb
344
+ - specs/constraints/fixnum_enum/operation.rb
345
+ - specs/constraints/fixnum_enum/element.rb
351
346
  - specs/constraints/operands.rb
352
- - specs/constraints/reification_sugar.rb
353
- - specs/constraints/bool/linear.rb
354
- - specs/constraints/bool/boolean_properties.rb
355
- - specs/constraints/bool/boolean.rb
356
- - specs/constraints/constraints.rb
357
- - specs/constraints/set/connection.rb
358
- - specs/constraints/set/cardinality.rb
359
- - specs/constraints/set/cardinality_properties.rb
360
- - specs/constraints/set/relation.rb
361
- - specs/constraints/set/operation.rb
362
347
  - specs/constraints/set/include.rb
348
+ - specs/constraints/set/operation.rb
363
349
  - specs/constraints/set/channel.rb
350
+ - specs/constraints/set/cardinality_properties.rb
364
351
  - specs/constraints/set/domain.rb
365
- - specs/constraints/set_enum/distinct.rb
366
- - specs/constraints/set_enum/element.rb
367
- - specs/constraints/set_enum/operation.rb
368
- - specs/constraints/set_enum/channel.rb
369
- - specs/constraints/int/arithmetic.rb
370
- - specs/constraints/int/linear.rb
371
- - specs/constraints/int/relation.rb
352
+ - specs/constraints/set/cardinality.rb
353
+ - specs/constraints/set/connection.rb
354
+ - specs/constraints/set/relation.rb
355
+ - specs/constraints/constraint_helper.rb
356
+ - specs/constraints/bool_enum/bool_enum_relation.rb
357
+ - specs/constraints/bool_enum/extensional.rb
358
+ - specs/constraints/bool_enum/channel.rb
359
+ - specs/constraints/set_elements/relation.rb
360
+ - specs/constraints/bool/boolean_properties.rb
361
+ - specs/constraints/bool/linear.rb
362
+ - specs/constraints/bool/boolean.rb
363
+ - specs/constraints/selected_set/select_properties.rb
364
+ - specs/constraints/selected_set/select.rb
365
+ - specs/constraints/constraints.rb
366
+ - specs/constraints/int/linear_properties.rb
372
367
  - specs/constraints/int/channel.rb
373
368
  - specs/constraints/int/domain.rb
374
- - specs/constraints/int/linear_properties.rb
375
- - specs/constraints/constraint_receivers.rb
376
- - specs/constraints/selected_set/select.rb
377
- - specs/constraints/selected_set/select_properties.rb
378
- - specs/constraints/constraint_helper.rb
379
- - specs/constraints/int_enum/distinct.rb
380
- - specs/constraints/int_enum/extensional.rb
381
- - specs/constraints/int_enum/element.rb
382
- - specs/constraints/int_enum/sort.rb
383
- - specs/constraints/int_enum/arithmetic.rb
369
+ - specs/constraints/int/linear.rb
370
+ - specs/constraints/int/relation.rb
371
+ - specs/constraints/int/arithmetic.rb
384
372
  - specs/constraints/int_enum/count.rb
373
+ - specs/constraints/int_enum/extensional.rb
385
374
  - specs/constraints/int_enum/channel.rb
375
+ - specs/constraints/int_enum/sort.rb
376
+ - specs/constraints/int_enum/distinct.rb
377
+ - specs/constraints/int_enum/element.rb
386
378
  - specs/constraints/int_enum/equality.rb
387
- - specs/constraints/set_elements/relation.rb
388
- - specs/constraints/bool_enum/extensional.rb
389
- - specs/constraints/bool_enum/channel.rb
390
- - specs/constraints/bool_enum/bool_enum_relation.rb
379
+ - specs/constraints/int_enum/arithmetic.rb
380
+ - specs/model_sugar.rb
381
+ - specs/branch.rb
382
+ - specs/model.rb
383
+ - specs/spec_helper.rb
384
+ - specs/search.rb
385
+ - specs/set_elements.rb
386
+ - specs/examples.rb
391
387
  - specs/bool_var.rb
392
388
  - specs/selected_set.rb
389
+ - specs/int_var.rb
390
+ - specs/distribution.rb
393
391
  - specs/mixin.rb
394
392
  - specs/enum_matrix.rb
393
+ - specs/enum_wrapper.rb
394
+ - specs/logging.rb
395
+ - specs/set_var.rb