gecoder-with-gecode 0.9.1-x86-mswin32-60 → 1.0.0-x86-mswin32-60
Sign up to get free protection for your applications and to get access to all the features.
- data/CHANGES +5 -0
- data/COPYING +1 -1
- data/README +2 -9
- data/THANKS +2 -2
- data/example/sudoku.rb +1 -1
- data/lib/gecode.dll +0 -0
- data/lib/gecoder/version.rb +1 -1
- data/tasks/dependencies.txt +2 -1
- metadata +219 -219
data/CHANGES
CHANGED
@@ -1,3 +1,8 @@
|
|
1
|
+
== Version 1.0.0
|
2
|
+
This release represents a commitment to the current syntax.
|
3
|
+
|
4
|
+
* No changes apart from improving documentation.
|
5
|
+
|
1
6
|
== Version 0.9.1
|
2
7
|
This release changes the preferred way of defining a model to including Gecode::Mixin (a mixin) rather than inheriting from Gecode::Model. The backend has also been updated to fix some rare bugs.
|
3
8
|
|
data/COPYING
CHANGED
@@ -1,5 +1,5 @@
|
|
1
1
|
Gecode/R, a Ruby interface to Gecode.
|
2
|
-
Copyright (C) 2007 The Gecode/R development team.
|
2
|
+
Copyright (C) 2007-2008 The Gecode/R development team.
|
3
3
|
|
4
4
|
This library is free software; you can redistribute it and/or
|
5
5
|
modify it under the terms of the GNU Lesser General Public
|
data/README
CHANGED
@@ -6,14 +6,7 @@ Gecode/R is a Ruby interface to the Gecode constraint programming library.
|
|
6
6
|
Gecode/R is intended for people with no previous experience of constraint
|
7
7
|
programming, aiming to be easy to pick up and use.
|
8
8
|
|
9
|
-
See Gecode::
|
10
|
-
|
11
|
-
== Warning
|
12
|
-
|
13
|
-
Gecode/R is still in a development stage, the syntax is by no means final
|
14
|
-
and backwards compatibility will be broken time and time again. Don't use
|
15
|
-
Gecode/R in production-code yet, it's merely available at this point to allow
|
16
|
-
people to play with it and give feedback.
|
9
|
+
See Gecode::Mixin to get started.
|
17
10
|
|
18
11
|
== Installation
|
19
12
|
|
@@ -38,7 +31,7 @@ Gecode/R and Gecode:
|
|
38
31
|
=== Installing from source using gem
|
39
32
|
|
40
33
|
rake gem
|
41
|
-
gem install pkg/gecoder-
|
34
|
+
gem install pkg/gecoder-1.x.x.gem
|
42
35
|
|
43
36
|
=== Installing from source without using gem
|
44
37
|
|
data/THANKS
CHANGED
@@ -1,5 +1,5 @@
|
|
1
|
-
|
2
|
-
today.
|
1
|
+
This is a list of people who have contributed to making Gecode/R what it
|
2
|
+
is today. It is sorted in alphabetical order by last name.
|
3
3
|
|
4
4
|
* David Cuadrado - For the initial raw bindings from Gecode to Ruby.
|
5
5
|
* Eivind Eklund - For the idea that led to the syntax used to specify
|
data/example/sudoku.rb
CHANGED
@@ -19,7 +19,7 @@ sudoku = Matrix[
|
|
19
19
|
|
20
20
|
solution = Gecode.solve do
|
21
21
|
# Verify that the input is of a valid size.
|
22
|
-
|
22
|
+
n = sudoku.row_size
|
23
23
|
sub_matrix_size = Math.sqrt(n).round
|
24
24
|
unless sudoku.square? and sub_matrix_size**2 == n
|
25
25
|
raise ArgumentError, 'Incorrect value matrix size.'
|
data/lib/gecode.dll
CHANGED
Binary file
|
data/lib/gecoder/version.rb
CHANGED
data/tasks/dependencies.txt
CHANGED
@@ -3,7 +3,8 @@ Doing the full "release" task requires a number of gems:
|
|
3
3
|
# To run the Rake scripts.
|
4
4
|
rake
|
5
5
|
|
6
|
-
# To generate the website.
|
6
|
+
# To generate the website. Note that RedCloth 4.0.3 does not work so well
|
7
|
+
# with the website at the time of writing, so use 3.0.4 .
|
7
8
|
webgen
|
8
9
|
coderay
|
9
10
|
|
metadata
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: gecoder-with-gecode
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.
|
4
|
+
version: 1.0.0
|
5
5
|
platform: x86-mswin32-60
|
6
6
|
authors:
|
7
7
|
- Gecode/R Development Team
|
@@ -9,7 +9,7 @@ autorequire:
|
|
9
9
|
bindir: bin
|
10
10
|
cert_chain: []
|
11
11
|
|
12
|
-
date: 2008-
|
12
|
+
date: 2008-09-21 00:00:00 +02:00
|
13
13
|
default_executable:
|
14
14
|
dependencies: []
|
15
15
|
|
@@ -25,283 +25,283 @@ extra_rdoc_files:
|
|
25
25
|
- THANKS
|
26
26
|
- LGPL-LICENSE
|
27
27
|
- lib/gecoder.rb
|
28
|
-
- lib/gecoder/
|
29
|
-
- lib/gecoder/interface/
|
30
|
-
- lib/gecoder/interface/enum_matrix.rb
|
28
|
+
- lib/gecoder/interface/variables.rb
|
29
|
+
- lib/gecoder/interface/convenience.rb
|
31
30
|
- lib/gecoder/interface/search.rb
|
32
31
|
- lib/gecoder/interface/constraints.rb
|
33
|
-
- lib/gecoder/interface/
|
34
|
-
- lib/gecoder/interface/variables.rb
|
35
|
-
- lib/gecoder/interface/mixin.rb
|
32
|
+
- lib/gecoder/interface/branch.rb
|
36
33
|
- lib/gecoder/interface/enum_wrapper.rb
|
37
|
-
- lib/gecoder/interface/constraints/set_var_constraints.rb
|
38
34
|
- lib/gecoder/interface/constraints/extensional_regexp.rb
|
35
|
+
- lib/gecoder/interface/constraints/bool_enum_constraints.rb
|
39
36
|
- lib/gecoder/interface/constraints/selected_set_constraints.rb
|
40
|
-
- lib/gecoder/interface/constraints/
|
41
|
-
- lib/gecoder/interface/constraints/
|
37
|
+
- lib/gecoder/interface/constraints/fixnum_enum/element.rb
|
38
|
+
- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
|
39
|
+
- lib/gecoder/interface/constraints/bool/linear.rb
|
40
|
+
- lib/gecoder/interface/constraints/bool/channel.rb
|
41
|
+
- lib/gecoder/interface/constraints/bool/boolean.rb
|
42
|
+
- lib/gecoder/interface/constraints/set/connection.rb
|
42
43
|
- lib/gecoder/interface/constraints/set/cardinality.rb
|
43
|
-
- lib/gecoder/interface/constraints/set/
|
44
|
+
- lib/gecoder/interface/constraints/set/relation.rb
|
44
45
|
- lib/gecoder/interface/constraints/set/operation.rb
|
45
|
-
- lib/gecoder/interface/constraints/set/
|
46
|
+
- lib/gecoder/interface/constraints/set/include.rb
|
47
|
+
- lib/gecoder/interface/constraints/set/channel.rb
|
46
48
|
- lib/gecoder/interface/constraints/set/domain.rb
|
47
|
-
- lib/gecoder/interface/constraints/
|
48
|
-
- lib/gecoder/interface/constraints/
|
49
|
+
- lib/gecoder/interface/constraints/bool_var_constraints.rb
|
50
|
+
- lib/gecoder/interface/constraints/set_enum_constraints.rb
|
51
|
+
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
52
|
+
- lib/gecoder/interface/constraints/set_enum/element.rb
|
53
|
+
- lib/gecoder/interface/constraints/set_enum/operation.rb
|
54
|
+
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
49
55
|
- lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
|
50
|
-
- lib/gecoder/interface/constraints/
|
56
|
+
- lib/gecoder/interface/constraints/set_var_constraints.rb
|
57
|
+
- lib/gecoder/interface/constraints/set_elements_constraints.rb
|
58
|
+
- lib/gecoder/interface/constraints/int_var_constraints.rb
|
59
|
+
- lib/gecoder/interface/constraints/int_enum_constraints.rb
|
51
60
|
- lib/gecoder/interface/constraints/int/arithmetic.rb
|
52
61
|
- lib/gecoder/interface/constraints/int/linear.rb
|
53
|
-
- lib/gecoder/interface/constraints/int/domain.rb
|
54
62
|
- lib/gecoder/interface/constraints/int/relation.rb
|
55
|
-
- lib/gecoder/interface/constraints/
|
56
|
-
- lib/gecoder/interface/constraints/
|
57
|
-
- lib/gecoder/interface/constraints/
|
58
|
-
- lib/gecoder/interface/constraints/bool/linear.rb
|
59
|
-
- lib/gecoder/interface/constraints/int_enum/channel.rb
|
63
|
+
- lib/gecoder/interface/constraints/int/channel.rb
|
64
|
+
- lib/gecoder/interface/constraints/int/domain.rb
|
65
|
+
- lib/gecoder/interface/constraints/selected_set/select.rb
|
60
66
|
- lib/gecoder/interface/constraints/int_enum/distinct.rb
|
67
|
+
- lib/gecoder/interface/constraints/int_enum/extensional.rb
|
61
68
|
- lib/gecoder/interface/constraints/int_enum/element.rb
|
69
|
+
- lib/gecoder/interface/constraints/int_enum/sort.rb
|
62
70
|
- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
|
63
71
|
- lib/gecoder/interface/constraints/int_enum/count.rb
|
64
|
-
- lib/gecoder/interface/constraints/int_enum/
|
72
|
+
- lib/gecoder/interface/constraints/int_enum/channel.rb
|
65
73
|
- lib/gecoder/interface/constraints/int_enum/equality.rb
|
66
|
-
- lib/gecoder/interface/constraints/
|
67
|
-
- lib/gecoder/interface/constraints/
|
68
|
-
- lib/gecoder/interface/constraints/bool_var_constraints.rb
|
69
|
-
- lib/gecoder/interface/constraints/bool_enum_constraints.rb
|
70
|
-
- lib/gecoder/interface/constraints/selected_set/select.rb
|
71
|
-
- lib/gecoder/interface/constraints/fixnum_enum/element.rb
|
72
|
-
- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
|
73
|
-
- lib/gecoder/interface/constraints/bool_enum/channel.rb
|
74
|
+
- lib/gecoder/interface/constraints/reifiable_constraints.rb
|
75
|
+
- lib/gecoder/interface/constraints/set_elements/relation.rb
|
74
76
|
- lib/gecoder/interface/constraints/bool_enum/extensional.rb
|
75
77
|
- lib/gecoder/interface/constraints/bool_enum/relation.rb
|
76
|
-
- lib/gecoder/interface/constraints/
|
77
|
-
- lib/gecoder/interface/constraints/reifiable_constraints.rb
|
78
|
-
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
79
|
-
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
80
|
-
- lib/gecoder/interface/constraints/set_enum/element.rb
|
81
|
-
- lib/gecoder/interface/constraints/set_enum/operation.rb
|
78
|
+
- lib/gecoder/interface/constraints/bool_enum/channel.rb
|
82
79
|
- lib/gecoder/interface/binding_changes.rb
|
80
|
+
- lib/gecoder/interface/mixin.rb
|
81
|
+
- lib/gecoder/interface/enum_matrix.rb
|
83
82
|
- lib/gecoder/version.rb
|
84
83
|
- lib/gecoder/interface.rb
|
84
|
+
- lib/gecoder/bindings.rb
|
85
85
|
- lib/gecoder/bindings/bindings.rb
|
86
86
|
files:
|
87
87
|
- README
|
88
|
-
-
|
89
|
-
- THANKS
|
88
|
+
- Rakefile
|
90
89
|
- CHANGES
|
91
90
|
- COPYING
|
92
|
-
-
|
91
|
+
- THANKS
|
92
|
+
- LGPL-LICENSE
|
93
93
|
- lib/gecoder.rb
|
94
|
-
- lib/gecoder/
|
95
|
-
- lib/gecoder/interface/
|
96
|
-
- lib/gecoder/interface/enum_matrix.rb
|
94
|
+
- lib/gecoder/interface/variables.rb
|
95
|
+
- lib/gecoder/interface/convenience.rb
|
97
96
|
- lib/gecoder/interface/search.rb
|
98
97
|
- lib/gecoder/interface/constraints.rb
|
99
|
-
- lib/gecoder/interface/
|
100
|
-
- lib/gecoder/interface/variables.rb
|
101
|
-
- lib/gecoder/interface/mixin.rb
|
98
|
+
- lib/gecoder/interface/branch.rb
|
102
99
|
- lib/gecoder/interface/enum_wrapper.rb
|
103
|
-
- lib/gecoder/interface/constraints/set_var_constraints.rb
|
104
100
|
- lib/gecoder/interface/constraints/extensional_regexp.rb
|
101
|
+
- lib/gecoder/interface/constraints/bool_enum_constraints.rb
|
105
102
|
- lib/gecoder/interface/constraints/selected_set_constraints.rb
|
106
|
-
- lib/gecoder/interface/constraints/
|
107
|
-
- lib/gecoder/interface/constraints/
|
103
|
+
- lib/gecoder/interface/constraints/fixnum_enum/element.rb
|
104
|
+
- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
|
105
|
+
- lib/gecoder/interface/constraints/bool/linear.rb
|
106
|
+
- lib/gecoder/interface/constraints/bool/channel.rb
|
107
|
+
- lib/gecoder/interface/constraints/bool/boolean.rb
|
108
|
+
- lib/gecoder/interface/constraints/set/connection.rb
|
108
109
|
- lib/gecoder/interface/constraints/set/cardinality.rb
|
109
|
-
- lib/gecoder/interface/constraints/set/
|
110
|
+
- lib/gecoder/interface/constraints/set/relation.rb
|
110
111
|
- lib/gecoder/interface/constraints/set/operation.rb
|
111
|
-
- lib/gecoder/interface/constraints/set/
|
112
|
+
- lib/gecoder/interface/constraints/set/include.rb
|
113
|
+
- lib/gecoder/interface/constraints/set/channel.rb
|
112
114
|
- lib/gecoder/interface/constraints/set/domain.rb
|
113
|
-
- lib/gecoder/interface/constraints/
|
114
|
-
- lib/gecoder/interface/constraints/
|
115
|
+
- lib/gecoder/interface/constraints/bool_var_constraints.rb
|
116
|
+
- lib/gecoder/interface/constraints/set_enum_constraints.rb
|
117
|
+
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
118
|
+
- lib/gecoder/interface/constraints/set_enum/element.rb
|
119
|
+
- lib/gecoder/interface/constraints/set_enum/operation.rb
|
120
|
+
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
115
121
|
- lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
|
116
|
-
- lib/gecoder/interface/constraints/
|
122
|
+
- lib/gecoder/interface/constraints/set_var_constraints.rb
|
123
|
+
- lib/gecoder/interface/constraints/set_elements_constraints.rb
|
124
|
+
- lib/gecoder/interface/constraints/int_var_constraints.rb
|
125
|
+
- lib/gecoder/interface/constraints/int_enum_constraints.rb
|
117
126
|
- lib/gecoder/interface/constraints/int/arithmetic.rb
|
118
127
|
- lib/gecoder/interface/constraints/int/linear.rb
|
119
|
-
- lib/gecoder/interface/constraints/int/domain.rb
|
120
128
|
- lib/gecoder/interface/constraints/int/relation.rb
|
121
|
-
- lib/gecoder/interface/constraints/
|
122
|
-
- lib/gecoder/interface/constraints/
|
123
|
-
- lib/gecoder/interface/constraints/
|
124
|
-
- lib/gecoder/interface/constraints/bool/linear.rb
|
125
|
-
- lib/gecoder/interface/constraints/int_enum/channel.rb
|
129
|
+
- lib/gecoder/interface/constraints/int/channel.rb
|
130
|
+
- lib/gecoder/interface/constraints/int/domain.rb
|
131
|
+
- lib/gecoder/interface/constraints/selected_set/select.rb
|
126
132
|
- lib/gecoder/interface/constraints/int_enum/distinct.rb
|
133
|
+
- lib/gecoder/interface/constraints/int_enum/extensional.rb
|
127
134
|
- lib/gecoder/interface/constraints/int_enum/element.rb
|
135
|
+
- lib/gecoder/interface/constraints/int_enum/sort.rb
|
128
136
|
- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
|
129
137
|
- lib/gecoder/interface/constraints/int_enum/count.rb
|
130
|
-
- lib/gecoder/interface/constraints/int_enum/
|
138
|
+
- lib/gecoder/interface/constraints/int_enum/channel.rb
|
131
139
|
- lib/gecoder/interface/constraints/int_enum/equality.rb
|
132
|
-
- lib/gecoder/interface/constraints/
|
133
|
-
- lib/gecoder/interface/constraints/
|
134
|
-
- lib/gecoder/interface/constraints/bool_var_constraints.rb
|
135
|
-
- lib/gecoder/interface/constraints/bool_enum_constraints.rb
|
136
|
-
- lib/gecoder/interface/constraints/selected_set/select.rb
|
137
|
-
- lib/gecoder/interface/constraints/fixnum_enum/element.rb
|
138
|
-
- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
|
139
|
-
- lib/gecoder/interface/constraints/bool_enum/channel.rb
|
140
|
+
- lib/gecoder/interface/constraints/reifiable_constraints.rb
|
141
|
+
- lib/gecoder/interface/constraints/set_elements/relation.rb
|
140
142
|
- lib/gecoder/interface/constraints/bool_enum/extensional.rb
|
141
143
|
- lib/gecoder/interface/constraints/bool_enum/relation.rb
|
142
|
-
- lib/gecoder/interface/constraints/
|
143
|
-
- lib/gecoder/interface/constraints/reifiable_constraints.rb
|
144
|
-
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
145
|
-
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
146
|
-
- lib/gecoder/interface/constraints/set_enum/element.rb
|
147
|
-
- lib/gecoder/interface/constraints/set_enum/operation.rb
|
144
|
+
- lib/gecoder/interface/constraints/bool_enum/channel.rb
|
148
145
|
- lib/gecoder/interface/binding_changes.rb
|
146
|
+
- lib/gecoder/interface/mixin.rb
|
147
|
+
- lib/gecoder/interface/enum_matrix.rb
|
149
148
|
- lib/gecoder/version.rb
|
150
149
|
- lib/gecoder/interface.rb
|
150
|
+
- lib/gecoder/bindings.rb
|
151
151
|
- lib/gecoder/bindings/bindings.rb
|
152
152
|
- example/queens.rb
|
153
|
-
- example/equation_system.rb
|
154
153
|
- example/send_most_money.rb
|
155
154
|
- example/magic_sequence.rb
|
155
|
+
- example/equation_system.rb
|
156
156
|
- example/send_more_money.rb
|
157
|
-
- example/sudoku-set.rb
|
158
|
-
- example/sudoku.rb
|
159
157
|
- example/square_tiling.rb
|
160
158
|
- example/example_helper.rb
|
161
|
-
-
|
162
|
-
-
|
159
|
+
- example/sudoku-set.rb
|
160
|
+
- example/sudoku.rb
|
163
161
|
- vendor/rust/README
|
162
|
+
- vendor/rust/rust.rb
|
163
|
+
- vendor/rust/test
|
164
|
+
- vendor/rust/test/operators.cc
|
165
|
+
- vendor/rust/test/cwrapper.c
|
166
|
+
- vendor/rust/test/cppclass.cc
|
167
|
+
- vendor/rust/test/test-cppclass.rb
|
168
|
+
- vendor/rust/test/cppclass.hh
|
169
|
+
- vendor/rust/test/test-cwrapper.rb
|
170
|
+
- vendor/rust/test/test-constants.rb
|
171
|
+
- vendor/rust/test/operators.rb
|
172
|
+
- vendor/rust/test/cwrapper.h
|
173
|
+
- vendor/rust/test/cppclass.rb
|
174
|
+
- vendor/rust/test/dummyclass.hh
|
175
|
+
- vendor/rust/test/constants.rb
|
176
|
+
- vendor/rust/test/cwrapper.rb
|
177
|
+
- vendor/rust/test/Makefile
|
178
|
+
- vendor/rust/test/operators.hh
|
179
|
+
- vendor/rust/test/lib
|
180
|
+
- vendor/rust/test/lib/extension-test.rb
|
181
|
+
- vendor/rust/test/test-operators.rb
|
164
182
|
- vendor/rust/rust
|
165
|
-
- vendor/rust/rust/
|
166
|
-
- vendor/rust/rust/bindings.rb
|
167
|
-
- vendor/rust/rust/element.rb
|
183
|
+
- vendor/rust/rust/enum.rb
|
168
184
|
- vendor/rust/rust/cxxclass.rb
|
169
|
-
- vendor/rust/rust/
|
170
|
-
- vendor/rust/rust/
|
185
|
+
- vendor/rust/rust/function.rb
|
186
|
+
- vendor/rust/rust/element.rb
|
187
|
+
- vendor/rust/rust/attribute.rb
|
171
188
|
- vendor/rust/rust/container.rb
|
189
|
+
- vendor/rust/rust/cppifaceparser.rb
|
190
|
+
- vendor/rust/rust/constants.rb
|
191
|
+
- vendor/rust/rust/namespace.rb
|
192
|
+
- vendor/rust/rust/class.rb
|
193
|
+
- vendor/rust/rust/bindings.rb
|
194
|
+
- vendor/rust/rust/type.rb
|
195
|
+
- vendor/rust/rust/cwrapper.rb
|
172
196
|
- vendor/rust/rust/templates
|
173
|
-
- vendor/rust/rust/templates/
|
174
|
-
- vendor/rust/rust/templates/EnumDeclarations.rusttpl
|
175
|
-
- vendor/rust/rust/templates/BindingsUnit.rusttpl
|
176
|
-
- vendor/rust/rust/templates/ConstructorStub.rusttpl
|
177
|
-
- vendor/rust/rust/templates/EnumDefinitions.rusttpl
|
178
|
-
- vendor/rust/rust/templates/FunctionInitBinding.rusttpl
|
179
|
-
- vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
|
180
|
-
- vendor/rust/rust/templates/FunctionInitAlias.rusttpl
|
197
|
+
- vendor/rust/rust/templates/FunctionDefinition.rusttpl
|
181
198
|
- vendor/rust/rust/templates/ClassInitialize.rusttpl
|
182
|
-
- vendor/rust/rust/templates/ClassDeclarations.rusttpl
|
183
199
|
- vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
|
184
|
-
- vendor/rust/rust/templates/
|
185
|
-
- vendor/rust/rust/templates/
|
186
|
-
- vendor/rust/rust/templates/
|
200
|
+
- vendor/rust/rust/templates/BindingsHeader.rusttpl
|
201
|
+
- vendor/rust/rust/templates/FunctionInitAlias.rusttpl
|
202
|
+
- vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
|
187
203
|
- vendor/rust/rust/templates/VariableFunctionCall.rusttpl
|
204
|
+
- vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
|
205
|
+
- vendor/rust/rust/templates/BindingsUnit.rusttpl
|
206
|
+
- vendor/rust/rust/templates/EnumDeclarations.rusttpl
|
207
|
+
- vendor/rust/rust/templates/MethodInitBinding.rusttpl
|
208
|
+
- vendor/rust/rust/templates/FunctionInitBinding.rusttpl
|
188
209
|
- vendor/rust/rust/templates/AttributeInitBinding.rusttpl
|
189
|
-
- vendor/rust/rust/templates/BindingsHeader.rusttpl
|
190
210
|
- vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
|
191
|
-
- vendor/rust/rust/templates/
|
211
|
+
- vendor/rust/rust/templates/CxxMethodStub.rusttpl
|
212
|
+
- vendor/rust/rust/templates/ConstructorStub.rusttpl
|
213
|
+
- vendor/rust/rust/templates/ModuleDeclarations.rusttpl
|
214
|
+
- vendor/rust/rust/templates/ClassDeclarations.rusttpl
|
215
|
+
- vendor/rust/rust/templates/ModuleDefinitions.rusttpl
|
216
|
+
- vendor/rust/rust/templates/EnumDefinitions.rusttpl
|
192
217
|
- vendor/rust/rust/templates/AttributeDefinition.rusttpl
|
193
|
-
- vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
|
194
|
-
- vendor/rust/rust/cppifaceparser.rb
|
195
|
-
- vendor/rust/rust/constants.rb
|
196
|
-
- vendor/rust/rust/attribute.rb
|
197
|
-
- vendor/rust/rust/namespace.rb
|
198
|
-
- vendor/rust/rust/enum.rb
|
199
|
-
- vendor/rust/rust/function.rb
|
200
|
-
- vendor/rust/test
|
201
|
-
- vendor/rust/test/cppclass.rb
|
202
|
-
- vendor/rust/test/cwrapper.h
|
203
|
-
- vendor/rust/test/test-constants.rb
|
204
|
-
- vendor/rust/test/cwrapper.rb
|
205
|
-
- vendor/rust/test/operators.hh
|
206
|
-
- vendor/rust/test/cppclass.cc
|
207
|
-
- vendor/rust/test/Makefile
|
208
|
-
- vendor/rust/test/test-cppclass.rb
|
209
|
-
- vendor/rust/test/operators.rb
|
210
|
-
- vendor/rust/test/cppclass.hh
|
211
|
-
- vendor/rust/test/dummyclass.hh
|
212
|
-
- vendor/rust/test/operators.cc
|
213
|
-
- vendor/rust/test/constants.rb
|
214
|
-
- vendor/rust/test/test-cwrapper.rb
|
215
|
-
- vendor/rust/test/cwrapper.c
|
216
|
-
- vendor/rust/test/lib
|
217
|
-
- vendor/rust/test/lib/extension-test.rb
|
218
|
-
- vendor/rust/test/test-operators.rb
|
219
218
|
- vendor/rust/include
|
220
219
|
- vendor/rust/include/rust_checks.hh
|
221
220
|
- vendor/rust/include/rust_conversions.hh
|
222
|
-
- vendor/rust/
|
223
|
-
-
|
224
|
-
- tasks/specs.rake
|
221
|
+
- vendor/rust/bin
|
222
|
+
- vendor/rust/bin/cxxgenerator.rb
|
225
223
|
- tasks/svn.rake
|
224
|
+
- tasks/specs.rake
|
226
225
|
- tasks/rcov.rake
|
227
|
-
- tasks/
|
228
|
-
- tasks/dependencies.txt
|
226
|
+
- tasks/website.rake
|
229
227
|
- tasks/distribution.rake
|
230
|
-
-
|
231
|
-
-
|
232
|
-
- specs/
|
233
|
-
- specs/
|
228
|
+
- tasks/dependencies.txt
|
229
|
+
- tasks/all_tasks.rb
|
230
|
+
- specs/examples.rb
|
231
|
+
- specs/model.rb
|
232
|
+
- specs/int_var.rb
|
234
233
|
- specs/search.rb
|
235
|
-
- specs/
|
234
|
+
- specs/model_sugar.rb
|
236
235
|
- specs/set_elements.rb
|
237
|
-
- specs/
|
236
|
+
- specs/set_var.rb
|
238
237
|
- specs/spec_helper.rb
|
239
|
-
- specs/
|
240
|
-
- specs/
|
238
|
+
- specs/branch.rb
|
239
|
+
- specs/logging.rb
|
240
|
+
- specs/distribution.rb
|
241
241
|
- specs/enum_wrapper.rb
|
242
|
-
- specs/model.rb
|
243
|
-
- specs/set_var.rb
|
244
|
-
- specs/selected_set.rb
|
245
242
|
- specs/constraints
|
243
|
+
- specs/constraints/fixnum_enum
|
244
|
+
- specs/constraints/fixnum_enum/element.rb
|
245
|
+
- specs/constraints/fixnum_enum/operation.rb
|
246
246
|
- specs/constraints/property_helper.rb
|
247
|
+
- specs/constraints/operands.rb
|
248
|
+
- specs/constraints/reification_sugar.rb
|
249
|
+
- specs/constraints/bool
|
250
|
+
- specs/constraints/bool/linear.rb
|
251
|
+
- specs/constraints/bool/boolean_properties.rb
|
252
|
+
- specs/constraints/bool/boolean.rb
|
253
|
+
- specs/constraints/constraints.rb
|
247
254
|
- specs/constraints/set
|
248
|
-
- specs/constraints/set/
|
249
|
-
- specs/constraints/set/cardinality_properties.rb
|
255
|
+
- specs/constraints/set/connection.rb
|
250
256
|
- specs/constraints/set/cardinality.rb
|
251
|
-
- specs/constraints/set/
|
257
|
+
- specs/constraints/set/cardinality_properties.rb
|
258
|
+
- specs/constraints/set/relation.rb
|
252
259
|
- specs/constraints/set/operation.rb
|
253
|
-
- specs/constraints/set/
|
260
|
+
- specs/constraints/set/include.rb
|
261
|
+
- specs/constraints/set/channel.rb
|
254
262
|
- specs/constraints/set/domain.rb
|
255
|
-
- specs/constraints/
|
256
|
-
- specs/constraints/
|
257
|
-
- specs/constraints/
|
263
|
+
- specs/constraints/set_enum
|
264
|
+
- specs/constraints/set_enum/distinct.rb
|
265
|
+
- specs/constraints/set_enum/element.rb
|
266
|
+
- specs/constraints/set_enum/operation.rb
|
267
|
+
- specs/constraints/set_enum/channel.rb
|
258
268
|
- specs/constraints/int
|
259
|
-
- specs/constraints/int/channel.rb
|
260
269
|
- specs/constraints/int/arithmetic.rb
|
261
|
-
- specs/constraints/int/linear_properties.rb
|
262
270
|
- specs/constraints/int/linear.rb
|
263
|
-
- specs/constraints/int/domain.rb
|
264
271
|
- specs/constraints/int/relation.rb
|
265
|
-
- specs/constraints/
|
266
|
-
- specs/constraints/
|
267
|
-
- specs/constraints/
|
268
|
-
- specs/constraints/
|
269
|
-
- specs/constraints/
|
272
|
+
- specs/constraints/int/channel.rb
|
273
|
+
- specs/constraints/int/domain.rb
|
274
|
+
- specs/constraints/int/linear_properties.rb
|
275
|
+
- specs/constraints/constraint_receivers.rb
|
276
|
+
- specs/constraints/selected_set
|
277
|
+
- specs/constraints/selected_set/select.rb
|
278
|
+
- specs/constraints/selected_set/select_properties.rb
|
279
|
+
- specs/constraints/constraint_helper.rb
|
270
280
|
- specs/constraints/int_enum
|
271
|
-
- specs/constraints/int_enum/channel.rb
|
272
281
|
- specs/constraints/int_enum/distinct.rb
|
282
|
+
- specs/constraints/int_enum/extensional.rb
|
273
283
|
- specs/constraints/int_enum/element.rb
|
284
|
+
- specs/constraints/int_enum/sort.rb
|
274
285
|
- specs/constraints/int_enum/arithmetic.rb
|
275
286
|
- specs/constraints/int_enum/count.rb
|
276
|
-
- specs/constraints/int_enum/
|
287
|
+
- specs/constraints/int_enum/channel.rb
|
277
288
|
- specs/constraints/int_enum/equality.rb
|
278
|
-
- specs/constraints/
|
279
|
-
- specs/constraints/
|
280
|
-
- specs/constraints/reification_sugar.rb
|
281
|
-
- specs/constraints/selected_set
|
282
|
-
- specs/constraints/selected_set/select.rb
|
283
|
-
- specs/constraints/selected_set/select_properties.rb
|
284
|
-
- specs/constraints/constraint_receivers.rb
|
285
|
-
- specs/constraints/fixnum_enum
|
286
|
-
- specs/constraints/fixnum_enum/element.rb
|
287
|
-
- specs/constraints/fixnum_enum/operation.rb
|
289
|
+
- specs/constraints/set_elements
|
290
|
+
- specs/constraints/set_elements/relation.rb
|
288
291
|
- specs/constraints/bool_enum
|
292
|
+
- specs/constraints/bool_enum/extensional.rb
|
289
293
|
- specs/constraints/bool_enum/channel.rb
|
290
294
|
- specs/constraints/bool_enum/bool_enum_relation.rb
|
291
|
-
- specs/
|
292
|
-
- specs/
|
293
|
-
- specs/
|
294
|
-
- specs/
|
295
|
-
- specs/constraints/set_enum/distinct.rb
|
296
|
-
- specs/constraints/set_enum/element.rb
|
297
|
-
- specs/constraints/set_enum/operation.rb
|
298
|
-
- specs/examples.rb
|
299
|
-
- vendor/gecode/win32/lib/libWindowsgecodesetWindows.dll
|
295
|
+
- specs/bool_var.rb
|
296
|
+
- specs/selected_set.rb
|
297
|
+
- specs/mixin.rb
|
298
|
+
- specs/enum_matrix.rb
|
300
299
|
- vendor/gecode/win32/lib/libWindowsgecodekernelWindows.dll
|
300
|
+
- vendor/gecode/win32/lib/libWindowsgecodesetWindows.dll
|
301
301
|
- vendor/gecode/win32/lib/libWindowsgecodesupportWindows.dll
|
302
|
+
- vendor/gecode/win32/lib/libWindowsgecodeintWindows.dll
|
302
303
|
- vendor/gecode/win32/lib/libWindowsgecodeminimodelWindows.dll
|
303
304
|
- vendor/gecode/win32/lib/libWindowsgecodesearchWindows.dll
|
304
|
-
- vendor/gecode/win32/lib/libWindowsgecodeintWindows.dll
|
305
305
|
- lib/gecode.dll
|
306
306
|
has_rdoc: true
|
307
307
|
homepage: http://gecoder.rubyforge.org
|
@@ -335,62 +335,62 @@ signing_key:
|
|
335
335
|
specification_version: 2
|
336
336
|
summary: Ruby interface to Gecode, an environment for constraint programming.
|
337
337
|
test_files:
|
338
|
-
- specs/
|
339
|
-
- specs/
|
340
|
-
- specs/
|
341
|
-
- specs/model_sugar.rb
|
338
|
+
- specs/examples.rb
|
339
|
+
- specs/model.rb
|
340
|
+
- specs/int_var.rb
|
342
341
|
- specs/search.rb
|
343
|
-
- specs/
|
342
|
+
- specs/model_sugar.rb
|
344
343
|
- specs/set_elements.rb
|
345
|
-
- specs/
|
344
|
+
- specs/set_var.rb
|
346
345
|
- specs/spec_helper.rb
|
347
|
-
- specs/
|
348
|
-
- specs/
|
346
|
+
- specs/branch.rb
|
347
|
+
- specs/logging.rb
|
348
|
+
- specs/distribution.rb
|
349
349
|
- specs/enum_wrapper.rb
|
350
|
-
- specs/
|
351
|
-
- specs/
|
352
|
-
- specs/selected_set.rb
|
350
|
+
- specs/constraints/fixnum_enum/element.rb
|
351
|
+
- specs/constraints/fixnum_enum/operation.rb
|
353
352
|
- specs/constraints/property_helper.rb
|
354
|
-
- specs/constraints/
|
355
|
-
- specs/constraints/
|
353
|
+
- specs/constraints/operands.rb
|
354
|
+
- specs/constraints/reification_sugar.rb
|
355
|
+
- specs/constraints/bool/linear.rb
|
356
|
+
- specs/constraints/bool/boolean_properties.rb
|
357
|
+
- specs/constraints/bool/boolean.rb
|
358
|
+
- specs/constraints/constraints.rb
|
359
|
+
- specs/constraints/set/connection.rb
|
356
360
|
- specs/constraints/set/cardinality.rb
|
357
|
-
- specs/constraints/set/
|
361
|
+
- specs/constraints/set/cardinality_properties.rb
|
362
|
+
- specs/constraints/set/relation.rb
|
358
363
|
- specs/constraints/set/operation.rb
|
359
|
-
- specs/constraints/set/
|
364
|
+
- specs/constraints/set/include.rb
|
365
|
+
- specs/constraints/set/channel.rb
|
360
366
|
- specs/constraints/set/domain.rb
|
361
|
-
- specs/constraints/
|
362
|
-
- specs/constraints/
|
363
|
-
- specs/constraints/
|
367
|
+
- specs/constraints/set_enum/distinct.rb
|
368
|
+
- specs/constraints/set_enum/element.rb
|
369
|
+
- specs/constraints/set_enum/operation.rb
|
370
|
+
- specs/constraints/set_enum/channel.rb
|
364
371
|
- specs/constraints/int/arithmetic.rb
|
365
|
-
- specs/constraints/int/linear_properties.rb
|
366
372
|
- specs/constraints/int/linear.rb
|
367
|
-
- specs/constraints/int/domain.rb
|
368
373
|
- specs/constraints/int/relation.rb
|
369
|
-
- specs/constraints/
|
370
|
-
- specs/constraints/
|
371
|
-
- specs/constraints/
|
372
|
-
- specs/constraints/
|
373
|
-
- specs/constraints/
|
374
|
+
- specs/constraints/int/channel.rb
|
375
|
+
- specs/constraints/int/domain.rb
|
376
|
+
- specs/constraints/int/linear_properties.rb
|
377
|
+
- specs/constraints/constraint_receivers.rb
|
378
|
+
- specs/constraints/selected_set/select.rb
|
379
|
+
- specs/constraints/selected_set/select_properties.rb
|
380
|
+
- specs/constraints/constraint_helper.rb
|
374
381
|
- specs/constraints/int_enum/distinct.rb
|
382
|
+
- specs/constraints/int_enum/extensional.rb
|
375
383
|
- specs/constraints/int_enum/element.rb
|
384
|
+
- specs/constraints/int_enum/sort.rb
|
376
385
|
- specs/constraints/int_enum/arithmetic.rb
|
377
386
|
- specs/constraints/int_enum/count.rb
|
378
|
-
- specs/constraints/int_enum/
|
387
|
+
- specs/constraints/int_enum/channel.rb
|
379
388
|
- specs/constraints/int_enum/equality.rb
|
380
|
-
- specs/constraints/
|
381
|
-
- specs/constraints/
|
382
|
-
- specs/constraints/reification_sugar.rb
|
383
|
-
- specs/constraints/selected_set/select.rb
|
384
|
-
- specs/constraints/selected_set/select_properties.rb
|
385
|
-
- specs/constraints/constraint_receivers.rb
|
386
|
-
- specs/constraints/fixnum_enum/element.rb
|
387
|
-
- specs/constraints/fixnum_enum/operation.rb
|
389
|
+
- specs/constraints/set_elements/relation.rb
|
390
|
+
- specs/constraints/bool_enum/extensional.rb
|
388
391
|
- specs/constraints/bool_enum/channel.rb
|
389
392
|
- specs/constraints/bool_enum/bool_enum_relation.rb
|
390
|
-
- specs/
|
391
|
-
- specs/
|
392
|
-
- specs/
|
393
|
-
- specs/
|
394
|
-
- specs/constraints/set_enum/element.rb
|
395
|
-
- specs/constraints/set_enum/operation.rb
|
396
|
-
- specs/examples.rb
|
393
|
+
- specs/bool_var.rb
|
394
|
+
- specs/selected_set.rb
|
395
|
+
- specs/mixin.rb
|
396
|
+
- specs/enum_matrix.rb
|