gecoder-with-gecode 0.9.0-x86-mswin32-60

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 (203) hide show
  1. data/CHANGES +137 -0
  2. data/COPYING +17 -0
  3. data/LGPL-LICENSE +458 -0
  4. data/README +58 -0
  5. data/Rakefile +14 -0
  6. data/example/equation_system.rb +15 -0
  7. data/example/example_helper.rb +1 -0
  8. data/example/magic_sequence.rb +43 -0
  9. data/example/money.rb +36 -0
  10. data/example/queens.rb +42 -0
  11. data/example/send_more_money.rb +43 -0
  12. data/example/send_most_money.rb +58 -0
  13. data/example/square_tiling.rb +84 -0
  14. data/example/sudoku-set.rb +106 -0
  15. data/example/sudoku.rb +56 -0
  16. data/lib/gecode.dll +0 -0
  17. data/lib/gecoder.rb +5 -0
  18. data/lib/gecoder/bindings.rb +96 -0
  19. data/lib/gecoder/bindings/bindings.rb +2029 -0
  20. data/lib/gecoder/interface.rb +9 -0
  21. data/lib/gecoder/interface/binding_changes.rb +9 -0
  22. data/lib/gecoder/interface/branch.rb +163 -0
  23. data/lib/gecoder/interface/constraints.rb +471 -0
  24. data/lib/gecoder/interface/constraints/bool/boolean.rb +251 -0
  25. data/lib/gecoder/interface/constraints/bool/channel.rb +7 -0
  26. data/lib/gecoder/interface/constraints/bool/linear.rb +200 -0
  27. data/lib/gecoder/interface/constraints/bool_enum/channel.rb +68 -0
  28. data/lib/gecoder/interface/constraints/bool_enum/extensional.rb +106 -0
  29. data/lib/gecoder/interface/constraints/bool_enum/relation.rb +55 -0
  30. data/lib/gecoder/interface/constraints/bool_enum_constraints.rb +84 -0
  31. data/lib/gecoder/interface/constraints/bool_var_constraints.rb +155 -0
  32. data/lib/gecoder/interface/constraints/extensional_regexp.rb +101 -0
  33. data/lib/gecoder/interface/constraints/fixnum_enum/element.rb +63 -0
  34. data/lib/gecoder/interface/constraints/fixnum_enum/operation.rb +65 -0
  35. data/lib/gecoder/interface/constraints/fixnum_enum_constraints.rb +42 -0
  36. data/lib/gecoder/interface/constraints/int/arithmetic.rb +150 -0
  37. data/lib/gecoder/interface/constraints/int/channel.rb +51 -0
  38. data/lib/gecoder/interface/constraints/int/domain.rb +80 -0
  39. data/lib/gecoder/interface/constraints/int/linear.rb +143 -0
  40. data/lib/gecoder/interface/constraints/int/relation.rb +141 -0
  41. data/lib/gecoder/interface/constraints/int_enum/arithmetic.rb +63 -0
  42. data/lib/gecoder/interface/constraints/int_enum/channel.rb +86 -0
  43. data/lib/gecoder/interface/constraints/int_enum/count.rb +66 -0
  44. data/lib/gecoder/interface/constraints/int_enum/distinct.rb +64 -0
  45. data/lib/gecoder/interface/constraints/int_enum/element.rb +64 -0
  46. data/lib/gecoder/interface/constraints/int_enum/equality.rb +37 -0
  47. data/lib/gecoder/interface/constraints/int_enum/extensional.rb +187 -0
  48. data/lib/gecoder/interface/constraints/int_enum/sort.rb +135 -0
  49. data/lib/gecoder/interface/constraints/int_enum_constraints.rb +95 -0
  50. data/lib/gecoder/interface/constraints/int_var_constraints.rb +230 -0
  51. data/lib/gecoder/interface/constraints/reifiable_constraints.rb +78 -0
  52. data/lib/gecoder/interface/constraints/selected_set/select.rb +120 -0
  53. data/lib/gecoder/interface/constraints/selected_set_constraints.rb +75 -0
  54. data/lib/gecoder/interface/constraints/set/cardinality.rb +65 -0
  55. data/lib/gecoder/interface/constraints/set/channel.rb +51 -0
  56. data/lib/gecoder/interface/constraints/set/connection.rb +130 -0
  57. data/lib/gecoder/interface/constraints/set/domain.rb +156 -0
  58. data/lib/gecoder/interface/constraints/set/include.rb +36 -0
  59. data/lib/gecoder/interface/constraints/set/operation.rb +118 -0
  60. data/lib/gecoder/interface/constraints/set/relation.rb +155 -0
  61. data/lib/gecoder/interface/constraints/set_elements/relation.rb +116 -0
  62. data/lib/gecoder/interface/constraints/set_elements_constraints.rb +97 -0
  63. data/lib/gecoder/interface/constraints/set_enum/channel.rb +45 -0
  64. data/lib/gecoder/interface/constraints/set_enum/distinct.rb +43 -0
  65. data/lib/gecoder/interface/constraints/set_enum/operation.rb +69 -0
  66. data/lib/gecoder/interface/constraints/set_enum/select.rb +79 -0
  67. data/lib/gecoder/interface/constraints/set_enum_constraints.rb +84 -0
  68. data/lib/gecoder/interface/constraints/set_var_constraints.rb +243 -0
  69. data/lib/gecoder/interface/enum_matrix.rb +64 -0
  70. data/lib/gecoder/interface/enum_wrapper.rb +205 -0
  71. data/lib/gecoder/interface/model.rb +453 -0
  72. data/lib/gecoder/interface/model_sugar.rb +84 -0
  73. data/lib/gecoder/interface/search.rb +197 -0
  74. data/lib/gecoder/interface/variables.rb +306 -0
  75. data/lib/gecoder/version.rb +4 -0
  76. data/specs/bool_var.rb +81 -0
  77. data/specs/branch.rb +185 -0
  78. data/specs/constraints/bool/boolean.rb +317 -0
  79. data/specs/constraints/bool/boolean_properties.rb +51 -0
  80. data/specs/constraints/bool/linear.rb +213 -0
  81. data/specs/constraints/bool_enum/bool_enum_relation.rb +117 -0
  82. data/specs/constraints/bool_enum/channel.rb +102 -0
  83. data/specs/constraints/bool_enum/extensional.rb +225 -0
  84. data/specs/constraints/constraint_helper.rb +234 -0
  85. data/specs/constraints/constraint_receivers.rb +103 -0
  86. data/specs/constraints/constraints.rb +26 -0
  87. data/specs/constraints/fixnum_enum/element.rb +58 -0
  88. data/specs/constraints/fixnum_enum/operation.rb +67 -0
  89. data/specs/constraints/int/arithmetic.rb +149 -0
  90. data/specs/constraints/int/channel.rb +101 -0
  91. data/specs/constraints/int/domain.rb +106 -0
  92. data/specs/constraints/int/linear.rb +183 -0
  93. data/specs/constraints/int/linear_properties.rb +97 -0
  94. data/specs/constraints/int/relation.rb +84 -0
  95. data/specs/constraints/int_enum/arithmetic.rb +72 -0
  96. data/specs/constraints/int_enum/channel.rb +57 -0
  97. data/specs/constraints/int_enum/count.rb +72 -0
  98. data/specs/constraints/int_enum/distinct.rb +80 -0
  99. data/specs/constraints/int_enum/element.rb +61 -0
  100. data/specs/constraints/int_enum/equality.rb +29 -0
  101. data/specs/constraints/int_enum/extensional.rb +224 -0
  102. data/specs/constraints/int_enum/sort.rb +167 -0
  103. data/specs/constraints/operands.rb +264 -0
  104. data/specs/constraints/property_helper.rb +443 -0
  105. data/specs/constraints/reification_sugar.rb +69 -0
  106. data/specs/constraints/selected_set/select.rb +56 -0
  107. data/specs/constraints/selected_set/select_properties.rb +157 -0
  108. data/specs/constraints/set/cardinality.rb +58 -0
  109. data/specs/constraints/set/cardinality_properties.rb +46 -0
  110. data/specs/constraints/set/channel.rb +77 -0
  111. data/specs/constraints/set/connection.rb +176 -0
  112. data/specs/constraints/set/domain.rb +197 -0
  113. data/specs/constraints/set/include.rb +36 -0
  114. data/specs/constraints/set/operation.rb +132 -0
  115. data/specs/constraints/set/relation.rb +117 -0
  116. data/specs/constraints/set_elements/relation.rb +84 -0
  117. data/specs/constraints/set_enum/channel.rb +80 -0
  118. data/specs/constraints/set_enum/distinct.rb +59 -0
  119. data/specs/constraints/set_enum/operation.rb +111 -0
  120. data/specs/constraints/set_enum/select.rb +73 -0
  121. data/specs/distribution.rb +14 -0
  122. data/specs/enum_matrix.rb +43 -0
  123. data/specs/enum_wrapper.rb +179 -0
  124. data/specs/examples.rb +17 -0
  125. data/specs/int_var.rb +163 -0
  126. data/specs/logging.rb +24 -0
  127. data/specs/model.rb +325 -0
  128. data/specs/model_sugar.rb +30 -0
  129. data/specs/search.rb +383 -0
  130. data/specs/selected_set.rb +39 -0
  131. data/specs/set_elements.rb +34 -0
  132. data/specs/set_var.rb +82 -0
  133. data/specs/spec_helper.rb +265 -0
  134. data/tasks/all_tasks.rb +1 -0
  135. data/tasks/dependencies.txt +22 -0
  136. data/tasks/distribution.rake +194 -0
  137. data/tasks/rcov.rake +18 -0
  138. data/tasks/specs.rake +21 -0
  139. data/tasks/svn.rake +16 -0
  140. data/tasks/website.rake +51 -0
  141. data/vendor/gecode/win32/lib/libgecodeint.dll +0 -0
  142. data/vendor/gecode/win32/lib/libgecodekernel.dll +0 -0
  143. data/vendor/gecode/win32/lib/libgecodeminimodel.dll +0 -0
  144. data/vendor/gecode/win32/lib/libgecodesearch.dll +0 -0
  145. data/vendor/gecode/win32/lib/libgecodeset.dll +0 -0
  146. data/vendor/gecode/win32/lib/libgecodesupport.dll +0 -0
  147. data/vendor/rust/README +28 -0
  148. data/vendor/rust/bin/cxxgenerator.rb +93 -0
  149. data/vendor/rust/include/rust_checks.hh +116 -0
  150. data/vendor/rust/include/rust_conversions.hh +102 -0
  151. data/vendor/rust/rust.rb +67 -0
  152. data/vendor/rust/rust/attribute.rb +51 -0
  153. data/vendor/rust/rust/bindings.rb +172 -0
  154. data/vendor/rust/rust/class.rb +337 -0
  155. data/vendor/rust/rust/constants.rb +48 -0
  156. data/vendor/rust/rust/container.rb +110 -0
  157. data/vendor/rust/rust/cppifaceparser.rb +129 -0
  158. data/vendor/rust/rust/cwrapper.rb +72 -0
  159. data/vendor/rust/rust/cxxclass.rb +96 -0
  160. data/vendor/rust/rust/element.rb +81 -0
  161. data/vendor/rust/rust/enum.rb +63 -0
  162. data/vendor/rust/rust/function.rb +407 -0
  163. data/vendor/rust/rust/namespace.rb +61 -0
  164. data/vendor/rust/rust/templates/AttributeDefinition.rusttpl +17 -0
  165. data/vendor/rust/rust/templates/AttributeInitBinding.rusttpl +9 -0
  166. data/vendor/rust/rust/templates/BindingsHeader.rusttpl +24 -0
  167. data/vendor/rust/rust/templates/BindingsUnit.rusttpl +46 -0
  168. data/vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl +64 -0
  169. data/vendor/rust/rust/templates/ClassDeclarations.rusttpl +7 -0
  170. data/vendor/rust/rust/templates/ClassInitialize.rusttpl +6 -0
  171. data/vendor/rust/rust/templates/ConstructorStub.rusttpl +21 -0
  172. data/vendor/rust/rust/templates/CxxClassDefinitions.rusttpl +100 -0
  173. data/vendor/rust/rust/templates/CxxMethodStub.rusttpl +12 -0
  174. data/vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl +26 -0
  175. data/vendor/rust/rust/templates/EnumDeclarations.rusttpl +3 -0
  176. data/vendor/rust/rust/templates/EnumDefinitions.rusttpl +29 -0
  177. data/vendor/rust/rust/templates/FunctionDefinition.rusttpl +9 -0
  178. data/vendor/rust/rust/templates/FunctionInitAlias.rusttpl +5 -0
  179. data/vendor/rust/rust/templates/FunctionInitBinding.rusttpl +9 -0
  180. data/vendor/rust/rust/templates/MethodInitBinding.rusttpl +9 -0
  181. data/vendor/rust/rust/templates/ModuleDeclarations.rusttpl +3 -0
  182. data/vendor/rust/rust/templates/ModuleDefinitions.rusttpl +3 -0
  183. data/vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl +7 -0
  184. data/vendor/rust/rust/templates/VariableFunctionCall.rusttpl +14 -0
  185. data/vendor/rust/rust/type.rb +98 -0
  186. data/vendor/rust/test/Makefile +4 -0
  187. data/vendor/rust/test/constants.rb +36 -0
  188. data/vendor/rust/test/cppclass.cc +45 -0
  189. data/vendor/rust/test/cppclass.hh +67 -0
  190. data/vendor/rust/test/cppclass.rb +59 -0
  191. data/vendor/rust/test/cwrapper.c +74 -0
  192. data/vendor/rust/test/cwrapper.h +41 -0
  193. data/vendor/rust/test/cwrapper.rb +56 -0
  194. data/vendor/rust/test/dummyclass.hh +31 -0
  195. data/vendor/rust/test/lib/extension-test.rb +98 -0
  196. data/vendor/rust/test/operators.cc +41 -0
  197. data/vendor/rust/test/operators.hh +39 -0
  198. data/vendor/rust/test/operators.rb +39 -0
  199. data/vendor/rust/test/test-constants.rb +43 -0
  200. data/vendor/rust/test/test-cppclass.rb +82 -0
  201. data/vendor/rust/test/test-cwrapper.rb +80 -0
  202. data/vendor/rust/test/test-operators.rb +42 -0
  203. metadata +393 -0
