gecoder 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 (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