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

Sign up to get free protection for your applications and to get access to all the features.
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