gecoder-with-gecode 0.7.1-mswin32

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