@@ -0,0 +1,80 @@
1
+ # Copyright (c) 2007 Diego Pettenò <flameeyes@gmail.com>
2
+ #
3
+ # Permission is hereby granted, free of charge, to any person obtaining
4
+ # a copy of this software and associated documentation files (the
5
+ # "Software"), to deal in the Software without restriction, including
6
+ # without limitation the rights to use, copy, modify, merge,
7
+ # publish, distribute, sublicense, and/or sell copies of the Software,
8
+ # and to permit persons to whom the Software is furnished to do so,
9
+ # subject to the following conditions:
10
+ #
11
+ # The above copyright notice and this permission notice shall be
12
+ # included in all copies or substantial portions of the Software.
13
+ #
14
+ # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
15
+ # EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
16
+ # MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
17
+ # NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
18
+ # BE LIABLE
19
+ # FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
20
+ # CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
21
+ # WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
22
+
23
+
24
+ exit 0 # Disabled
25
+
26
+ require 'lib/extension-test'
27
+
28
+ module Rust::Test
29
+
30
+ class CWrapperTest < Test::Unit::TestCase
31
+ include ExtensionTest
32
+
33
+ def setup
34
+ extension_setup("cwrapper", "c")
35
+
36
+ @instance = RustTestCWrapper::TestClass.new
37
+ end
38
+
39
+ def test_constant
40
+ assert(RustTestCWrapper::TestConstant == 1985,
41
+ "The test constant is not set properly.")
42
+ end
43
+
44
+ def test_module_function
45
+ assert(RustTestCWrapper::get_default_integer == 1985,
46
+ "The module function is not set properly.")
47
+ end
48
+
49
+ def test_get_integer
50
+ assert(@instance.get_integer == RustTestCWrapper::get_default_integer,
51
+ "The get_integer function does not work properly")
52
+ end
53
+
54
+ def test_set_integer
55
+ @instance.set_integer(1987)
56
+ assert(@instance.get_integer == 1987,
57
+ "The set_integer function does not work properly")
58
+ end
59
+
60
+ def test_get_string
61
+ assert(@instance.get_string == "",
62
+ "The get_string function does not work properly")
63
+ end
64
+
65
+ def test_set_string_valid
66
+ assert(@instance.set_string("ciao") == true,
67
+ "The set_string function does not return true for valid values")
68
+ assert(@instance.get_string == "ciao",
69
+ "The set_string function does not work properly")
70
+ end
71
+
72
+ def test_set_string_invalid
73
+ assert(@instance.set_string("foobar" * 70) == false,
74
+ "The set_string function does not return true for invalid values")
75
+ assert(@instance.get_string == "",
76
+ "The set_string function does not ignore invalid values")
77
+ end
78
+ end
79
+
80
+ end
@@ -0,0 +1,42 @@
1
+ # Copyright (c) 2007 Diego Pettenò <flameeyes@gmail.com>
2
+ #
3
+ # Permission is hereby granted, free of charge, to any person obtaining
4
+ # a copy of this software and associated documentation files (the
5
+ # "Software"), to deal in the Software without restriction, including
6
+ # without limitation the rights to use, copy, modify, merge,
7
+ # publish, distribute, sublicense, and/or sell copies of the Software,
8
+ # and to permit persons to whom the Software is furnished to do so,
9
+ # subject to the following conditions:
10
+ #
11
+ # The above copyright notice and this permission notice shall be
12
+ # included in all copies or substantial portions of the Software.
13
+ #
14
+ # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
15
+ # EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
16
+ # MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
17
+ # NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
18
+ # BE LIABLE
19
+ # FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
20
+ # CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
21
+ # WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
22
+
23
+ require 'lib/extension-test'
24
+
25
+ module Rust::Test
26
+
27
+ class CppClassTest < Test::Unit::TestCase
28
+ include ExtensionTest
29
+
30
+ def setup
31
+ extension_setup("operators", "cc")
32
+
33
+ @instance = RustTestOperators::Operators.new
34
+ end
35
+
36
+ def test_at
37
+ v = @instance.at(3)
38
+ assert(v == 3, "must be 3")
39
+ end
40
+ end
41
+
42
+ end
metadata ADDED
@@ -0,0 +1,393 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: gecoder-with-gecode
3
+ version: !ruby/object:Gem::Version
4
+ version: 0.9.0
5
+ platform: x86-mswin32-60
6
+ authors:
7
+ - Gecode/R Development Team
8
+ autorequire:
9
+ bindir: bin
10
+ cert_chain: []
11
+
12
+ date: 2008-08-19 00:00:00 +02:00
13
+ default_executable:
14
+ dependencies: []
15
+
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.
17
+ email: gecoder-users@rubyforge.org
18
+ executables: []
19
+
20
+ extensions: []
21
+
22
+ extra_rdoc_files:
23
+ - README
24
+ - CHANGES
25
+ - LGPL-LICENSE
26
+ - lib/gecoder.rb
27
+ - lib/gecoder/bindings.rb
28
+ - lib/gecoder/interface/branch.rb
29
+ - lib/gecoder/interface/enum_matrix.rb
30
+ - lib/gecoder/interface/model_sugar.rb
31
+ - lib/gecoder/interface/search.rb
32
+ - lib/gecoder/interface/constraints.rb
33
+ - lib/gecoder/interface/variables.rb
34
+ - lib/gecoder/interface/enum_wrapper.rb
35
+ - lib/gecoder/interface/model.rb
36
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
37
+ - lib/gecoder/interface/constraints/extensional_regexp.rb
38
+ - lib/gecoder/interface/constraints/selected_set_constraints.rb
39
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
40
+ - lib/gecoder/interface/constraints/set/channel.rb
41
+ - lib/gecoder/interface/constraints/set/cardinality.rb
42
+ - lib/gecoder/interface/constraints/set/include.rb
43
+ - lib/gecoder/interface/constraints/set/operation.rb
44
+ - lib/gecoder/interface/constraints/set/connection.rb
45
+ - lib/gecoder/interface/constraints/set/domain.rb
46
+ - lib/gecoder/interface/constraints/set/relation.rb
47
+ - lib/gecoder/interface/constraints/set_elements/relation.rb
48
+ - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
49
+ - lib/gecoder/interface/constraints/int/channel.rb
50
+ - lib/gecoder/interface/constraints/int/arithmetic.rb
51
+ - lib/gecoder/interface/constraints/int/linear.rb
52
+ - lib/gecoder/interface/constraints/int/domain.rb
53
+ - lib/gecoder/interface/constraints/int/relation.rb
54
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
55
+ - lib/gecoder/interface/constraints/bool/channel.rb
56
+ - lib/gecoder/interface/constraints/bool/boolean.rb
57
+ - lib/gecoder/interface/constraints/bool/linear.rb
58
+ - lib/gecoder/interface/constraints/int_enum/channel.rb
59
+ - lib/gecoder/interface/constraints/int_enum/distinct.rb
60
+ - lib/gecoder/interface/constraints/int_enum/element.rb
61
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
62
+ - lib/gecoder/interface/constraints/int_enum/count.rb
63
+ - lib/gecoder/interface/constraints/int_enum/extensional.rb
64
+ - lib/gecoder/interface/constraints/int_enum/equality.rb
65
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
66
+ - lib/gecoder/interface/constraints/set_elements_constraints.rb
67
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
68
+ - lib/gecoder/interface/constraints/bool_enum_constraints.rb
69
+ - lib/gecoder/interface/constraints/selected_set/select.rb
70
+ - lib/gecoder/interface/constraints/fixnum_enum/element.rb
71
+ - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
72
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
73
+ - lib/gecoder/interface/constraints/bool_enum/extensional.rb
74
+ - lib/gecoder/interface/constraints/bool_enum/relation.rb
75
+ - lib/gecoder/interface/constraints/int_var_constraints.rb
76
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
77
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
78
+ - lib/gecoder/interface/constraints/set_enum/select.rb
79
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
80
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
81
+ - lib/gecoder/interface/binding_changes.rb
82
+ - lib/gecoder/version.rb
83
+ - lib/gecoder/interface.rb
84
+ - lib/gecoder/bindings/bindings.rb
85
+ files:
86
+ - README
87
+ - LGPL-LICENSE
88
+ - CHANGES
89
+ - COPYING
90
+ - Rakefile
91
+ - lib/gecoder.rb
92
+ - lib/gecoder/bindings.rb
93
+ - lib/gecoder/interface/branch.rb
94
+ - lib/gecoder/interface/enum_matrix.rb
95
+ - lib/gecoder/interface/model_sugar.rb
96
+ - lib/gecoder/interface/search.rb
97
+ - lib/gecoder/interface/constraints.rb
98
+ - lib/gecoder/interface/variables.rb
99
+ - lib/gecoder/interface/enum_wrapper.rb
100
+ - lib/gecoder/interface/model.rb
101
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
102
+ - lib/gecoder/interface/constraints/extensional_regexp.rb
103
+ - lib/gecoder/interface/constraints/selected_set_constraints.rb
104
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
105
+ - lib/gecoder/interface/constraints/set/channel.rb
106
+ - lib/gecoder/interface/constraints/set/cardinality.rb
107
+ - lib/gecoder/interface/constraints/set/include.rb
108
+ - lib/gecoder/interface/constraints/set/operation.rb
109
+ - lib/gecoder/interface/constraints/set/connection.rb
110
+ - lib/gecoder/interface/constraints/set/domain.rb
111
+ - lib/gecoder/interface/constraints/set/relation.rb
112
+ - lib/gecoder/interface/constraints/set_elements/relation.rb
113
+ - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
114
+ - lib/gecoder/interface/constraints/int/channel.rb
115
+ - lib/gecoder/interface/constraints/int/arithmetic.rb
116
+ - lib/gecoder/interface/constraints/int/linear.rb
117
+ - lib/gecoder/interface/constraints/int/domain.rb
118
+ - lib/gecoder/interface/constraints/int/relation.rb
119
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
120
+ - lib/gecoder/interface/constraints/bool/channel.rb
121
+ - lib/gecoder/interface/constraints/bool/boolean.rb
122
+ - lib/gecoder/interface/constraints/bool/linear.rb
123
+ - lib/gecoder/interface/constraints/int_enum/channel.rb
124
+ - lib/gecoder/interface/constraints/int_enum/distinct.rb
125
+ - lib/gecoder/interface/constraints/int_enum/element.rb
126
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
127
+ - lib/gecoder/interface/constraints/int_enum/count.rb
128
+ - lib/gecoder/interface/constraints/int_enum/extensional.rb
129
+ - lib/gecoder/interface/constraints/int_enum/equality.rb
130
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
131
+ - lib/gecoder/interface/constraints/set_elements_constraints.rb
132
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
133
+ - lib/gecoder/interface/constraints/bool_enum_constraints.rb
134
+ - lib/gecoder/interface/constraints/selected_set/select.rb
135
+ - lib/gecoder/interface/constraints/fixnum_enum/element.rb
136
+ - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
137
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
138
+ - lib/gecoder/interface/constraints/bool_enum/extensional.rb
139
+ - lib/gecoder/interface/constraints/bool_enum/relation.rb
140
+ - lib/gecoder/interface/constraints/int_var_constraints.rb
141
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
142
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
143
+ - lib/gecoder/interface/constraints/set_enum/select.rb
144
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
145
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
146
+ - lib/gecoder/interface/binding_changes.rb
147
+ - lib/gecoder/version.rb
148
+ - lib/gecoder/interface.rb
149
+ - lib/gecoder/bindings/bindings.rb
150
+ - example/queens.rb
151
+ - example/equation_system.rb
152
+ - example/send_most_money.rb
153
+ - example/magic_sequence.rb
154
+ - example/send_more_money.rb
155
+ - example/sudoku-set.rb
156
+ - example/sudoku.rb
157
+ - example/square_tiling.rb
158
+ - example/example_helper.rb
159
+ - example/money.rb
160
+ - vendor/rust/bin
161
+ - vendor/rust/bin/cxxgenerator.rb
162
+ - vendor/rust/README
163
+ - vendor/rust/rust
164
+ - vendor/rust/rust/cwrapper.rb
165
+ - vendor/rust/rust/bindings.rb
166
+ - vendor/rust/rust/element.rb
167
+ - vendor/rust/rust/cxxclass.rb
168
+ - vendor/rust/rust/type.rb
169
+ - vendor/rust/rust/class.rb
170
+ - vendor/rust/rust/container.rb
171
+ - vendor/rust/rust/templates
172
+ - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
173
+ - vendor/rust/rust/templates/EnumDeclarations.rusttpl
174
+ - vendor/rust/rust/templates/BindingsUnit.rusttpl
175
+ - vendor/rust/rust/templates/ConstructorStub.rusttpl
176
+ - vendor/rust/rust/templates/EnumDefinitions.rusttpl
177
+ - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
178
+ - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
179
+ - vendor/rust/rust/templates/FunctionInitAlias.rusttpl
180
+ - vendor/rust/rust/templates/ClassInitialize.rusttpl
181
+ - vendor/rust/rust/templates/ClassDeclarations.rusttpl
182
+ - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
183
+ - vendor/rust/rust/templates/CxxMethodStub.rusttpl
184
+ - vendor/rust/rust/templates/MethodInitBinding.rusttpl
185
+ - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
186
+ - vendor/rust/rust/templates/VariableFunctionCall.rusttpl
187
+ - vendor/rust/rust/templates/AttributeInitBinding.rusttpl
188
+ - vendor/rust/rust/templates/BindingsHeader.rusttpl
189
+ - vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
190
+ - vendor/rust/rust/templates/FunctionDefinition.rusttpl
191
+ - vendor/rust/rust/templates/AttributeDefinition.rusttpl
192
+ - vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
193
+ - vendor/rust/rust/cppifaceparser.rb
194
+ - vendor/rust/rust/constants.rb
195
+ - vendor/rust/rust/attribute.rb
196
+ - vendor/rust/rust/namespace.rb
197
+ - vendor/rust/rust/enum.rb
198
+ - vendor/rust/rust/function.rb
199
+ - vendor/rust/test
200
+ - vendor/rust/test/cppclass.rb
201
+ - vendor/rust/test/cwrapper.h
202
+ - vendor/rust/test/test-constants.rb
203
+ - vendor/rust/test/cwrapper.rb
204
+ - vendor/rust/test/operators.hh
205
+ - vendor/rust/test/cppclass.cc
206
+ - vendor/rust/test/Makefile
207
+ - vendor/rust/test/test-cppclass.rb
208
+ - vendor/rust/test/operators.rb
209
+ - vendor/rust/test/cppclass.hh
210
+ - vendor/rust/test/dummyclass.hh
211
+ - vendor/rust/test/operators.cc
212
+ - vendor/rust/test/constants.rb
213
+ - vendor/rust/test/test-cwrapper.rb
214
+ - vendor/rust/test/cwrapper.c
215
+ - vendor/rust/test/lib
216
+ - vendor/rust/test/lib/extension-test.rb
217
+ - vendor/rust/test/test-operators.rb
218
+ - vendor/rust/include
219
+ - vendor/rust/include/rust_checks.hh
220
+ - vendor/rust/include/rust_conversions.hh
221
+ - vendor/rust/rust.rb
222
+ - tasks/website.rake
223
+ - tasks/specs.rake
224
+ - tasks/svn.rake
225
+ - tasks/rcov.rake
226
+ - tasks/all_tasks.rb
227
+ - tasks/dependencies.txt
228
+ - tasks/distribution.rake
229
+ - specs/logging.rb
230
+ - specs/branch.rb
231
+ - specs/enum_matrix.rb
232
+ - specs/model_sugar.rb
233
+ - specs/search.rb
234
+ - specs/bool_var.rb
235
+ - specs/set_elements.rb
236
+ - specs/distribution.rb
237
+ - specs/spec_helper.rb
238
+ - specs/int_var.rb
239
+ - specs/enum_wrapper.rb
240
+ - specs/model.rb
241
+ - specs/set_var.rb
242
+ - specs/selected_set.rb
243
+ - specs/constraints
244
+ - specs/constraints/property_helper.rb
245
+ - specs/constraints/set
246
+ - specs/constraints/set/channel.rb
247
+ - specs/constraints/set/cardinality_properties.rb
248
+ - specs/constraints/set/cardinality.rb
249
+ - specs/constraints/set/include.rb
250
+ - specs/constraints/set/operation.rb
251
+ - specs/constraints/set/connection.rb
252
+ - specs/constraints/set/domain.rb
253
+ - specs/constraints/set/relation.rb
254
+ - specs/constraints/set_elements
255
+ - specs/constraints/set_elements/relation.rb
256
+ - specs/constraints/int
257
+ - specs/constraints/int/channel.rb
258
+ - specs/constraints/int/arithmetic.rb
259
+ - specs/constraints/int/linear_properties.rb
260
+ - specs/constraints/int/linear.rb
261
+ - specs/constraints/int/domain.rb
262
+ - specs/constraints/int/relation.rb
263
+ - specs/constraints/constraints.rb
264
+ - specs/constraints/bool
265
+ - specs/constraints/bool/boolean_properties.rb
266
+ - specs/constraints/bool/boolean.rb
267
+ - specs/constraints/bool/linear.rb
268
+ - specs/constraints/int_enum
269
+ - specs/constraints/int_enum/channel.rb
270
+ - specs/constraints/int_enum/distinct.rb
271
+ - specs/constraints/int_enum/element.rb
272
+ - specs/constraints/int_enum/arithmetic.rb
273
+ - specs/constraints/int_enum/count.rb
274
+ - specs/constraints/int_enum/extensional.rb
275
+ - specs/constraints/int_enum/equality.rb
276
+ - specs/constraints/int_enum/sort.rb
277
+ - specs/constraints/constraint_helper.rb
278
+ - specs/constraints/reification_sugar.rb
279
+ - specs/constraints/selected_set
280
+ - specs/constraints/selected_set/select.rb
281
+ - specs/constraints/selected_set/select_properties.rb
282
+ - specs/constraints/constraint_receivers.rb
283
+ - specs/constraints/fixnum_enum
284
+ - specs/constraints/fixnum_enum/element.rb
285
+ - specs/constraints/fixnum_enum/operation.rb
286
+ - specs/constraints/bool_enum
287
+ - specs/constraints/bool_enum/channel.rb
288
+ - specs/constraints/bool_enum/bool_enum_relation.rb
289
+ - specs/constraints/bool_enum/extensional.rb
290
+ - specs/constraints/operands.rb
291
+ - specs/constraints/set_enum
292
+ - specs/constraints/set_enum/channel.rb
293
+ - specs/constraints/set_enum/select.rb
294
+ - specs/constraints/set_enum/distinct.rb
295
+ - specs/constraints/set_enum/operation.rb
296
+ - specs/examples.rb
297
+ - vendor/gecode/win32/lib/libgecodeset.dll
298
+ - vendor/gecode/win32/lib/libgecodeint.dll
299
+ - vendor/gecode/win32/lib/libgecodesupport.dll
300
+ - vendor/gecode/win32/lib/libgecodekernel.dll
301
+ - vendor/gecode/win32/lib/libgecodesearch.dll
302
+ - vendor/gecode/win32/lib/libgecodeminimodel.dll
303
+ - lib/gecode.dll
304
+ has_rdoc: true
305
+ homepage: http://gecoder.rubyforge.org
306
+ post_install_message:
307
+ rdoc_options:
308
+ - --line-numbers
309
+ - --inline-source
310
+ - --accessor
311
+ - delegate
312
+ - --main
313
+ - README
314
+ require_paths:
315
+ - lib
316
+ required_ruby_version: !ruby/object:Gem::Requirement
317
+ requirements:
318
+ - - ">="
319
+ - !ruby/object:Gem::Version
320
+ version: "0"
321
+ version:
322
+ required_rubygems_version: !ruby/object:Gem::Requirement
323
+ requirements:
324
+ - - ">="
325
+ - !ruby/object:Gem::Version
326
+ version: "0"
327
+ version:
328
+ requirements: []
329
+
330
+ rubyforge_project: gecoder
331
+ rubygems_version: 1.2.0
332
+ signing_key:
333
+ specification_version: 2
334
+ summary: Ruby interface to Gecode, an environment for constraint programming.
335
+ test_files:
336
+ - specs/logging.rb
337
+ - specs/branch.rb
338
+ - specs/enum_matrix.rb
339
+ - specs/model_sugar.rb
340
+ - specs/search.rb
341
+ - specs/bool_var.rb
342
+ - specs/set_elements.rb
343
+ - specs/distribution.rb
344
+ - specs/spec_helper.rb
345
+ - specs/int_var.rb
346
+ - specs/enum_wrapper.rb
347
+ - specs/model.rb
348
+ - specs/set_var.rb
349
+ - specs/selected_set.rb
350
+ - specs/constraints/property_helper.rb
351
+ - specs/constraints/set/channel.rb
352
+ - specs/constraints/set/cardinality_properties.rb
353
+ - specs/constraints/set/cardinality.rb
354
+ - specs/constraints/set/include.rb
355
+ - specs/constraints/set/operation.rb
356
+ - specs/constraints/set/connection.rb
357
+ - specs/constraints/set/domain.rb
358
+ - specs/constraints/set/relation.rb
359
+ - specs/constraints/set_elements/relation.rb
360
+ - specs/constraints/int/channel.rb
361
+ - specs/constraints/int/arithmetic.rb
362
+ - specs/constraints/int/linear_properties.rb
363
+ - specs/constraints/int/linear.rb
364
+ - specs/constraints/int/domain.rb
365
+ - specs/constraints/int/relation.rb
366
+ - specs/constraints/constraints.rb
367
+ - specs/constraints/bool/boolean_properties.rb
368
+ - specs/constraints/bool/boolean.rb
369
+ - specs/constraints/bool/linear.rb
370
+ - specs/constraints/int_enum/channel.rb
371
+ - specs/constraints/int_enum/distinct.rb
372
+ - specs/constraints/int_enum/element.rb
373
+ - specs/constraints/int_enum/arithmetic.rb
374
+ - specs/constraints/int_enum/count.rb
375
+ - specs/constraints/int_enum/extensional.rb
376
+ - specs/constraints/int_enum/equality.rb
377
+ - specs/constraints/int_enum/sort.rb
378
+ - specs/constraints/constraint_helper.rb
379
+ - specs/constraints/reification_sugar.rb
380
+ - specs/constraints/selected_set/select.rb
381
+ - specs/constraints/selected_set/select_properties.rb
382
+ - specs/constraints/constraint_receivers.rb
383
+ - specs/constraints/fixnum_enum/element.rb
384
+ - specs/constraints/fixnum_enum/operation.rb
385
+ - specs/constraints/bool_enum/channel.rb
386
+ - specs/constraints/bool_enum/bool_enum_relation.rb
387
+ - specs/constraints/bool_enum/extensional.rb
388
+ - specs/constraints/operands.rb
389
+ - specs/constraints/set_enum/channel.rb
390
+ - specs/constraints/set_enum/select.rb
391
+ - specs/constraints/set_enum/distinct.rb
392
+ - specs/constraints/set_enum/operation.rb
393
+ - specs/examples.rb