gecoder 1.1.0 → 1.1.1
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.
- data/CHANGES +5 -0
- data/Gemfile +18 -0
- data/Gemfile.lock +30 -0
- data/README.md +58 -0
- data/Rakefile +4 -4
- data/lib/gecoder/version.rb +1 -1
- data/tasks/dependencies.txt +1 -21
- data/tasks/distribution.rake +13 -78
- data/tasks/rcov.rake +0 -2
- data/tasks/specs.rake +0 -2
- data/tasks/website.rake +0 -16
- metadata +242 -240
- data/README +0 -51
- data/tasks/svn.rake +0 -16
data/CHANGES
CHANGED
@@ -1,3 +1,8 @@
|
|
1
|
+
== Version 1.1.1
|
2
|
+
This release fixes a compilation error with newer versions of GCC.
|
3
|
+
|
4
|
+
* Fixed a compilation error when installing gecoder-with-gecode using GCC 4.7+ .
|
5
|
+
|
1
6
|
== Version 1.1.0
|
2
7
|
This release fixes a compilation error when installing the gecoder-with-gecode gem using GCC 4.4+ .
|
3
8
|
|
data/Gemfile
ADDED
@@ -0,0 +1,18 @@
|
|
1
|
+
source 'https://rubygems.org'
|
2
|
+
|
3
|
+
group :development do
|
4
|
+
gem 'rake'
|
5
|
+
end
|
6
|
+
|
7
|
+
group :test do
|
8
|
+
gem 'rspec', '1.1.4'
|
9
|
+
end
|
10
|
+
|
11
|
+
group :website do
|
12
|
+
gem 'rdoc'
|
13
|
+
gem 'rdoc-data'
|
14
|
+
gem 'rcov'
|
15
|
+
gem 'coderay', '0.9.1'
|
16
|
+
gem 'webgen', '0.4.7'
|
17
|
+
gem 'RedCloth', '3.0.4'
|
18
|
+
end
|
data/Gemfile.lock
ADDED
@@ -0,0 +1,30 @@
|
|
1
|
+
GEM
|
2
|
+
remote: https://rubygems.org/
|
3
|
+
specs:
|
4
|
+
RedCloth (3.0.4)
|
5
|
+
cmdparse (2.0.6)
|
6
|
+
coderay (0.9.1)
|
7
|
+
json (1.8.1)
|
8
|
+
rake (10.4.2)
|
9
|
+
rcov (1.0.0)
|
10
|
+
rdoc (4.2.0)
|
11
|
+
json (~> 1.4)
|
12
|
+
rdoc-data (4.0.1)
|
13
|
+
rdoc (~> 4.0)
|
14
|
+
rspec (1.1.4)
|
15
|
+
webgen (0.4.7)
|
16
|
+
RedCloth (>= 3.0.0)
|
17
|
+
cmdparse (~> 2.0.0)
|
18
|
+
|
19
|
+
PLATFORMS
|
20
|
+
ruby
|
21
|
+
|
22
|
+
DEPENDENCIES
|
23
|
+
RedCloth (= 3.0.4)
|
24
|
+
coderay (= 0.9.1)
|
25
|
+
rake
|
26
|
+
rcov
|
27
|
+
rdoc
|
28
|
+
rdoc-data
|
29
|
+
rspec (= 1.1.4)
|
30
|
+
webgen (= 0.4.7)
|
data/README.md
ADDED
@@ -0,0 +1,58 @@
|
|
1
|
+
Gecode/R
|
2
|
+
========
|
3
|
+
|
4
|
+
_**Warning - this is old stuff:** Gecode/R has been quite inactive since 2008.
|
5
|
+
Most of the code is old and depends on old versions of e.g. Ruby and Gecode._
|
6
|
+
|
7
|
+
Website: http://gecoder.org
|
8
|
+
|
9
|
+
Gecode/R is a Ruby interface to the Gecode constraint programming library.
|
10
|
+
Gecode/R is intended for people with no previous experience of constraint
|
11
|
+
programming, aiming to be easy to pick up and use.
|
12
|
+
|
13
|
+
See `Gecode::Mixin` to get started.
|
14
|
+
|
15
|
+
Installation
|
16
|
+
------------
|
17
|
+
|
18
|
+
Gecode/R requires Gecode 2.2.0, which can be downloaded from
|
19
|
+
http://www.gecode.org/download.html . See
|
20
|
+
http://www.gecode.org/gecode-doc-latest/PageComp.html for the installation
|
21
|
+
instructions.
|
22
|
+
|
23
|
+
Installing from gem
|
24
|
+
-------------------
|
25
|
+
|
26
|
+
There are two gems. The first includes only Gecode/R, and assumes that you have
|
27
|
+
installed Gecode yourself. The second includes both Gecode/R and Gecode. If you
|
28
|
+
use Windows then you're recommended to use the second one, even though you
|
29
|
+
already have Gecode, as the other one does not come in a pre-compiled variant.
|
30
|
+
|
31
|
+
Gecode/R only:
|
32
|
+
|
33
|
+
gem install gecoder
|
34
|
+
|
35
|
+
Gecode/R and Gecode:
|
36
|
+
|
37
|
+
gem install gecoder-with-gecode
|
38
|
+
|
39
|
+
### Installing from source using gem
|
40
|
+
|
41
|
+
rake gem
|
42
|
+
gem install pkg/gecoder-1.x.x.gem
|
43
|
+
|
44
|
+
### Installing from source without using gem
|
45
|
+
|
46
|
+
`gecode.so` might have another extension depending on which platform it's
|
47
|
+
generated on (replace the extension in the following commands with whatever
|
48
|
+
extension it's given).
|
49
|
+
|
50
|
+
cd ext
|
51
|
+
ruby extconf.rb
|
52
|
+
make
|
53
|
+
mv gecode.so ../lib/
|
54
|
+
|
55
|
+
### Running the tests
|
56
|
+
|
57
|
+
rake specs
|
58
|
+
|
data/Rakefile
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
require 'rake'
|
2
2
|
require 'rake/testtask'
|
3
|
-
require '
|
4
|
-
require '
|
3
|
+
require 'rdoc/task'
|
4
|
+
require 'rubygems/package_task'
|
5
5
|
|
6
6
|
require 'tasks/all_tasks'
|
7
7
|
task :default => [:verify_rcov, :example_specs]
|
8
8
|
|
9
9
|
desc 'Performs the tasks necessary when releasing'
|
10
|
-
task :release => [:clobber, :verify_rcov, :example_specs, :publish_website,
|
10
|
+
task :release => [:clobber, :verify_rcov, :example_specs, :publish_website,
|
11
11
|
:publish_packages, :tag]
|
12
12
|
|
13
13
|
desc 'Runs all the tests'
|
14
|
-
task :test => :specs
|
14
|
+
task :test => :specs
|
data/lib/gecoder/version.rb
CHANGED
data/tasks/dependencies.txt
CHANGED
@@ -1,23 +1,3 @@
|
|
1
|
-
|
2
|
-
|
3
|
-
# To run the Rake scripts.
|
4
|
-
rake
|
5
|
-
|
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 .
|
8
|
-
webgen
|
9
|
-
coderay
|
10
|
-
|
11
|
-
# To run the specs and produce a report for the website.
|
12
|
-
rspec
|
13
|
-
rcov
|
14
|
-
|
15
|
-
# To release files to RubyForge.
|
16
|
-
meta_project
|
17
|
-
rubyforge
|
18
|
-
|
19
|
-
|
20
|
-
|
21
|
-
To precompile the Windows gem you need to set up a cross-compilation
|
1
|
+
To precompile the Windows gem you need to set up a cross-compilation
|
22
2
|
environment. See the following notes for instructions:
|
23
3
|
http://rubyforge.org/pipermail/gecoder-devel/2008-January/000039.html
|
data/tasks/distribution.rake
CHANGED
@@ -14,25 +14,25 @@ GECODE_ARCHIVE_NAME = "#{GECODE_NAME}.tar.gz"
|
|
14
14
|
|
15
15
|
|
16
16
|
desc 'Generate RDoc'
|
17
|
-
rd =
|
17
|
+
rd = RDoc::Task.new do |rdoc|
|
18
18
|
rdoc.rdoc_dir = 'doc/output/rdoc'
|
19
19
|
rdoc.title = 'Gecode/R'
|
20
20
|
rdoc.template = 'doc/rdoc/jamis.rb'
|
21
21
|
rdoc.options << '--line-numbers' << '--inline-source' <<
|
22
|
-
'--accessor' << 'delegate' << '--main' << 'README'
|
23
|
-
rdoc.rdoc_files.include('README', 'CHANGES', 'THANKS', 'LGPL-LICENSE', 'lib/**/*.rb')
|
22
|
+
'--accessor' << 'delegate' << '--main' << 'README.md'
|
23
|
+
rdoc.rdoc_files.include('README.md', 'CHANGES', 'THANKS', 'LGPL-LICENSE', 'lib/**/*.rb')
|
24
24
|
end
|
25
25
|
|
26
|
-
# Removing this, which apparently doesn't work due to an update to RDoc.
|
27
|
-
=begin
|
28
26
|
TMP_DIR = 'doc/tmp/rdoc_dev'
|
29
27
|
desc 'Generate RDoc, ignoring nodoc'
|
30
|
-
|
28
|
+
RDoc::Task.new(:rdoc_dev) do |rdoc|
|
29
|
+
rdoc.before_running_rdoc do
|
30
|
+
Rake::Task['prepare_rdoc_dev'].invoke
|
31
|
+
rdoc.rdoc_files.include("#{TMP_DIR}/**/*.rb")
|
32
|
+
end
|
31
33
|
rdoc.rdoc_dir = 'doc/output/rdoc_dev'
|
32
34
|
rdoc.options << '--title' << 'Gecode/R Developers RDoc' << '--line-numbers' <<
|
33
35
|
'--inline-source' << '--accessor' << 'delegate'
|
34
|
-
|
35
|
-
rdoc.rdoc_files.include("#{TMP_DIR}/**/*.rb")
|
36
36
|
end
|
37
37
|
|
38
38
|
desc 'Copies the files that RDoc should parse, removing #:nodoc:'
|
@@ -48,7 +48,6 @@ task :prepare_rdoc_dev do
|
|
48
48
|
destination.close
|
49
49
|
end
|
50
50
|
end
|
51
|
-
=end
|
52
51
|
|
53
52
|
desc 'Extracts the source of Gecode before it is packaged into a gem'
|
54
53
|
task :extract_gecode do
|
@@ -87,6 +86,7 @@ spec = Gem::Specification.new do |s|
|
|
87
86
|
s.require_path = 'lib'
|
88
87
|
s.extensions << 'ext/extconf.rb'
|
89
88
|
s.requirements << 'Gecode 2.2.0'
|
89
|
+
s.required_ruby_version = "< 1.9"
|
90
90
|
|
91
91
|
s.has_rdoc = true
|
92
92
|
s.rdoc_options = rd.options
|
@@ -94,23 +94,7 @@ spec = Gem::Specification.new do |s|
|
|
94
94
|
s.test_files = FileList['specs/**/*.rb']
|
95
95
|
|
96
96
|
s.authors = ["Gecode/R Development Team"]
|
97
|
-
s.
|
98
|
-
s.homepage = "http://gecoder.rubyforge.org"
|
99
|
-
s.rubyforge_project = "gecoder"
|
100
|
-
|
101
|
-
=begin
|
102
|
-
# Development dependencies.
|
103
|
-
# Not listed: rubygems >= 1.2
|
104
|
-
[['rake'],
|
105
|
-
['webgen', '= 0.4.7'],
|
106
|
-
['coderay'],
|
107
|
-
['rspec', '>= 1.0'],
|
108
|
-
['rcov'],
|
109
|
-
['meta_project'],
|
110
|
-
['rubyforge']].each do |dependency|
|
111
|
-
s.add_development_dependency(*dependency)
|
112
|
-
end
|
113
|
-
=end
|
97
|
+
s.homepage = "http://gecoder.org"
|
114
98
|
end
|
115
99
|
|
116
100
|
# Create a clone of the gem spec with the precompiled binaries for Windows.
|
@@ -133,22 +117,20 @@ spec_with_gecode.requirements = []
|
|
133
117
|
spec_with_gecode.files = spec.files.dup + FileList['ext/gecode-*/**/*'].to_a
|
134
118
|
|
135
119
|
desc 'Generate Gecode/R Gem'
|
136
|
-
|
120
|
+
Gem::PackageTask.new(spec) do |pkg|
|
137
121
|
pkg.need_zip = true
|
138
122
|
pkg.need_tar = true
|
139
123
|
end
|
140
124
|
|
141
125
|
desc 'Generate Gecode/R + Gecode Gem'
|
142
|
-
|
126
|
+
Gem::PackageTask.new(spec_with_gecode) do |pkg|
|
143
127
|
pkg.need_zip = true
|
144
128
|
pkg.need_tar = true
|
145
129
|
end
|
146
130
|
|
147
|
-
=begin
|
148
131
|
desc 'Generate Gecode/R + Gecode Gem (windows binary)'
|
149
|
-
|
132
|
+
Gem::PackageTask.new(spec_windows_binary_with_gecode) do |pkg|
|
150
133
|
end
|
151
|
-
=end
|
152
134
|
|
153
135
|
desc 'Precompiles the Gecode/R bindings for Windows platforms'
|
154
136
|
file 'lib/gecode.dll' do
|
@@ -171,50 +153,3 @@ task :clobber do
|
|
171
153
|
"#{EXT_DIR}/mkmf.log"
|
172
154
|
].to_a.each{ |file| rm file if File.exists? file }
|
173
155
|
end
|
174
|
-
|
175
|
-
desc 'Publish packages on RubyForge'
|
176
|
-
task :publish_packages => [:publish_gecoder_packages,
|
177
|
-
:publish_gecoder_with_gecode_packages]
|
178
|
-
|
179
|
-
# Files included in the vanilla Gecode/R release.
|
180
|
-
vanilla_release_files = [
|
181
|
-
"pkg/#{PKG_FILE_NAME}.gem",
|
182
|
-
"pkg/#{PKG_FILE_NAME}.tgz",
|
183
|
-
"pkg/#{PKG_FILE_NAME}.zip"
|
184
|
-
]
|
185
|
-
desc 'Publish Gecode/R packages on RubyForge'
|
186
|
-
task :publish_gecoder_packages => [:verify_user] + vanilla_release_files do
|
187
|
-
require 'meta_project'
|
188
|
-
require 'rake/contrib/xforge'
|
189
|
-
|
190
|
-
Rake::XForge::Release.new(MetaProject::Project::XForge::RubyForge.new(PROJECT_NAME)) do |xf|
|
191
|
-
xf.user_name = ENV['RUBYFORGE_USER']
|
192
|
-
xf.files = vanilla_release_files.to_a
|
193
|
-
xf.release_name = "Gecode/R #{PKG_VERSION}"
|
194
|
-
xf.package_name = PKG_NAME
|
195
|
-
end
|
196
|
-
end
|
197
|
-
|
198
|
-
# Files included in the release with Gecode.
|
199
|
-
gecode_release_files = [
|
200
|
-
"pkg/#{PKG_FILE_NAME_WITH_GECODE}.gem",
|
201
|
-
#"pkg/#{PKG_FILE_NAME_WITH_GECODE}.tgz",
|
202
|
-
#"pkg/#{PKG_FILE_NAME_WITH_GECODE}.zip",
|
203
|
-
#"pkg/#{PKG_FILE_NAME_WITH_GECODE}-x86-mswin32-60.gem"
|
204
|
-
]
|
205
|
-
gecode_release_files.each do |pkg|
|
206
|
-
file pkg => :extract_gecode
|
207
|
-
end
|
208
|
-
desc 'Publish Gecode/R with Gecode packages on RubyForge'
|
209
|
-
task :publish_gecoder_with_gecode_packages =>
|
210
|
-
[:verify_user] + gecode_release_files do
|
211
|
-
require 'meta_project'
|
212
|
-
require 'rake/contrib/xforge'
|
213
|
-
|
214
|
-
Rake::XForge::Release.new(MetaProject::Project::XForge::RubyForge.new(PROJECT_NAME)) do |xf|
|
215
|
-
xf.user_name = ENV['RUBYFORGE_USER']
|
216
|
-
xf.files = gecode_release_files.to_a
|
217
|
-
xf.release_name = "Gecode/R with Gecode #{PKG_VERSION}"
|
218
|
-
xf.package_name = PKG_NAME_WITH_GECODE
|
219
|
-
end
|
220
|
-
end
|
data/tasks/rcov.rake
CHANGED
data/tasks/specs.rake
CHANGED
data/tasks/website.rake
CHANGED
@@ -1,5 +1,3 @@
|
|
1
|
-
require 'rake/contrib/rubyforgepublisher'
|
2
|
-
|
3
1
|
desc 'Regenerates the contents of the website'
|
4
2
|
task :website do
|
5
3
|
mkpath 'doc/output'
|
@@ -15,20 +13,6 @@ task :clobber do
|
|
15
13
|
WebsiteRakeHelpers.clobber
|
16
14
|
end
|
17
15
|
|
18
|
-
task :verify_user do
|
19
|
-
raise "RUBYFORGE_USER environment variable not set!" unless ENV['RUBYFORGE_USER']
|
20
|
-
end
|
21
|
-
|
22
|
-
desc "Uploads the website to RubyForge"
|
23
|
-
task :publish_website => [:verify_user, :website] do
|
24
|
-
publisher = Rake::SshDirPublisher.new(
|
25
|
-
"#{ENV['RUBYFORGE_USER']}@rubyforge.org",
|
26
|
-
"/var/www/gforge-projects/gecoder",
|
27
|
-
"doc/output"
|
28
|
-
)
|
29
|
-
publisher.upload
|
30
|
-
end
|
31
|
-
|
32
16
|
module WebsiteRakeHelpers
|
33
17
|
module_function
|
34
18
|
|
metadata
CHANGED
@@ -1,13 +1,13 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: gecoder
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
hash:
|
4
|
+
hash: 17
|
5
5
|
prerelease:
|
6
6
|
segments:
|
7
7
|
- 1
|
8
8
|
- 1
|
9
|
-
-
|
10
|
-
version: 1.1.
|
9
|
+
- 1
|
10
|
+
version: 1.1.1
|
11
11
|
platform: ruby
|
12
12
|
authors:
|
13
13
|
- Gecode/R Development Team
|
@@ -15,287 +15,288 @@ autorequire:
|
|
15
15
|
bindir: bin
|
16
16
|
cert_chain: []
|
17
17
|
|
18
|
-
date:
|
18
|
+
date: 2015-01-08 00:00:00 +01:00
|
19
19
|
default_executable:
|
20
20
|
dependencies: []
|
21
21
|
|
22
22
|
description: " Gecode/R is a Ruby interface to the Gecode constraint programming library.\n Gecode/R is intended for people with no previous experience of constraint\n programming, aiming to be easy to pick up and use.\n"
|
23
|
-
email:
|
23
|
+
email:
|
24
24
|
executables: []
|
25
25
|
|
26
26
|
extensions:
|
27
27
|
- ext/extconf.rb
|
28
28
|
extra_rdoc_files:
|
29
|
-
- README
|
29
|
+
- README.md
|
30
30
|
- CHANGES
|
31
31
|
- THANKS
|
32
32
|
- LGPL-LICENSE
|
33
|
+
- lib/gecoder.rb
|
33
34
|
- lib/gecoder/bindings.rb
|
34
|
-
- lib/gecoder/version.rb
|
35
35
|
- lib/gecoder/bindings/bindings.rb
|
36
36
|
- lib/gecoder/interface.rb
|
37
|
-
- lib/gecoder/interface/
|
38
|
-
- lib/gecoder/interface/
|
39
|
-
- lib/gecoder/interface/constraints
|
40
|
-
- lib/gecoder/interface/constraints/
|
41
|
-
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
42
|
-
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
43
|
-
- lib/gecoder/interface/constraints/set_enum/element.rb
|
44
|
-
- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
|
45
|
-
- lib/gecoder/interface/constraints/fixnum_enum/element.rb
|
46
|
-
- lib/gecoder/interface/constraints/set_var_constraints.rb
|
47
|
-
- lib/gecoder/interface/constraints/bool_var_constraints.rb
|
48
|
-
- lib/gecoder/interface/constraints/set/include.rb
|
49
|
-
- lib/gecoder/interface/constraints/set/operation.rb
|
50
|
-
- lib/gecoder/interface/constraints/set/channel.rb
|
51
|
-
- lib/gecoder/interface/constraints/set/domain.rb
|
52
|
-
- lib/gecoder/interface/constraints/set/cardinality.rb
|
53
|
-
- lib/gecoder/interface/constraints/set/connection.rb
|
54
|
-
- lib/gecoder/interface/constraints/set/relation.rb
|
55
|
-
- lib/gecoder/interface/constraints/reifiable_constraints.rb
|
56
|
-
- lib/gecoder/interface/constraints/bool_enum/extensional.rb
|
57
|
-
- lib/gecoder/interface/constraints/bool_enum/channel.rb
|
58
|
-
- lib/gecoder/interface/constraints/bool_enum/relation.rb
|
59
|
-
- lib/gecoder/interface/constraints/set_elements/relation.rb
|
37
|
+
- lib/gecoder/interface/binding_changes.rb
|
38
|
+
- lib/gecoder/interface/branch.rb
|
39
|
+
- lib/gecoder/interface/constraints.rb
|
40
|
+
- lib/gecoder/interface/constraints/bool/boolean.rb
|
60
41
|
- lib/gecoder/interface/constraints/bool/channel.rb
|
61
42
|
- lib/gecoder/interface/constraints/bool/linear.rb
|
62
|
-
- lib/gecoder/interface/constraints/
|
63
|
-
- lib/gecoder/interface/constraints/
|
64
|
-
- lib/gecoder/interface/constraints/
|
43
|
+
- lib/gecoder/interface/constraints/bool_enum/channel.rb
|
44
|
+
- lib/gecoder/interface/constraints/bool_enum/extensional.rb
|
45
|
+
- lib/gecoder/interface/constraints/bool_enum/relation.rb
|
65
46
|
- lib/gecoder/interface/constraints/bool_enum_constraints.rb
|
66
|
-
- lib/gecoder/interface/constraints/
|
47
|
+
- lib/gecoder/interface/constraints/bool_var_constraints.rb
|
48
|
+
- lib/gecoder/interface/constraints/extensional_regexp.rb
|
49
|
+
- lib/gecoder/interface/constraints/fixnum_enum/element.rb
|
50
|
+
- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
|
51
|
+
- lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
|
52
|
+
- lib/gecoder/interface/constraints/int/arithmetic.rb
|
67
53
|
- lib/gecoder/interface/constraints/int/channel.rb
|
68
54
|
- lib/gecoder/interface/constraints/int/domain.rb
|
69
55
|
- lib/gecoder/interface/constraints/int/linear.rb
|
70
56
|
- lib/gecoder/interface/constraints/int/relation.rb
|
71
|
-
- lib/gecoder/interface/constraints/
|
72
|
-
- lib/gecoder/interface/constraints/int_enum/count.rb
|
73
|
-
- lib/gecoder/interface/constraints/int_enum/extensional.rb
|
57
|
+
- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
|
74
58
|
- lib/gecoder/interface/constraints/int_enum/channel.rb
|
75
|
-
- lib/gecoder/interface/constraints/int_enum/
|
59
|
+
- lib/gecoder/interface/constraints/int_enum/count.rb
|
76
60
|
- lib/gecoder/interface/constraints/int_enum/distinct.rb
|
77
61
|
- lib/gecoder/interface/constraints/int_enum/element.rb
|
78
62
|
- lib/gecoder/interface/constraints/int_enum/equality.rb
|
79
|
-
- lib/gecoder/interface/constraints/int_enum/
|
80
|
-
- lib/gecoder/interface/constraints/
|
63
|
+
- lib/gecoder/interface/constraints/int_enum/extensional.rb
|
64
|
+
- lib/gecoder/interface/constraints/int_enum/sort.rb
|
65
|
+
- lib/gecoder/interface/constraints/int_enum_constraints.rb
|
66
|
+
- lib/gecoder/interface/constraints/int_var_constraints.rb
|
67
|
+
- lib/gecoder/interface/constraints/reifiable_constraints.rb
|
68
|
+
- lib/gecoder/interface/constraints/selected_set/select.rb
|
69
|
+
- lib/gecoder/interface/constraints/selected_set_constraints.rb
|
70
|
+
- lib/gecoder/interface/constraints/set/cardinality.rb
|
71
|
+
- lib/gecoder/interface/constraints/set/channel.rb
|
72
|
+
- lib/gecoder/interface/constraints/set/connection.rb
|
73
|
+
- lib/gecoder/interface/constraints/set/domain.rb
|
74
|
+
- lib/gecoder/interface/constraints/set/include.rb
|
75
|
+
- lib/gecoder/interface/constraints/set/operation.rb
|
76
|
+
- lib/gecoder/interface/constraints/set/relation.rb
|
77
|
+
- lib/gecoder/interface/constraints/set_elements/relation.rb
|
78
|
+
- lib/gecoder/interface/constraints/set_elements_constraints.rb
|
79
|
+
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
80
|
+
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
81
|
+
- lib/gecoder/interface/constraints/set_enum/element.rb
|
82
|
+
- lib/gecoder/interface/constraints/set_enum/operation.rb
|
81
83
|
- lib/gecoder/interface/constraints/set_enum_constraints.rb
|
84
|
+
- lib/gecoder/interface/constraints/set_var_constraints.rb
|
82
85
|
- lib/gecoder/interface/convenience.rb
|
83
|
-
- lib/gecoder/interface/branch.rb
|
84
|
-
- lib/gecoder/interface/binding_changes.rb
|
85
|
-
- lib/gecoder/interface/variables.rb
|
86
|
-
- lib/gecoder/interface/search.rb
|
87
|
-
- lib/gecoder/interface/mixin.rb
|
88
86
|
- lib/gecoder/interface/enum_matrix.rb
|
89
87
|
- lib/gecoder/interface/enum_wrapper.rb
|
90
|
-
- lib/gecoder/interface/
|
91
|
-
- lib/gecoder.rb
|
88
|
+
- lib/gecoder/interface/mixin.rb
|
89
|
+
- lib/gecoder/interface/search.rb
|
90
|
+
- lib/gecoder/interface/variables.rb
|
91
|
+
- lib/gecoder/version.rb
|
92
92
|
files:
|
93
|
-
- COPYING
|
94
|
-
- README
|
95
93
|
- CHANGES
|
94
|
+
- COPYING
|
95
|
+
- Gemfile
|
96
|
+
- Gemfile.lock
|
97
|
+
- LGPL-LICENSE
|
98
|
+
- README.md
|
96
99
|
- Rakefile
|
97
100
|
- THANKS
|
98
|
-
-
|
101
|
+
- lib/gecoder.rb
|
99
102
|
- lib/gecoder/bindings.rb
|
100
|
-
- lib/gecoder/version.rb
|
101
103
|
- lib/gecoder/bindings/bindings.rb
|
102
104
|
- lib/gecoder/interface.rb
|
103
|
-
- lib/gecoder/interface/
|
104
|
-
- lib/gecoder/interface/
|
105
|
-
- lib/gecoder/interface/constraints
|
106
|
-
- lib/gecoder/interface/constraints/
|
107
|
-
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
108
|
-
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
109
|
-
- lib/gecoder/interface/constraints/set_enum/element.rb
|
110
|
-
- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
|
111
|
-
- lib/gecoder/interface/constraints/fixnum_enum/element.rb
|
112
|
-
- lib/gecoder/interface/constraints/set_var_constraints.rb
|
113
|
-
- lib/gecoder/interface/constraints/bool_var_constraints.rb
|
114
|
-
- lib/gecoder/interface/constraints/set/include.rb
|
115
|
-
- lib/gecoder/interface/constraints/set/operation.rb
|
116
|
-
- lib/gecoder/interface/constraints/set/channel.rb
|
117
|
-
- lib/gecoder/interface/constraints/set/domain.rb
|
118
|
-
- lib/gecoder/interface/constraints/set/cardinality.rb
|
119
|
-
- lib/gecoder/interface/constraints/set/connection.rb
|
120
|
-
- lib/gecoder/interface/constraints/set/relation.rb
|
121
|
-
- lib/gecoder/interface/constraints/reifiable_constraints.rb
|
122
|
-
- lib/gecoder/interface/constraints/bool_enum/extensional.rb
|
123
|
-
- lib/gecoder/interface/constraints/bool_enum/channel.rb
|
124
|
-
- lib/gecoder/interface/constraints/bool_enum/relation.rb
|
125
|
-
- lib/gecoder/interface/constraints/set_elements/relation.rb
|
105
|
+
- lib/gecoder/interface/binding_changes.rb
|
106
|
+
- lib/gecoder/interface/branch.rb
|
107
|
+
- lib/gecoder/interface/constraints.rb
|
108
|
+
- lib/gecoder/interface/constraints/bool/boolean.rb
|
126
109
|
- lib/gecoder/interface/constraints/bool/channel.rb
|
127
110
|
- lib/gecoder/interface/constraints/bool/linear.rb
|
128
|
-
- lib/gecoder/interface/constraints/
|
129
|
-
- lib/gecoder/interface/constraints/
|
130
|
-
- lib/gecoder/interface/constraints/
|
111
|
+
- lib/gecoder/interface/constraints/bool_enum/channel.rb
|
112
|
+
- lib/gecoder/interface/constraints/bool_enum/extensional.rb
|
113
|
+
- lib/gecoder/interface/constraints/bool_enum/relation.rb
|
131
114
|
- lib/gecoder/interface/constraints/bool_enum_constraints.rb
|
132
|
-
- lib/gecoder/interface/constraints/
|
115
|
+
- lib/gecoder/interface/constraints/bool_var_constraints.rb
|
116
|
+
- lib/gecoder/interface/constraints/extensional_regexp.rb
|
117
|
+
- lib/gecoder/interface/constraints/fixnum_enum/element.rb
|
118
|
+
- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
|
119
|
+
- lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
|
120
|
+
- lib/gecoder/interface/constraints/int/arithmetic.rb
|
133
121
|
- lib/gecoder/interface/constraints/int/channel.rb
|
134
122
|
- lib/gecoder/interface/constraints/int/domain.rb
|
135
123
|
- lib/gecoder/interface/constraints/int/linear.rb
|
136
124
|
- lib/gecoder/interface/constraints/int/relation.rb
|
137
|
-
- lib/gecoder/interface/constraints/
|
138
|
-
- lib/gecoder/interface/constraints/int_enum/count.rb
|
139
|
-
- lib/gecoder/interface/constraints/int_enum/extensional.rb
|
125
|
+
- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
|
140
126
|
- lib/gecoder/interface/constraints/int_enum/channel.rb
|
141
|
-
- lib/gecoder/interface/constraints/int_enum/
|
127
|
+
- lib/gecoder/interface/constraints/int_enum/count.rb
|
142
128
|
- lib/gecoder/interface/constraints/int_enum/distinct.rb
|
143
129
|
- lib/gecoder/interface/constraints/int_enum/element.rb
|
144
130
|
- lib/gecoder/interface/constraints/int_enum/equality.rb
|
145
|
-
- lib/gecoder/interface/constraints/int_enum/
|
146
|
-
- lib/gecoder/interface/constraints/
|
131
|
+
- lib/gecoder/interface/constraints/int_enum/extensional.rb
|
132
|
+
- lib/gecoder/interface/constraints/int_enum/sort.rb
|
133
|
+
- lib/gecoder/interface/constraints/int_enum_constraints.rb
|
134
|
+
- lib/gecoder/interface/constraints/int_var_constraints.rb
|
135
|
+
- lib/gecoder/interface/constraints/reifiable_constraints.rb
|
136
|
+
- lib/gecoder/interface/constraints/selected_set/select.rb
|
137
|
+
- lib/gecoder/interface/constraints/selected_set_constraints.rb
|
138
|
+
- lib/gecoder/interface/constraints/set/cardinality.rb
|
139
|
+
- lib/gecoder/interface/constraints/set/channel.rb
|
140
|
+
- lib/gecoder/interface/constraints/set/connection.rb
|
141
|
+
- lib/gecoder/interface/constraints/set/domain.rb
|
142
|
+
- lib/gecoder/interface/constraints/set/include.rb
|
143
|
+
- lib/gecoder/interface/constraints/set/operation.rb
|
144
|
+
- lib/gecoder/interface/constraints/set/relation.rb
|
145
|
+
- lib/gecoder/interface/constraints/set_elements/relation.rb
|
146
|
+
- lib/gecoder/interface/constraints/set_elements_constraints.rb
|
147
|
+
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
148
|
+
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
149
|
+
- lib/gecoder/interface/constraints/set_enum/element.rb
|
150
|
+
- lib/gecoder/interface/constraints/set_enum/operation.rb
|
147
151
|
- lib/gecoder/interface/constraints/set_enum_constraints.rb
|
152
|
+
- lib/gecoder/interface/constraints/set_var_constraints.rb
|
148
153
|
- lib/gecoder/interface/convenience.rb
|
149
|
-
- lib/gecoder/interface/branch.rb
|
150
|
-
- lib/gecoder/interface/binding_changes.rb
|
151
|
-
- lib/gecoder/interface/variables.rb
|
152
|
-
- lib/gecoder/interface/search.rb
|
153
|
-
- lib/gecoder/interface/mixin.rb
|
154
154
|
- lib/gecoder/interface/enum_matrix.rb
|
155
155
|
- lib/gecoder/interface/enum_wrapper.rb
|
156
|
-
- lib/gecoder/interface/
|
157
|
-
- lib/gecoder.rb
|
158
|
-
-
|
156
|
+
- lib/gecoder/interface/mixin.rb
|
157
|
+
- lib/gecoder/interface/search.rb
|
158
|
+
- lib/gecoder/interface/variables.rb
|
159
|
+
- lib/gecoder/version.rb
|
160
|
+
- example/equation_system.rb
|
161
|
+
- example/example_helper.rb
|
159
162
|
- example/magic_sequence.rb
|
160
|
-
- example/
|
161
|
-
- example/sudoku.rb
|
163
|
+
- example/minesweeper.rb
|
162
164
|
- example/nonogram.rb
|
163
|
-
- example/
|
165
|
+
- example/queens.rb
|
166
|
+
- example/send_more_money.rb
|
167
|
+
- example/send_most_money.rb
|
164
168
|
- example/square_tiling.rb
|
165
|
-
- example/minesweeper.rb
|
166
|
-
- example/equation_system.rb
|
167
169
|
- example/sudoku-set.rb
|
168
|
-
- example/
|
169
|
-
- example/
|
170
|
+
- example/sudoku.rb
|
171
|
+
- example/survo.rb
|
170
172
|
- vendor/rust/README
|
171
173
|
- vendor/rust/bin/cxxgenerator.rb
|
172
|
-
- vendor/rust/rust.rb
|
173
|
-
- vendor/rust/test/cppclass.hh
|
174
|
-
- vendor/rust/test/lib/extension-test.rb
|
175
|
-
- vendor/rust/test/operators.cc
|
176
|
-
- vendor/rust/test/test-constants.rb
|
177
|
-
- vendor/rust/test/constants.rb
|
178
|
-
- vendor/rust/test/operators.rb
|
179
|
-
- vendor/rust/test/cppclass.cc
|
180
|
-
- vendor/rust/test/cppclass.rb
|
181
|
-
- vendor/rust/test/cwrapper.rb
|
182
|
-
- vendor/rust/test/operators.hh
|
183
|
-
- vendor/rust/test/Makefile
|
184
|
-
- vendor/rust/test/dummyclass.hh
|
185
|
-
- vendor/rust/test/test-cppclass.rb
|
186
|
-
- vendor/rust/test/test-cwrapper.rb
|
187
|
-
- vendor/rust/test/cwrapper.h
|
188
|
-
- vendor/rust/test/test-operators.rb
|
189
|
-
- vendor/rust/test/cwrapper.c
|
190
|
-
- vendor/rust/include/rust_conversions.hh
|
191
174
|
- vendor/rust/include/rust_checks.hh
|
192
|
-
- vendor/rust/
|
193
|
-
- vendor/rust/rust
|
175
|
+
- vendor/rust/include/rust_conversions.hh
|
176
|
+
- vendor/rust/rust.rb
|
177
|
+
- vendor/rust/rust/attribute.rb
|
194
178
|
- vendor/rust/rust/bindings.rb
|
195
|
-
- vendor/rust/rust/
|
196
|
-
- vendor/rust/rust/container.rb
|
179
|
+
- vendor/rust/rust/class.rb
|
197
180
|
- vendor/rust/rust/constants.rb
|
198
|
-
- vendor/rust/rust/
|
199
|
-
- vendor/rust/rust/attribute.rb
|
200
|
-
- vendor/rust/rust/namespace.rb
|
201
|
-
- vendor/rust/rust/cwrapper.rb
|
181
|
+
- vendor/rust/rust/container.rb
|
202
182
|
- vendor/rust/rust/cppifaceparser.rb
|
183
|
+
- vendor/rust/rust/cwrapper.rb
|
184
|
+
- vendor/rust/rust/cxxclass.rb
|
203
185
|
- vendor/rust/rust/element.rb
|
204
186
|
- vendor/rust/rust/enum.rb
|
205
|
-
- vendor/rust/rust/
|
206
|
-
- vendor/rust/rust/
|
207
|
-
- vendor/rust/rust/templates/ModuleDeclarations.rusttpl
|
208
|
-
- vendor/rust/rust/templates/FunctionInitBinding.rusttpl
|
209
|
-
- vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
|
210
|
-
- vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
|
211
|
-
- vendor/rust/rust/templates/CxxMethodStub.rusttpl
|
187
|
+
- vendor/rust/rust/function.rb
|
188
|
+
- vendor/rust/rust/namespace.rb
|
212
189
|
- vendor/rust/rust/templates/AttributeDefinition.rusttpl
|
213
|
-
- vendor/rust/rust/templates/
|
214
|
-
- vendor/rust/rust/templates/
|
215
|
-
- vendor/rust/rust/templates/ClassDeclarations.rusttpl
|
190
|
+
- vendor/rust/rust/templates/AttributeInitBinding.rusttpl
|
191
|
+
- vendor/rust/rust/templates/BindingsHeader.rusttpl
|
216
192
|
- vendor/rust/rust/templates/BindingsUnit.rusttpl
|
217
|
-
- vendor/rust/rust/templates/
|
193
|
+
- vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
|
194
|
+
- vendor/rust/rust/templates/ClassDeclarations.rusttpl
|
195
|
+
- vendor/rust/rust/templates/ClassInitialize.rusttpl
|
218
196
|
- vendor/rust/rust/templates/ConstructorStub.rusttpl
|
219
|
-
- vendor/rust/rust/templates/
|
220
|
-
- vendor/rust/rust/templates/
|
197
|
+
- vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
|
198
|
+
- vendor/rust/rust/templates/CxxMethodStub.rusttpl
|
199
|
+
- vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
|
221
200
|
- vendor/rust/rust/templates/EnumDeclarations.rusttpl
|
201
|
+
- vendor/rust/rust/templates/EnumDefinitions.rusttpl
|
202
|
+
- vendor/rust/rust/templates/FunctionDefinition.rusttpl
|
222
203
|
- vendor/rust/rust/templates/FunctionInitAlias.rusttpl
|
204
|
+
- vendor/rust/rust/templates/FunctionInitBinding.rusttpl
|
223
205
|
- vendor/rust/rust/templates/MethodInitBinding.rusttpl
|
224
|
-
- vendor/rust/rust/templates/
|
225
|
-
- vendor/rust/rust/templates/
|
226
|
-
-
|
227
|
-
-
|
228
|
-
-
|
206
|
+
- vendor/rust/rust/templates/ModuleDeclarations.rusttpl
|
207
|
+
- vendor/rust/rust/templates/ModuleDefinitions.rusttpl
|
208
|
+
- vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
|
209
|
+
- vendor/rust/rust/templates/VariableFunctionCall.rusttpl
|
210
|
+
- vendor/rust/rust/type.rb
|
211
|
+
- vendor/rust/test/Makefile
|
212
|
+
- vendor/rust/test/constants.rb
|
213
|
+
- vendor/rust/test/cppclass.cc
|
214
|
+
- vendor/rust/test/cppclass.hh
|
215
|
+
- vendor/rust/test/cppclass.rb
|
216
|
+
- vendor/rust/test/cwrapper.c
|
217
|
+
- vendor/rust/test/cwrapper.h
|
218
|
+
- vendor/rust/test/cwrapper.rb
|
219
|
+
- vendor/rust/test/dummyclass.hh
|
220
|
+
- vendor/rust/test/lib/extension-test.rb
|
221
|
+
- vendor/rust/test/operators.cc
|
222
|
+
- vendor/rust/test/operators.hh
|
223
|
+
- vendor/rust/test/operators.rb
|
224
|
+
- vendor/rust/test/test-constants.rb
|
225
|
+
- vendor/rust/test/test-cppclass.rb
|
226
|
+
- vendor/rust/test/test-cwrapper.rb
|
227
|
+
- vendor/rust/test/test-operators.rb
|
228
|
+
- tasks/all_tasks.rb
|
229
229
|
- tasks/dependencies.txt
|
230
|
+
- tasks/distribution.rake
|
230
231
|
- tasks/rcov.rake
|
231
|
-
- tasks/
|
232
|
+
- tasks/specs.rake
|
232
233
|
- tasks/website.rake
|
233
|
-
- specs/
|
234
|
-
- specs/
|
235
|
-
- specs/constraints/
|
236
|
-
- specs/constraints/set_enum/channel.rb
|
237
|
-
- specs/constraints/set_enum/distinct.rb
|
238
|
-
- specs/constraints/set_enum/element.rb
|
239
|
-
- specs/constraints/constraint_receivers.rb
|
240
|
-
- specs/constraints/fixnum_enum/operation.rb
|
241
|
-
- specs/constraints/fixnum_enum/element.rb
|
242
|
-
- specs/constraints/operands.rb
|
243
|
-
- specs/constraints/set/include.rb
|
244
|
-
- specs/constraints/set/operation.rb
|
245
|
-
- specs/constraints/set/channel.rb
|
246
|
-
- specs/constraints/set/cardinality_properties.rb
|
247
|
-
- specs/constraints/set/domain.rb
|
248
|
-
- specs/constraints/set/cardinality.rb
|
249
|
-
- specs/constraints/set/connection.rb
|
250
|
-
- specs/constraints/set/relation.rb
|
251
|
-
- specs/constraints/constraint_helper.rb
|
252
|
-
- specs/constraints/bool_enum/bool_enum_relation.rb
|
253
|
-
- specs/constraints/bool_enum/extensional.rb
|
254
|
-
- specs/constraints/bool_enum/channel.rb
|
255
|
-
- specs/constraints/set_elements/relation.rb
|
234
|
+
- specs/bool_var.rb
|
235
|
+
- specs/branch.rb
|
236
|
+
- specs/constraints/bool/boolean.rb
|
256
237
|
- specs/constraints/bool/boolean_properties.rb
|
257
238
|
- specs/constraints/bool/linear.rb
|
258
|
-
- specs/constraints/
|
259
|
-
- specs/constraints/
|
260
|
-
- specs/constraints/
|
239
|
+
- specs/constraints/bool_enum/bool_enum_relation.rb
|
240
|
+
- specs/constraints/bool_enum/channel.rb
|
241
|
+
- specs/constraints/bool_enum/extensional.rb
|
242
|
+
- specs/constraints/constraint_helper.rb
|
243
|
+
- specs/constraints/constraint_receivers.rb
|
261
244
|
- specs/constraints/constraints.rb
|
262
|
-
- specs/constraints/
|
245
|
+
- specs/constraints/fixnum_enum/element.rb
|
246
|
+
- specs/constraints/fixnum_enum/operation.rb
|
247
|
+
- specs/constraints/int/arithmetic.rb
|
263
248
|
- specs/constraints/int/channel.rb
|
264
249
|
- specs/constraints/int/domain.rb
|
265
250
|
- specs/constraints/int/linear.rb
|
251
|
+
- specs/constraints/int/linear_properties.rb
|
266
252
|
- specs/constraints/int/relation.rb
|
267
|
-
- specs/constraints/
|
268
|
-
- specs/constraints/int_enum/count.rb
|
269
|
-
- specs/constraints/int_enum/extensional.rb
|
253
|
+
- specs/constraints/int_enum/arithmetic.rb
|
270
254
|
- specs/constraints/int_enum/channel.rb
|
271
|
-
- specs/constraints/int_enum/
|
255
|
+
- specs/constraints/int_enum/count.rb
|
272
256
|
- specs/constraints/int_enum/distinct.rb
|
273
257
|
- specs/constraints/int_enum/element.rb
|
274
258
|
- specs/constraints/int_enum/equality.rb
|
275
|
-
- specs/constraints/int_enum/
|
276
|
-
- specs/
|
277
|
-
- specs/
|
278
|
-
- specs/
|
279
|
-
- specs/
|
280
|
-
- specs/
|
281
|
-
- specs/
|
282
|
-
- specs/
|
283
|
-
- specs/
|
284
|
-
- specs/
|
285
|
-
- specs/
|
259
|
+
- specs/constraints/int_enum/extensional.rb
|
260
|
+
- specs/constraints/int_enum/sort.rb
|
261
|
+
- specs/constraints/operands.rb
|
262
|
+
- specs/constraints/property_helper.rb
|
263
|
+
- specs/constraints/reification_sugar.rb
|
264
|
+
- specs/constraints/selected_set/select.rb
|
265
|
+
- specs/constraints/selected_set/select_properties.rb
|
266
|
+
- specs/constraints/set/cardinality.rb
|
267
|
+
- specs/constraints/set/cardinality_properties.rb
|
268
|
+
- specs/constraints/set/channel.rb
|
269
|
+
- specs/constraints/set/connection.rb
|
270
|
+
- specs/constraints/set/domain.rb
|
271
|
+
- specs/constraints/set/include.rb
|
272
|
+
- specs/constraints/set/operation.rb
|
273
|
+
- specs/constraints/set/relation.rb
|
274
|
+
- specs/constraints/set_elements/relation.rb
|
275
|
+
- specs/constraints/set_enum/channel.rb
|
276
|
+
- specs/constraints/set_enum/distinct.rb
|
277
|
+
- specs/constraints/set_enum/element.rb
|
278
|
+
- specs/constraints/set_enum/operation.rb
|
286
279
|
- specs/distribution.rb
|
287
|
-
- specs/mixin.rb
|
288
280
|
- specs/enum_matrix.rb
|
289
281
|
- specs/enum_wrapper.rb
|
282
|
+
- specs/examples.rb
|
283
|
+
- specs/int_var.rb
|
290
284
|
- specs/logging.rb
|
285
|
+
- specs/mixin.rb
|
286
|
+
- specs/model.rb
|
287
|
+
- specs/model_sugar.rb
|
288
|
+
- specs/search.rb
|
289
|
+
- specs/selected_set.rb
|
290
|
+
- specs/set_elements.rb
|
291
291
|
- specs/set_var.rb
|
292
|
+
- specs/spec_helper.rb
|
292
293
|
- ext/gecoder.cpp
|
293
294
|
- ext/vararray.cpp
|
294
|
-
- ext/vararray.h
|
295
295
|
- ext/gecoder.h
|
296
|
+
- ext/vararray.h
|
296
297
|
- ext/extconf.rb
|
297
298
|
has_rdoc: true
|
298
|
-
homepage: http://gecoder.
|
299
|
+
homepage: http://gecoder.org
|
299
300
|
licenses: []
|
300
301
|
|
301
302
|
post_install_message:
|
@@ -305,18 +306,19 @@ rdoc_options:
|
|
305
306
|
- --accessor
|
306
307
|
- delegate
|
307
308
|
- --main
|
308
|
-
- README
|
309
|
+
- README.md
|
309
310
|
require_paths:
|
310
311
|
- lib
|
311
312
|
required_ruby_version: !ruby/object:Gem::Requirement
|
312
313
|
none: false
|
313
314
|
requirements:
|
314
|
-
- -
|
315
|
+
- - <
|
315
316
|
- !ruby/object:Gem::Version
|
316
|
-
hash:
|
317
|
+
hash: 29
|
317
318
|
segments:
|
318
|
-
-
|
319
|
-
|
319
|
+
- 1
|
320
|
+
- 9
|
321
|
+
version: "1.9"
|
320
322
|
required_rubygems_version: !ruby/object:Gem::Requirement
|
321
323
|
none: false
|
322
324
|
requirements:
|
@@ -328,68 +330,68 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
328
330
|
version: "0"
|
329
331
|
requirements:
|
330
332
|
- Gecode 2.2.0
|
331
|
-
rubyforge_project:
|
332
|
-
rubygems_version: 1.
|
333
|
+
rubyforge_project:
|
334
|
+
rubygems_version: 1.6.2
|
333
335
|
signing_key:
|
334
336
|
specification_version: 3
|
335
337
|
summary: Ruby interface to Gecode, an environment for constraint programming.
|
336
338
|
test_files:
|
337
|
-
- specs/
|
338
|
-
- specs/
|
339
|
-
- specs/constraints/
|
340
|
-
- specs/constraints/set_enum/channel.rb
|
341
|
-
- specs/constraints/set_enum/distinct.rb
|
342
|
-
- specs/constraints/set_enum/element.rb
|
343
|
-
- specs/constraints/constraint_receivers.rb
|
344
|
-
- specs/constraints/fixnum_enum/operation.rb
|
345
|
-
- specs/constraints/fixnum_enum/element.rb
|
346
|
-
- specs/constraints/operands.rb
|
347
|
-
- specs/constraints/set/include.rb
|
348
|
-
- specs/constraints/set/operation.rb
|
349
|
-
- specs/constraints/set/channel.rb
|
350
|
-
- specs/constraints/set/cardinality_properties.rb
|
351
|
-
- specs/constraints/set/domain.rb
|
352
|
-
- specs/constraints/set/cardinality.rb
|
353
|
-
- specs/constraints/set/connection.rb
|
354
|
-
- specs/constraints/set/relation.rb
|
355
|
-
- specs/constraints/constraint_helper.rb
|
356
|
-
- specs/constraints/bool_enum/bool_enum_relation.rb
|
357
|
-
- specs/constraints/bool_enum/extensional.rb
|
358
|
-
- specs/constraints/bool_enum/channel.rb
|
359
|
-
- specs/constraints/set_elements/relation.rb
|
339
|
+
- specs/bool_var.rb
|
340
|
+
- specs/branch.rb
|
341
|
+
- specs/constraints/bool/boolean.rb
|
360
342
|
- specs/constraints/bool/boolean_properties.rb
|
361
343
|
- specs/constraints/bool/linear.rb
|
362
|
-
- specs/constraints/
|
363
|
-
- specs/constraints/
|
364
|
-
- specs/constraints/
|
344
|
+
- specs/constraints/bool_enum/bool_enum_relation.rb
|
345
|
+
- specs/constraints/bool_enum/channel.rb
|
346
|
+
- specs/constraints/bool_enum/extensional.rb
|
347
|
+
- specs/constraints/constraint_helper.rb
|
348
|
+
- specs/constraints/constraint_receivers.rb
|
365
349
|
- specs/constraints/constraints.rb
|
366
|
-
- specs/constraints/
|
350
|
+
- specs/constraints/fixnum_enum/element.rb
|
351
|
+
- specs/constraints/fixnum_enum/operation.rb
|
352
|
+
- specs/constraints/int/arithmetic.rb
|
367
353
|
- specs/constraints/int/channel.rb
|
368
354
|
- specs/constraints/int/domain.rb
|
369
355
|
- specs/constraints/int/linear.rb
|
356
|
+
- specs/constraints/int/linear_properties.rb
|
370
357
|
- specs/constraints/int/relation.rb
|
371
|
-
- specs/constraints/
|
372
|
-
- specs/constraints/int_enum/count.rb
|
373
|
-
- specs/constraints/int_enum/extensional.rb
|
358
|
+
- specs/constraints/int_enum/arithmetic.rb
|
374
359
|
- specs/constraints/int_enum/channel.rb
|
375
|
-
- specs/constraints/int_enum/
|
360
|
+
- specs/constraints/int_enum/count.rb
|
376
361
|
- specs/constraints/int_enum/distinct.rb
|
377
362
|
- specs/constraints/int_enum/element.rb
|
378
363
|
- specs/constraints/int_enum/equality.rb
|
379
|
-
- specs/constraints/int_enum/
|
380
|
-
- specs/
|
381
|
-
- specs/
|
382
|
-
- specs/
|
383
|
-
- specs/
|
384
|
-
- specs/
|
385
|
-
- specs/
|
386
|
-
- specs/
|
387
|
-
- specs/
|
388
|
-
- specs/
|
389
|
-
- specs/
|
364
|
+
- specs/constraints/int_enum/extensional.rb
|
365
|
+
- specs/constraints/int_enum/sort.rb
|
366
|
+
- specs/constraints/operands.rb
|
367
|
+
- specs/constraints/property_helper.rb
|
368
|
+
- specs/constraints/reification_sugar.rb
|
369
|
+
- specs/constraints/selected_set/select.rb
|
370
|
+
- specs/constraints/selected_set/select_properties.rb
|
371
|
+
- specs/constraints/set/cardinality.rb
|
372
|
+
- specs/constraints/set/cardinality_properties.rb
|
373
|
+
- specs/constraints/set/channel.rb
|
374
|
+
- specs/constraints/set/connection.rb
|
375
|
+
- specs/constraints/set/domain.rb
|
376
|
+
- specs/constraints/set/include.rb
|
377
|
+
- specs/constraints/set/operation.rb
|
378
|
+
- specs/constraints/set/relation.rb
|
379
|
+
- specs/constraints/set_elements/relation.rb
|
380
|
+
- specs/constraints/set_enum/channel.rb
|
381
|
+
- specs/constraints/set_enum/distinct.rb
|
382
|
+
- specs/constraints/set_enum/element.rb
|
383
|
+
- specs/constraints/set_enum/operation.rb
|
390
384
|
- specs/distribution.rb
|
391
|
-
- specs/mixin.rb
|
392
385
|
- specs/enum_matrix.rb
|
393
386
|
- specs/enum_wrapper.rb
|
387
|
+
- specs/examples.rb
|
388
|
+
- specs/int_var.rb
|
394
389
|
- specs/logging.rb
|
390
|
+
- specs/mixin.rb
|
391
|
+
- specs/model.rb
|
392
|
+
- specs/model_sugar.rb
|
393
|
+
- specs/search.rb
|
394
|
+
- specs/selected_set.rb
|
395
|
+
- specs/set_elements.rb
|
395
396
|
- specs/set_var.rb
|
397
|
+
- specs/spec_helper.rb
|
data/README
DELETED
@@ -1,51 +0,0 @@
|
|
1
|
-
= Gecode/R
|
2
|
-
|
3
|
-
Website: http://gecoder.org
|
4
|
-
|
5
|
-
Gecode/R is a Ruby interface to the Gecode constraint programming library.
|
6
|
-
Gecode/R is intended for people with no previous experience of constraint
|
7
|
-
programming, aiming to be easy to pick up and use.
|
8
|
-
|
9
|
-
See Gecode::Mixin to get started.
|
10
|
-
|
11
|
-
== Installation
|
12
|
-
|
13
|
-
Gecode/R requires Gecode 2.2.0, which can be downloaded from
|
14
|
-
http://www.gecode.org/download.html . See
|
15
|
-
http://www.gecode.org/gecode-doc-latest/PageComp.html for the installation
|
16
|
-
instructions.
|
17
|
-
|
18
|
-
=== Installing from gem
|
19
|
-
|
20
|
-
There are two gems. The first includes only Gecode/R, and assumes that you have
|
21
|
-
installed Gecode yourself. The second includes both Gecode/R and Gecode. If you
|
22
|
-
use Windows then you're recommended to use the second one, even though you
|
23
|
-
already have Gecode, as the other one does not come in a pre-compiled variant.
|
24
|
-
|
25
|
-
Gecode/R only:
|
26
|
-
gem install gecoder
|
27
|
-
|
28
|
-
Gecode/R and Gecode:
|
29
|
-
gem install gecoder-with-gecode
|
30
|
-
|
31
|
-
=== Installing from source using gem
|
32
|
-
|
33
|
-
rake gem
|
34
|
-
gem install pkg/gecoder-1.x.x.gem
|
35
|
-
|
36
|
-
=== Installing from source without using gem
|
37
|
-
|
38
|
-
"gecode.so" might have another extension depending on which platform it's
|
39
|
-
generated on (replace the extension in the following commands with whatever
|
40
|
-
extension it's given).
|
41
|
-
|
42
|
-
cd ext
|
43
|
-
ruby extconf.rb
|
44
|
-
make
|
45
|
-
mv gecode.so ../lib/
|
46
|
-
|
47
|
-
=== Running the tests
|
48
|
-
|
49
|
-
rake specs
|
50
|
-
|
51
|
-
Requires RSpec (1.0.5, but other version should hopefully work).
|
data/tasks/svn.rake
DELETED
@@ -1,16 +0,0 @@
|
|
1
|
-
require 'lib/gecoder/version'
|
2
|
-
|
3
|
-
desc "Tag the release in svn"
|
4
|
-
task :tag do
|
5
|
-
base_url = `svn info`.match(/Repository Root: (.*)/n)[1]
|
6
|
-
unless base_url.include? ENV['RUBYFORGE_USER']
|
7
|
-
base_url.gsub!('rubyforge', "#{ENV['RUBYFORGE_USER']}@rubyforge")
|
8
|
-
end
|
9
|
-
from = base_url + '/trunk'
|
10
|
-
to = base_url + "/tags/gecoder-#{GecodeR::VERSION}"
|
11
|
-
options = "-m \"Tag release Gecode/R #{GecodeR::VERSION}\""
|
12
|
-
|
13
|
-
puts "Creating tag in SVN"
|
14
|
-
tag_cmd = "svn cp #{from} #{to} #{options}"
|
15
|
-
`#{tag_cmd}` ; raise "ERROR: #{tag_cmd}" unless $? == 0
|
16
|
-
end
|