gecoder-with-gecode 0.8.1-mswin32 → 0.8.2-mswin32

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 (29) hide show
  1. data/CHANGES +10 -0
  2. data/lib/gecode.dll +0 -0
  3. data/lib/gecoder/bindings/bindings.rb +35 -0
  4. data/lib/gecoder/interface/constraints.rb +34 -0
  5. data/lib/gecoder/interface/constraints/bool/boolean.rb +7 -0
  6. data/lib/gecoder/interface/constraints/bool/channel.rb +23 -0
  7. data/lib/gecoder/interface/constraints/bool_enum/channel.rb +59 -0
  8. data/lib/gecoder/interface/constraints/bool_enum/extensional.rb +10 -9
  9. data/lib/gecoder/interface/constraints/bool_enum_constraints.rb +1 -0
  10. data/lib/gecoder/interface/constraints/bool_var_constraints.rb +1 -0
  11. data/lib/gecoder/interface/constraints/int/arithmetic.rb +78 -1
  12. data/lib/gecoder/interface/constraints/int/channel.rb +73 -0
  13. data/lib/gecoder/interface/constraints/int_enum/channel.rb +10 -2
  14. data/lib/gecoder/interface/constraints/int_enum/extensional.rb +12 -9
  15. data/lib/gecoder/interface/constraints/int_var_constraints.rb +1 -0
  16. data/lib/gecoder/interface/enum_wrapper.rb +3 -0
  17. data/lib/gecoder/interface/search.rb +34 -2
  18. data/lib/gecoder/version.rb +1 -1
  19. data/specs/constraints/arithmetic.rb +108 -41
  20. data/specs/constraints/boolean.rb +4 -0
  21. data/specs/constraints/channel.rb +235 -5
  22. data/specs/constraints/distinct.rb +1 -1
  23. data/specs/constraints/extensional.rb +46 -41
  24. data/specs/constraints/linear.rb +8 -0
  25. data/specs/enum_wrapper.rb +8 -1
  26. data/specs/search.rb +119 -61
  27. data/specs/spec_helper.rb +0 -28
  28. data/tasks/distribution.rake +2 -3
  29. metadata +10 -4
metadata CHANGED
@@ -3,8 +3,8 @@ rubygems_version: 0.9.4
3
3
  specification_version: 1
4
4
  name: gecoder-with-gecode
5
5
  version: !ruby/object:Gem::Version
6
- version: 0.8.1
7
- date: 2008-04-20 00:00:00 +02:00
6
+ version: 0.8.2
7
+ date: 2008-05-08 00:00:00 +02:00
8
8
  summary: Ruby interface to Gecode, an environment for constraint programming.
9
9
  require_paths:
10
10
  - lib
@@ -34,6 +34,7 @@ files:
34
34
  - COPYING
35
35
  - README
36
36
  - LGPL-LICENSE
37
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
37
38
  - lib/gecoder/interface/constraints/bool_enum/extensional.rb
38
39
  - lib/gecoder/interface/constraints/bool_enum/relation.rb
39
40
  - lib/gecoder/interface/constraints/set_enum/operation.rb
@@ -43,8 +44,10 @@ files:
43
44
  - lib/gecoder/interface/constraints/int/domain.rb
44
45
  - lib/gecoder/interface/constraints/int/arithmetic.rb
45
46
  - lib/gecoder/interface/constraints/int/linear.rb
47
+ - lib/gecoder/interface/constraints/int/channel.rb
46
48
  - lib/gecoder/interface/constraints/bool/boolean.rb
47
49
  - lib/gecoder/interface/constraints/bool/linear.rb
50
+ - lib/gecoder/interface/constraints/bool/channel.rb
48
51
  - lib/gecoder/interface/constraints/set/relation.rb
49
52
  - lib/gecoder/interface/constraints/set/connection.rb
50
53
  - lib/gecoder/interface/constraints/set/operation.rb
@@ -158,6 +161,7 @@ files:
158
161
  - tasks/dependencies.txt
159
162
  - specs/constraints
160
163
  - specs/constraints/boolean.rb
164
+ - specs/constraints/channel.rb
161
165
  - specs/constraints/int_domain.rb
162
166
  - specs/constraints/distinct.rb
163
167
  - specs/constraints/set_domain.rb
@@ -174,7 +178,6 @@ files:
174
178
  - specs/constraints/connection.rb
175
179
  - specs/constraints/cardinality.rb
176
180
  - specs/constraints/constraints.rb
177
- - specs/constraints/channel.rb
178
181
  - specs/constraints/linear.rb
179
182
  - specs/constraints/set_operation.rb
180
183
  - specs/constraints/extensional.rb
@@ -201,6 +204,7 @@ files:
201
204
  - lib/gecode.dll
202
205
  test_files:
203
206
  - specs/constraints/boolean.rb
207
+ - specs/constraints/channel.rb
204
208
  - specs/constraints/int_domain.rb
205
209
  - specs/constraints/distinct.rb
206
210
  - specs/constraints/set_domain.rb
@@ -217,7 +221,6 @@ test_files:
217
221
  - specs/constraints/connection.rb
218
222
  - specs/constraints/cardinality.rb
219
223
  - specs/constraints/constraints.rb
220
- - specs/constraints/channel.rb
221
224
  - specs/constraints/linear.rb
222
225
  - specs/constraints/set_operation.rb
223
226
  - specs/constraints/extensional.rb
@@ -248,6 +251,7 @@ extra_rdoc_files:
248
251
  - README
249
252
  - CHANGES
250
253
  - LGPL-LICENSE
254
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
251
255
  - lib/gecoder/interface/constraints/bool_enum/extensional.rb
252
256
  - lib/gecoder/interface/constraints/bool_enum/relation.rb
253
257
  - lib/gecoder/interface/constraints/set_enum/operation.rb
@@ -257,8 +261,10 @@ extra_rdoc_files:
257
261
  - lib/gecoder/interface/constraints/int/domain.rb
258
262
  - lib/gecoder/interface/constraints/int/arithmetic.rb
259
263
  - lib/gecoder/interface/constraints/int/linear.rb
264
+ - lib/gecoder/interface/constraints/int/channel.rb
260
265
  - lib/gecoder/interface/constraints/bool/boolean.rb
261
266
  - lib/gecoder/interface/constraints/bool/linear.rb
267
+ - lib/gecoder/interface/constraints/bool/channel.rb
262
268
  - lib/gecoder/interface/constraints/set/relation.rb
263
269
  - lib/gecoder/interface/constraints/set/connection.rb
264
270
  - lib/gecoder/interface/constraints/set/operation.rb