gecoder-with-gecode 0.7.1-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 (159) hide show
  1. data/CHANGES +81 -0
  2. data/COPYING +17 -0
  3. data/LGPL-LICENSE +458 -0
  4. data/README +45 -0
  5. data/Rakefile +13 -0
  6. data/example/example_helper.rb +1 -0
  7. data/example/magic_sequence.rb +43 -0
  8. data/example/queens.rb +43 -0
  9. data/example/raw_bindings.rb +42 -0
  10. data/example/send_more_money.rb +43 -0
  11. data/example/send_most_money.rb +58 -0
  12. data/example/square_tiling.rb +84 -0
  13. data/example/sudoku-set.rb +110 -0
  14. data/example/sudoku.rb +61 -0
  15. data/lib/gecode.dll +0 -0
  16. data/lib/gecoder.rb +5 -0
  17. data/lib/gecoder/bindings.rb +54 -0
  18. data/lib/gecoder/bindings/bindings.rb +2210 -0
  19. data/lib/gecoder/interface.rb +8 -0
  20. data/lib/gecoder/interface/binding_changes.rb +313 -0
  21. data/lib/gecoder/interface/branch.rb +152 -0
  22. data/lib/gecoder/interface/constraints.rb +397 -0
  23. data/lib/gecoder/interface/constraints/bool/boolean.rb +246 -0
  24. data/lib/gecoder/interface/constraints/bool/linear.rb +29 -0
  25. data/lib/gecoder/interface/constraints/bool_enum/boolean.rb +84 -0
  26. data/lib/gecoder/interface/constraints/bool_enum_constraints.rb +8 -0
  27. data/lib/gecoder/interface/constraints/bool_var_constraints.rb +75 -0
  28. data/lib/gecoder/interface/constraints/int/arithmetic.rb +71 -0
  29. data/lib/gecoder/interface/constraints/int/domain.rb +78 -0
  30. data/lib/gecoder/interface/constraints/int/linear.rb +295 -0
  31. data/lib/gecoder/interface/constraints/int_enum/arithmetic.rb +72 -0
  32. data/lib/gecoder/interface/constraints/int_enum/channel.rb +100 -0
  33. data/lib/gecoder/interface/constraints/int_enum/count.rb +92 -0
  34. data/lib/gecoder/interface/constraints/int_enum/distinct.rb +69 -0
  35. data/lib/gecoder/interface/constraints/int_enum/element.rb +82 -0
  36. data/lib/gecoder/interface/constraints/int_enum/equality.rb +38 -0
  37. data/lib/gecoder/interface/constraints/int_enum/sort.rb +126 -0
  38. data/lib/gecoder/interface/constraints/int_enum_constraints.rb +37 -0
  39. data/lib/gecoder/interface/constraints/int_var_constraints.rb +58 -0
  40. data/lib/gecoder/interface/constraints/reifiable_constraints.rb +78 -0
  41. data/lib/gecoder/interface/constraints/set/cardinality.rb +75 -0
  42. data/lib/gecoder/interface/constraints/set/connection.rb +193 -0
  43. data/lib/gecoder/interface/constraints/set/domain.rb +109 -0
  44. data/lib/gecoder/interface/constraints/set/operation.rb +132 -0
  45. data/lib/gecoder/interface/constraints/set/relation.rb +178 -0
  46. data/lib/gecoder/interface/constraints/set_enum/channel.rb +18 -0
  47. data/lib/gecoder/interface/constraints/set_enum/distinct.rb +80 -0
  48. data/lib/gecoder/interface/constraints/set_enum/operation.rb +60 -0
  49. data/lib/gecoder/interface/constraints/set_enum/selection.rb +217 -0
  50. data/lib/gecoder/interface/constraints/set_enum_constraints.rb +34 -0
  51. data/lib/gecoder/interface/constraints/set_var_constraints.rb +72 -0
  52. data/lib/gecoder/interface/enum_matrix.rb +64 -0
  53. data/lib/gecoder/interface/enum_wrapper.rb +153 -0
  54. data/lib/gecoder/interface/model.rb +251 -0
  55. data/lib/gecoder/interface/search.rb +123 -0
  56. data/lib/gecoder/interface/variables.rb +254 -0
  57. data/lib/gecoder/version.rb +4 -0
  58. data/specs/binding_changes.rb +76 -0
  59. data/specs/bool_var.rb +74 -0
  60. data/specs/branch.rb +170 -0
  61. data/specs/constraints/arithmetic.rb +266 -0
  62. data/specs/constraints/bool_enum.rb +140 -0
  63. data/specs/constraints/boolean.rb +232 -0
  64. data/specs/constraints/cardinality.rb +154 -0
  65. data/specs/constraints/channel.rb +126 -0
  66. data/specs/constraints/connection.rb +373 -0
  67. data/specs/constraints/constraint_helper.rb +180 -0
  68. data/specs/constraints/constraints.rb +74 -0
  69. data/specs/constraints/count.rb +139 -0
  70. data/specs/constraints/distinct.rb +218 -0
  71. data/specs/constraints/element.rb +106 -0
  72. data/specs/constraints/equality.rb +31 -0
  73. data/specs/constraints/int_domain.rb +69 -0
  74. data/specs/constraints/int_relation.rb +78 -0
  75. data/specs/constraints/linear.rb +332 -0
  76. data/specs/constraints/reification_sugar.rb +96 -0
  77. data/specs/constraints/selection.rb +292 -0
  78. data/specs/constraints/set_domain.rb +181 -0
  79. data/specs/constraints/set_operation.rb +285 -0
  80. data/specs/constraints/set_relation.rb +201 -0
  81. data/specs/constraints/sort.rb +175 -0
  82. data/specs/distribution.rb +14 -0
  83. data/specs/enum_matrix.rb +43 -0
  84. data/specs/enum_wrapper.rb +122 -0
  85. data/specs/int_var.rb +144 -0
  86. data/specs/logging.rb +24 -0
  87. data/specs/model.rb +190 -0
  88. data/specs/search.rb +246 -0
  89. data/specs/set_var.rb +68 -0
  90. data/specs/spec_helper.rb +93 -0
  91. data/tasks/all_tasks.rb +1 -0
  92. data/tasks/building.howto +65 -0
  93. data/tasks/distribution.rake +156 -0
  94. data/tasks/rcov.rake +17 -0
  95. data/tasks/specs.rake +15 -0
  96. data/tasks/svn.rake +11 -0
  97. data/tasks/website.rake +51 -0
  98. data/vendor/gecode/win32/lib/libgecodeint.dll +0 -0
  99. data/vendor/gecode/win32/lib/libgecodekernel.dll +0 -0
  100. data/vendor/gecode/win32/lib/libgecodeminimodel.dll +0 -0
  101. data/vendor/gecode/win32/lib/libgecodesearch.dll +0 -0
  102. data/vendor/gecode/win32/lib/libgecodeset.dll +0 -0
  103. data/vendor/rust/README +28 -0
  104. data/vendor/rust/bin/cxxgenerator.rb +93 -0
  105. data/vendor/rust/include/rust_checks.hh +115 -0
  106. data/vendor/rust/include/rust_conversions.hh +102 -0
  107. data/vendor/rust/rust.rb +67 -0
  108. data/vendor/rust/rust/attribute.rb +51 -0
  109. data/vendor/rust/rust/bindings.rb +172 -0
  110. data/vendor/rust/rust/class.rb +339 -0
  111. data/vendor/rust/rust/constants.rb +48 -0
  112. data/vendor/rust/rust/container.rb +110 -0
  113. data/vendor/rust/rust/cppifaceparser.rb +129 -0
  114. data/vendor/rust/rust/cwrapper.rb +72 -0
  115. data/vendor/rust/rust/cxxclass.rb +98 -0
  116. data/vendor/rust/rust/element.rb +81 -0
  117. data/vendor/rust/rust/enum.rb +63 -0
  118. data/vendor/rust/rust/function.rb +407 -0
  119. data/vendor/rust/rust/namespace.rb +61 -0
  120. data/vendor/rust/rust/templates/AttributeDefinition.rusttpl +17 -0
  121. data/vendor/rust/rust/templates/AttributeInitBinding.rusttpl +9 -0
  122. data/vendor/rust/rust/templates/BindingsHeader.rusttpl +24 -0
  123. data/vendor/rust/rust/templates/BindingsUnit.rusttpl +46 -0
  124. data/vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl +64 -0
  125. data/vendor/rust/rust/templates/ClassDeclarations.rusttpl +7 -0
  126. data/vendor/rust/rust/templates/ClassInitialize.rusttpl +6 -0
  127. data/vendor/rust/rust/templates/ConstructorStub.rusttpl +21 -0
  128. data/vendor/rust/rust/templates/CxxClassDefinitions.rusttpl +91 -0
  129. data/vendor/rust/rust/templates/CxxMethodStub.rusttpl +12 -0
  130. data/vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl +26 -0
  131. data/vendor/rust/rust/templates/EnumDeclarations.rusttpl +3 -0
  132. data/vendor/rust/rust/templates/EnumDefinitions.rusttpl +29 -0
  133. data/vendor/rust/rust/templates/FunctionDefinition.rusttpl +9 -0
  134. data/vendor/rust/rust/templates/FunctionInitAlias.rusttpl +5 -0
  135. data/vendor/rust/rust/templates/FunctionInitBinding.rusttpl +9 -0
  136. data/vendor/rust/rust/templates/MethodInitBinding.rusttpl +9 -0
  137. data/vendor/rust/rust/templates/ModuleDeclarations.rusttpl +3 -0
  138. data/vendor/rust/rust/templates/ModuleDefinitions.rusttpl +3 -0
  139. data/vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl +7 -0
  140. data/vendor/rust/rust/templates/VariableFunctionCall.rusttpl +14 -0
  141. data/vendor/rust/rust/type.rb +98 -0
  142. data/vendor/rust/test/Makefile +4 -0
  143. data/vendor/rust/test/constants.rb +36 -0
  144. data/vendor/rust/test/cppclass.cc +45 -0
  145. data/vendor/rust/test/cppclass.hh +67 -0
  146. data/vendor/rust/test/cppclass.rb +59 -0
  147. data/vendor/rust/test/cwrapper.c +74 -0
  148. data/vendor/rust/test/cwrapper.h +41 -0
  149. data/vendor/rust/test/cwrapper.rb +56 -0
  150. data/vendor/rust/test/dummyclass.hh +31 -0
  151. data/vendor/rust/test/lib/extension-test.rb +98 -0
  152. data/vendor/rust/test/operators.cc +41 -0
  153. data/vendor/rust/test/operators.hh +39 -0
  154. data/vendor/rust/test/operators.rb +39 -0
  155. data/vendor/rust/test/test-constants.rb +43 -0
  156. data/vendor/rust/test/test-cppclass.rb +82 -0
  157. data/vendor/rust/test/test-cwrapper.rb +80 -0
  158. data/vendor/rust/test/test-operators.rb +42 -0
  159. metadata +293 -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,293 @@
