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