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

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