1
+ --- !ruby/object:Gem::Specification
2
+ rubygems_version: 0.9.4
3
+ specification_version: 1
4
+ name: gecoder-with-gecode
5
+ version: !ruby/object:Gem::Version
6
+ version: 0.7.1
7
+ date: 2008-01-24 00:00:00 +01:00
8
+ summary: Ruby interface to Gecode, an environment for constraint programming.
9
+ require_paths:
10
+ - lib
11
+ email: gecoder-users@rubyforge.org
12
+ homepage: http://gecoder.rubyforge.org
13
+ rubyforge_project: gecoder
14
+ 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.
15
+ autorequire: gecoder
16
+ default_executable:
17
+ bindir: bin
18
+ has_rdoc: true
19
+ required_ruby_version: !ruby/object:Gem::Version::Requirement
20
+ requirements:
21
+ - - ">"
22
+ - !ruby/object:Gem::Version
23
+ version: 0.0.0
24
+ version:
25
+ platform: mswin32
26
+ signing_key:
27
+ cert_chain:
28
+ post_install_message:
29
+ authors:
30
+ - - Gecode/R Development Team
31
+ files:
32
+ - Rakefile
33
+ - CHANGES
34
+ - COPYING
35
+ - README
36
+ - LGPL-LICENSE
37
+ - lib/gecoder/interface/constraints/bool_enum/boolean.rb
38
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
39
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
40
+ - lib/gecoder/interface/constraints/set_enum/selection.rb
41
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
42
+ - lib/gecoder/interface/constraints/int/domain.rb
43
+ - lib/gecoder/interface/constraints/int/arithmetic.rb
44
+ - lib/gecoder/interface/constraints/int/linear.rb
45
+ - lib/gecoder/interface/constraints/bool/boolean.rb
46
+ - lib/gecoder/interface/constraints/bool/linear.rb
47
+ - lib/gecoder/interface/constraints/set/relation.rb
48
+ - lib/gecoder/interface/constraints/set/connection.rb
49
+ - lib/gecoder/interface/constraints/set/operation.rb
50
+ - lib/gecoder/interface/constraints/set/cardinality.rb
51
+ - lib/gecoder/interface/constraints/set/domain.rb
52
+ - lib/gecoder/interface/constraints/int_enum/equality.rb
53
+ - lib/gecoder/interface/constraints/int_enum/distinct.rb
54
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
55
+ - lib/gecoder/interface/constraints/int_enum/channel.rb
56
+ - lib/gecoder/interface/constraints/int_enum/count.rb
57
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
58
+ - lib/gecoder/interface/constraints/int_enum/element.rb
59
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
60
+ - lib/gecoder/interface/constraints/bool_enum_constraints.rb
61
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
62
+ - lib/gecoder/interface/constraints/int_var_constraints.rb
63
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
64
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
65
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
66
+ - lib/gecoder/interface/branch.rb
67
+ - lib/gecoder/interface/model.rb
68
+ - lib/gecoder/interface/binding_changes.rb
69
+ - lib/gecoder/interface/enum_wrapper.rb
70
+ - lib/gecoder/interface/search.rb
71
+ - lib/gecoder/interface/constraints.rb
72
+ - lib/gecoder/interface/enum_matrix.rb
73
+ - lib/gecoder/interface/variables.rb
74
+ - lib/gecoder/bindings/bindings.rb
75
+ - lib/gecoder/bindings.rb
76
+ - lib/gecoder/interface.rb
77
+ - lib/gecoder/version.rb
78
+ - lib/gecoder.rb
79
+ - example/queens.rb
80
+ - example/send_more_money.rb
81
+ - example/send_most_money.rb
82
+ - example/sudoku-set.rb
83
+ - example/raw_bindings.rb
84
+ - example/square_tiling.rb
85
+ - example/magic_sequence.rb
86
+ - example/example_helper.rb
87
+ - example/sudoku.rb
88
+ - vendor/rust/test
89
+ - vendor/rust/test/lib
90
+ - vendor/rust/test/lib/extension-test.rb
91
+ - vendor/rust/test/dummyclass.hh
92
+ - vendor/rust/test/operators.rb
93
+ - vendor/rust/test/cwrapper.rb
94
+ - vendor/rust/test/test-cppclass.rb
95
+ - vendor/rust/test/test-constants.rb
96
+ - vendor/rust/test/cppclass.cc
97
+ - vendor/rust/test/test-operators.rb
98
+ - vendor/rust/test/operators.cc
99
+ - vendor/rust/test/test-cwrapper.rb
100
+ - vendor/rust/test/cwrapper.c
101
+ - vendor/rust/test/cppclass.hh
102
+ - vendor/rust/test/cwrapper.h
103
+ - vendor/rust/test/cppclass.rb
104
+ - vendor/rust/test/operators.hh
105
+ - vendor/rust/test/Makefile
106
+ - vendor/rust/test/constants.rb
107
+ - vendor/rust/include
108
+ - vendor/rust/include/rust_conversions.hh
109
+ - vendor/rust/include/rust_checks.hh
110
+ - vendor/rust/bin
111
+ - vendor/rust/bin/cxxgenerator.rb
112
+ - vendor/rust/rust
113
+ - vendor/rust/rust/templates
114
+ - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
115
+ - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
116
+ - vendor/rust/rust/templates/BindingsHeader.rusttpl
117
+ - vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
118
+ - vendor/rust/rust/templates/AttributeDefinition.rusttpl
119
+ - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
120
+ - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
121
+ - vendor/rust/rust/templates/AttributeInitBinding.rusttpl
122
+ - vendor/rust/rust/templates/FunctionInitAlias.rusttpl
123
+ - vendor/rust/rust/templates/ConstructorStub.rusttpl
124
+ - vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
125
+ - vendor/rust/rust/templates/ClassInitialize.rusttpl
126
+ - vendor/rust/rust/templates/VariableFunctionCall.rusttpl
127
+ - vendor/rust/rust/templates/EnumDeclarations.rusttpl
128
+ - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
129
+ - vendor/rust/rust/templates/BindingsUnit.rusttpl
130
+ - vendor/rust/rust/templates/FunctionDefinition.rusttpl
131
+ - vendor/rust/rust/templates/ClassDeclarations.rusttpl
132
+ - vendor/rust/rust/templates/MethodInitBinding.rusttpl
133
+ - vendor/rust/rust/templates/EnumDefinitions.rusttpl
134
+ - vendor/rust/rust/templates/CxxMethodStub.rusttpl
135
+ - vendor/rust/rust/bindings.rb
136
+ - vendor/rust/rust/type.rb
137
+ - vendor/rust/rust/container.rb
138
+ - vendor/rust/rust/attribute.rb
139
+ - vendor/rust/rust/cwrapper.rb
140
+ - vendor/rust/rust/enum.rb
141
+ - vendor/rust/rust/class.rb
142
+ - vendor/rust/rust/function.rb
143
+ - vendor/rust/rust/cppifaceparser.rb
144
+ - vendor/rust/rust/cxxclass.rb
145
+ - vendor/rust/rust/element.rb
146
+ - vendor/rust/rust/constants.rb
147
+ - vendor/rust/rust/namespace.rb
148
+ - vendor/rust/rust.rb
149
+ - vendor/rust/README
150
+ - tasks/all_tasks.rb
151
+ - tasks/distribution.rake
152
+ - tasks/website.rake
153
+ - tasks/svn.rake
154
+ - tasks/rcov.rake
155
+ - tasks/specs.rake
156
+ - tasks/building.howto
157
+ - specs/constraints
158
+ - specs/constraints/boolean.rb
159
+ - specs/constraints/bool_enum.rb
160
+ - specs/constraints/int_domain.rb
161
+ - specs/constraints/distinct.rb
162
+ - specs/constraints/set_domain.rb
163
+ - specs/constraints/constraint_helper.rb
164
+ - specs/constraints/selection.rb
165
+ - specs/constraints/int_relation.rb
166
+ - specs/constraints/sort.rb
167
+ - specs/constraints/count.rb
168
+ - specs/constraints/set_relation.rb
169
+ - specs/constraints/element.rb
170
+ - specs/constraints/arithmetic.rb
171
+ - specs/constraints/reification_sugar.rb
172
+ - specs/constraints/equality.rb
173
+ - specs/constraints/connection.rb
174
+ - specs/constraints/cardinality.rb
175
+ - specs/constraints/constraints.rb
176
+ - specs/constraints/channel.rb
177
+ - specs/constraints/linear.rb
178
+ - specs/constraints/set_operation.rb
179
+ - specs/branch.rb
180
+ - specs/model.rb
181
+ - specs/binding_changes.rb
182
+ - specs/int_var.rb
183
+ - specs/bool_var.rb
184
+ - specs/set_var.rb
185
+ - specs/enum_wrapper.rb
186
+ - specs/search.rb
187
+ - specs/logging.rb
188
+ - specs/enum_matrix.rb
189
+ - specs/spec_helper.rb
190
+ - specs/distribution.rb
191
+ - vendor/gecode/win32/lib/libgecodeint.dll
192
+ - vendor/gecode/win32/lib/libgecodekernel.dll
193
+ - vendor/gecode/win32/lib/libgecodeminimodel.dll
194
+ - vendor/gecode/win32/lib/libgecodesearch.dll
195
+ - vendor/gecode/win32/lib/libgecodeset.dll
196
+ - lib/gecode.dll
197
+ test_files:
198
+ - specs/constraints/boolean.rb
199
+ - specs/constraints/bool_enum.rb
200
+ - specs/constraints/int_domain.rb
201
+ - specs/constraints/distinct.rb
202
+ - specs/constraints/set_domain.rb
203
+ - specs/constraints/constraint_helper.rb
204
+ - specs/constraints/selection.rb
205
+ - specs/constraints/int_relation.rb
206
+ - specs/constraints/sort.rb
207
+ - specs/constraints/count.rb
208
+ - specs/constraints/set_relation.rb
209
+ - specs/constraints/element.rb
210
+ - specs/constraints/arithmetic.rb
211
+ - specs/constraints/reification_sugar.rb
212
+ - specs/constraints/equality.rb
213
+ - specs/constraints/connection.rb
214
+ - specs/constraints/cardinality.rb
215
+ - specs/constraints/constraints.rb
216
+ - specs/constraints/channel.rb
217
+ - specs/constraints/linear.rb
218
+ - specs/constraints/set_operation.rb
219
+ - specs/branch.rb
220
+ - specs/model.rb
221
+ - specs/binding_changes.rb
222
+ - specs/int_var.rb
223
+ - specs/bool_var.rb
224
+ - specs/set_var.rb
225
+ - specs/enum_wrapper.rb
226
+ - specs/search.rb
227
+ - specs/logging.rb
228
+ - specs/enum_matrix.rb
229
+ - specs/spec_helper.rb
230
+ - specs/distribution.rb
231
+ rdoc_options:
232
+ - --title
233
+ - Gecode/R
234
+ - --line-numbers
235
+ - --inline-source
236
+ - --accessor
237
+ - delegate
238
+ - --main
239
+ - README
240
+ extra_rdoc_files:
241
+ - README
242
+ - CHANGES
243
+ - LGPL-LICENSE
244
+ - lib/gecoder/interface/constraints/bool_enum/boolean.rb
245
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
246
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
247
+ - lib/gecoder/interface/constraints/set_enum/selection.rb
248
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
249
+ - lib/gecoder/interface/constraints/int/domain.rb
250
+ - lib/gecoder/interface/constraints/int/arithmetic.rb
251
+ - lib/gecoder/interface/constraints/int/linear.rb
252
+ - lib/gecoder/interface/constraints/bool/boolean.rb
253
+ - lib/gecoder/interface/constraints/bool/linear.rb
254
+ - lib/gecoder/interface/constraints/set/relation.rb
255
+ - lib/gecoder/interface/constraints/set/connection.rb
256
+ - lib/gecoder/interface/constraints/set/operation.rb
257
+ - lib/gecoder/interface/constraints/set/cardinality.rb
258
+ - lib/gecoder/interface/constraints/set/domain.rb
259
+ - lib/gecoder/interface/constraints/int_enum/equality.rb
260
+ - lib/gecoder/interface/constraints/int_enum/distinct.rb
261
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
262
+ - lib/gecoder/interface/constraints/int_enum/channel.rb
263
+ - lib/gecoder/interface/constraints/int_enum/count.rb
264
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
265
+ - lib/gecoder/interface/constraints/int_enum/element.rb
266
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
267
+ - lib/gecoder/interface/constraints/bool_enum_constraints.rb
268
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
269
+ - lib/gecoder/interface/constraints/int_var_constraints.rb
270
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
271
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
272
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
273
+ - lib/gecoder/interface/branch.rb
274
+ - lib/gecoder/interface/model.rb
275
+ - lib/gecoder/interface/binding_changes.rb
276
+ - lib/gecoder/interface/enum_wrapper.rb
277
+ - lib/gecoder/interface/search.rb
278
+ - lib/gecoder/interface/constraints.rb
279
+ - lib/gecoder/interface/enum_matrix.rb
280
+ - lib/gecoder/interface/variables.rb
281
+ - lib/gecoder/bindings/bindings.rb
282
+ - lib/gecoder/bindings.rb
283
+ - lib/gecoder/interface.rb
284
+ - lib/gecoder/version.rb
285
+ - lib/gecoder.rb
286
+ executables: []
287
+
288
+ extensions: []
289
+
290
+ requirements: []
291
+
292
+ dependencies: []
293
+