gecoder-with-gecode 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.
Files changed (14) hide show
  1. data/CHANGES +5 -0
  2. data/Gemfile +18 -0
  3. data/Gemfile.lock +30 -0
  4. data/README.md +58 -0
  5. data/Rakefile +4 -4
  6. data/lib/gecoder/version.rb +1 -1
  7. data/tasks/dependencies.txt +1 -21
  8. data/tasks/distribution.rake +13 -78
  9. data/tasks/rcov.rake +0 -2
  10. data/tasks/specs.rake +0 -2
  11. data/tasks/website.rake +0 -16
  12. metadata +864 -862
  13. data/README +0 -51
  14. 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 'rake/rdoctask'
4
- require 'rake/gempackagetask'
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
@@ -1,4 +1,4 @@
1
1
  module GecodeR #:nodoc:
2
2
  # A string representation of the Gecode/R version.
3
- VERSION = '1.1.0'
3
+ VERSION = '1.1.1'
4
4
  end
data/tasks/dependencies.txt CHANGED
@@ -1,23 +1,3 @@
1
- Doing the full "release" task requires a number of gems:
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 = Rake::RDocTask.new do |rdoc|
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
- Rake::RDocTask.new(:rdoc_dev => :prepare_rdoc_dev) do |rdoc|
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.email = "gecoder-users@rubyforge.org"
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
- Rake::GemPackageTask.new(spec) do |pkg|
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
- Rake::GemPackageTask.new(spec_with_gecode) do |pkg|
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
- Rake::GemPackageTask.new(spec_windows_binary_with_gecode) do |pkg|
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
@@ -1,4 +1,3 @@
1
- =begin
2
1
  require 'spec/rake/spectask'
3
2
  require 'spec/rake/verify_rcov'
4
3
 
@@ -17,4 +16,3 @@ RCov::VerifyTask.new(:verify_rcov => :rcov) do |t|
17
16
  t.threshold = 100.0
18
17
  t.index_html = "#{RCOV_DIR}/index.html"
19
18
  end
20
- =end
data/tasks/specs.rake CHANGED
@@ -1,4 +1,3 @@
1
- =begin
2
1
  require 'spec/rake/spectask'
3
2
 
4
3
  spec_files = FileList['specs/**/*.rb']
@@ -20,4 +19,3 @@ Spec::Rake::SpecTask.new(:spec_html) do |t|
20
19
  t.spec_files = spec_files
21
20
  t.spec_opts = ['--format html:doc/output/rspec.html','--backtrace']
22
21
  end
23
- =end
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-with-gecode
3
3
  version: !ruby/object:Gem::Version
4
- hash: 19
4
+ hash: 17
5
5
  prerelease:
6
6
  segments:
7
7
  - 1
8
8
  - 1
9
- - 0
10
- version: 1.1.0
9
+ - 1
10
+ version: 1.1.1
11
11
  platform: ruby
12
12
  authors:
13
13
  - Gecode/R Development Team
@@ -15,946 +15,947 @@ autorequire:
15
15
  bindir: bin
16
16
  cert_chain: []
17
17
 
18
- date: 2012-08-24 00:00:00 +02:00
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: gecoder-users@rubyforge.org
23
+ email:
24
24
  executables: []
25
25
 
26
26
  extensions:
27
27
  - ext/gecode-2.2.0/configure
28
28
  - ext/extconf.rb
29
29
  extra_rdoc_files:
30
- - README
30
+ - README.md
31
31
  - CHANGES
32
32
  - THANKS
33
33
  - LGPL-LICENSE
34
+ - lib/gecoder.rb
34
35
  - lib/gecoder/bindings.rb
35
- - lib/gecoder/version.rb
36
36
  - lib/gecoder/bindings/bindings.rb
37
37
  - lib/gecoder/interface.rb
38
- - lib/gecoder/interface/constraints/set_elements_constraints.rb
39
- - lib/gecoder/interface/constraints/int_enum_constraints.rb
40
- - lib/gecoder/interface/constraints/selected_set_constraints.rb
41
- - lib/gecoder/interface/constraints/set_enum/operation.rb
42
- - lib/gecoder/interface/constraints/set_enum/channel.rb
43
- - lib/gecoder/interface/constraints/set_enum/distinct.rb
44
- - lib/gecoder/interface/constraints/set_enum/element.rb
45
- - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
46
- - lib/gecoder/interface/constraints/fixnum_enum/element.rb
47
- - lib/gecoder/interface/constraints/set_var_constraints.rb
48
- - lib/gecoder/interface/constraints/bool_var_constraints.rb
49
- - lib/gecoder/interface/constraints/set/include.rb
50
- - lib/gecoder/interface/constraints/set/operation.rb
51
- - lib/gecoder/interface/constraints/set/channel.rb
52
- - lib/gecoder/interface/constraints/set/domain.rb
53
- - lib/gecoder/interface/constraints/set/cardinality.rb
54
- - lib/gecoder/interface/constraints/set/connection.rb
55
- - lib/gecoder/interface/constraints/set/relation.rb
56
- - lib/gecoder/interface/constraints/reifiable_constraints.rb
57
- - lib/gecoder/interface/constraints/bool_enum/extensional.rb
58
- - lib/gecoder/interface/constraints/bool_enum/channel.rb
59
- - lib/gecoder/interface/constraints/bool_enum/relation.rb
60
- - lib/gecoder/interface/constraints/set_elements/relation.rb
38
+ - lib/gecoder/interface/binding_changes.rb
39
+ - lib/gecoder/interface/branch.rb
40
+ - lib/gecoder/interface/constraints.rb
41
+ - lib/gecoder/interface/constraints/bool/boolean.rb
61
42
  - lib/gecoder/interface/constraints/bool/channel.rb
62
43
  - lib/gecoder/interface/constraints/bool/linear.rb
63
- - lib/gecoder/interface/constraints/bool/boolean.rb
64
- - lib/gecoder/interface/constraints/selected_set/select.rb
65
- - lib/gecoder/interface/constraints/extensional_regexp.rb
44
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
45
+ - lib/gecoder/interface/constraints/bool_enum/extensional.rb
46
+ - lib/gecoder/interface/constraints/bool_enum/relation.rb
66
47
  - lib/gecoder/interface/constraints/bool_enum_constraints.rb
67
- - lib/gecoder/interface/constraints/int_var_constraints.rb
48
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
49
+ - lib/gecoder/interface/constraints/extensional_regexp.rb
50
+ - lib/gecoder/interface/constraints/fixnum_enum/element.rb
51
+ - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
52
+ - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
53
+ - lib/gecoder/interface/constraints/int/arithmetic.rb
68
54
  - lib/gecoder/interface/constraints/int/channel.rb
69
55
  - lib/gecoder/interface/constraints/int/domain.rb
70
56
  - lib/gecoder/interface/constraints/int/linear.rb
71
57
  - lib/gecoder/interface/constraints/int/relation.rb
72
- - lib/gecoder/interface/constraints/int/arithmetic.rb
73
- - lib/gecoder/interface/constraints/int_enum/count.rb
74
- - lib/gecoder/interface/constraints/int_enum/extensional.rb
58
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
75
59
  - lib/gecoder/interface/constraints/int_enum/channel.rb
76
- - lib/gecoder/interface/constraints/int_enum/sort.rb
60
+ - lib/gecoder/interface/constraints/int_enum/count.rb
77
61
  - lib/gecoder/interface/constraints/int_enum/distinct.rb
78
62
  - lib/gecoder/interface/constraints/int_enum/element.rb
79
63
  - lib/gecoder/interface/constraints/int_enum/equality.rb
80
- - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
81
- - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
64
+ - lib/gecoder/interface/constraints/int_enum/extensional.rb
65
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
66
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
67
+ - lib/gecoder/interface/constraints/int_var_constraints.rb
68
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
69
+ - lib/gecoder/interface/constraints/selected_set/select.rb
70
+ - lib/gecoder/interface/constraints/selected_set_constraints.rb
71
+ - lib/gecoder/interface/constraints/set/cardinality.rb
72
+ - lib/gecoder/interface/constraints/set/channel.rb
73
+ - lib/gecoder/interface/constraints/set/connection.rb
74
+ - lib/gecoder/interface/constraints/set/domain.rb
75
+ - lib/gecoder/interface/constraints/set/include.rb
76
+ - lib/gecoder/interface/constraints/set/operation.rb
77
+ - lib/gecoder/interface/constraints/set/relation.rb
78
+ - lib/gecoder/interface/constraints/set_elements/relation.rb
79
+ - lib/gecoder/interface/constraints/set_elements_constraints.rb
80
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
81
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
82
+ - lib/gecoder/interface/constraints/set_enum/element.rb
83
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
82
84
  - lib/gecoder/interface/constraints/set_enum_constraints.rb
85
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
83
86
  - lib/gecoder/interface/convenience.rb
84
- - lib/gecoder/interface/branch.rb
85
- - lib/gecoder/interface/binding_changes.rb
86
- - lib/gecoder/interface/variables.rb
87
- - lib/gecoder/interface/search.rb
88
- - lib/gecoder/interface/mixin.rb
89
87
  - lib/gecoder/interface/enum_matrix.rb
90
88
  - lib/gecoder/interface/enum_wrapper.rb
91
- - lib/gecoder/interface/constraints.rb
92
- - lib/gecoder.rb
89
+ - lib/gecoder/interface/mixin.rb
90
+ - lib/gecoder/interface/search.rb
91
+ - lib/gecoder/interface/variables.rb
92
+ - lib/gecoder/version.rb
93
93
  files:
94
- - COPYING
95
- - README
96
94
  - CHANGES
95
+ - COPYING
96
+ - Gemfile
97
+ - Gemfile.lock
98
+ - LGPL-LICENSE
99
+ - README.md
97
100
  - Rakefile
98
101
  - THANKS
99
- - LGPL-LICENSE
102
+ - lib/gecoder.rb
100
103
  - lib/gecoder/bindings.rb
101
- - lib/gecoder/version.rb
102
104
  - lib/gecoder/bindings/bindings.rb
103
105
  - lib/gecoder/interface.rb
104
- - lib/gecoder/interface/constraints/set_elements_constraints.rb
105
- - lib/gecoder/interface/constraints/int_enum_constraints.rb
106
- - lib/gecoder/interface/constraints/selected_set_constraints.rb
107
- - lib/gecoder/interface/constraints/set_enum/operation.rb
108
- - lib/gecoder/interface/constraints/set_enum/channel.rb
109
- - lib/gecoder/interface/constraints/set_enum/distinct.rb
110
- - lib/gecoder/interface/constraints/set_enum/element.rb
111
- - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
112
- - lib/gecoder/interface/constraints/fixnum_enum/element.rb
113
- - lib/gecoder/interface/constraints/set_var_constraints.rb
114
- - lib/gecoder/interface/constraints/bool_var_constraints.rb
115
- - lib/gecoder/interface/constraints/set/include.rb
116
- - lib/gecoder/interface/constraints/set/operation.rb
117
- - lib/gecoder/interface/constraints/set/channel.rb
118
- - lib/gecoder/interface/constraints/set/domain.rb
119
- - lib/gecoder/interface/constraints/set/cardinality.rb
120
- - lib/gecoder/interface/constraints/set/connection.rb
121
- - lib/gecoder/interface/constraints/set/relation.rb
122
- - lib/gecoder/interface/constraints/reifiable_constraints.rb
123
- - lib/gecoder/interface/constraints/bool_enum/extensional.rb
124
- - lib/gecoder/interface/constraints/bool_enum/channel.rb
125
- - lib/gecoder/interface/constraints/bool_enum/relation.rb
126
- - lib/gecoder/interface/constraints/set_elements/relation.rb
106
+ - lib/gecoder/interface/binding_changes.rb
107
+ - lib/gecoder/interface/branch.rb
108
+ - lib/gecoder/interface/constraints.rb
109
+ - lib/gecoder/interface/constraints/bool/boolean.rb
127
110
  - lib/gecoder/interface/constraints/bool/channel.rb
128
111
  - lib/gecoder/interface/constraints/bool/linear.rb
129
- - lib/gecoder/interface/constraints/bool/boolean.rb
130
- - lib/gecoder/interface/constraints/selected_set/select.rb
131
- - lib/gecoder/interface/constraints/extensional_regexp.rb
112
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
113
+ - lib/gecoder/interface/constraints/bool_enum/extensional.rb
114
+ - lib/gecoder/interface/constraints/bool_enum/relation.rb
132
115
  - lib/gecoder/interface/constraints/bool_enum_constraints.rb
133
- - lib/gecoder/interface/constraints/int_var_constraints.rb
116
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
117
+ - lib/gecoder/interface/constraints/extensional_regexp.rb
118
+ - lib/gecoder/interface/constraints/fixnum_enum/element.rb
119
+ - lib/gecoder/interface/constraints/fixnum_enum/operation.rb
120
+ - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
121
+ - lib/gecoder/interface/constraints/int/arithmetic.rb
134
122
  - lib/gecoder/interface/constraints/int/channel.rb
135
123
  - lib/gecoder/interface/constraints/int/domain.rb
136
124
  - lib/gecoder/interface/constraints/int/linear.rb
137
125
  - lib/gecoder/interface/constraints/int/relation.rb
138
- - lib/gecoder/interface/constraints/int/arithmetic.rb
139
- - lib/gecoder/interface/constraints/int_enum/count.rb
140
- - lib/gecoder/interface/constraints/int_enum/extensional.rb
126
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
141
127
  - lib/gecoder/interface/constraints/int_enum/channel.rb
142
- - lib/gecoder/interface/constraints/int_enum/sort.rb
128
+ - lib/gecoder/interface/constraints/int_enum/count.rb
143
129
  - lib/gecoder/interface/constraints/int_enum/distinct.rb
144
130
  - lib/gecoder/interface/constraints/int_enum/element.rb
145
131
  - lib/gecoder/interface/constraints/int_enum/equality.rb
146
- - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
147
- - lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
132
+ - lib/gecoder/interface/constraints/int_enum/extensional.rb
133
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
134
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
135
+ - lib/gecoder/interface/constraints/int_var_constraints.rb
136
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
137
+ - lib/gecoder/interface/constraints/selected_set/select.rb
138
+ - lib/gecoder/interface/constraints/selected_set_constraints.rb
139
+ - lib/gecoder/interface/constraints/set/cardinality.rb
140
+ - lib/gecoder/interface/constraints/set/channel.rb
141
+ - lib/gecoder/interface/constraints/set/connection.rb
142
+ - lib/gecoder/interface/constraints/set/domain.rb
143
+ - lib/gecoder/interface/constraints/set/include.rb
144
+ - lib/gecoder/interface/constraints/set/operation.rb
145
+ - lib/gecoder/interface/constraints/set/relation.rb
146
+ - lib/gecoder/interface/constraints/set_elements/relation.rb
147
+ - lib/gecoder/interface/constraints/set_elements_constraints.rb
148
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
149
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
150
+ - lib/gecoder/interface/constraints/set_enum/element.rb
151
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
148
152
  - lib/gecoder/interface/constraints/set_enum_constraints.rb
153
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
149
154
  - lib/gecoder/interface/convenience.rb
150
- - lib/gecoder/interface/branch.rb
151
- - lib/gecoder/interface/binding_changes.rb
152
- - lib/gecoder/interface/variables.rb
153
- - lib/gecoder/interface/search.rb
154
- - lib/gecoder/interface/mixin.rb
155
155
  - lib/gecoder/interface/enum_matrix.rb
156
156
  - lib/gecoder/interface/enum_wrapper.rb
157
- - lib/gecoder/interface/constraints.rb
158
- - lib/gecoder.rb
159
- - example/send_most_money.rb
157
+ - lib/gecoder/interface/mixin.rb
158
+ - lib/gecoder/interface/search.rb
159
+ - lib/gecoder/interface/variables.rb
160
+ - lib/gecoder/version.rb
161
+ - example/equation_system.rb
162
+ - example/example_helper.rb
160
163
  - example/magic_sequence.rb
161
- - example/send_more_money.rb
162
- - example/sudoku.rb
164
+ - example/minesweeper.rb
163
165
  - example/nonogram.rb
164
- - example/survo.rb
166
+ - example/queens.rb
167
+ - example/send_more_money.rb
168
+ - example/send_most_money.rb
165
169
  - example/square_tiling.rb
166
- - example/minesweeper.rb
167
- - example/equation_system.rb
168
170
  - example/sudoku-set.rb
169
- - example/example_helper.rb
170
- - example/queens.rb
171
+ - example/sudoku.rb
172
+ - example/survo.rb
171
173
  - vendor/rust/README
172
174
  - vendor/rust/bin/cxxgenerator.rb
173
- - vendor/rust/rust.rb
174
- - vendor/rust/test/cppclass.hh
175
- - vendor/rust/test/lib/extension-test.rb
176
- - vendor/rust/test/operators.cc
177
- - vendor/rust/test/test-constants.rb
178
- - vendor/rust/test/constants.rb
179
- - vendor/rust/test/operators.rb
180
- - vendor/rust/test/cppclass.cc
181
- - vendor/rust/test/cppclass.rb
182
- - vendor/rust/test/cwrapper.rb
183
- - vendor/rust/test/operators.hh
184
- - vendor/rust/test/Makefile
185
- - vendor/rust/test/dummyclass.hh
186
- - vendor/rust/test/test-cppclass.rb
187
- - vendor/rust/test/test-cwrapper.rb
188
- - vendor/rust/test/cwrapper.h
189
- - vendor/rust/test/test-operators.rb
190
- - vendor/rust/test/cwrapper.c
191
- - vendor/rust/include/rust_conversions.hh
192
175
  - vendor/rust/include/rust_checks.hh
193
- - vendor/rust/rust/class.rb
194
- - vendor/rust/rust/function.rb
176
+ - vendor/rust/include/rust_conversions.hh
177
+ - vendor/rust/rust.rb
178
+ - vendor/rust/rust/attribute.rb
195
179
  - vendor/rust/rust/bindings.rb
196
- - vendor/rust/rust/type.rb
197
- - vendor/rust/rust/container.rb
180
+ - vendor/rust/rust/class.rb
198
181
  - vendor/rust/rust/constants.rb
199
- - vendor/rust/rust/cxxclass.rb
200
- - vendor/rust/rust/attribute.rb
201
- - vendor/rust/rust/namespace.rb
202
- - vendor/rust/rust/cwrapper.rb
182
+ - vendor/rust/rust/container.rb
203
183
  - vendor/rust/rust/cppifaceparser.rb
184
+ - vendor/rust/rust/cwrapper.rb
185
+ - vendor/rust/rust/cxxclass.rb
204
186
  - vendor/rust/rust/element.rb
205
187
  - vendor/rust/rust/enum.rb
206
- - vendor/rust/rust/templates/VariableFunctionCall.rusttpl
207
- - vendor/rust/rust/templates/AttributeInitBinding.rusttpl
208
- - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
209
- - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
210
- - vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
211
- - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
212
- - vendor/rust/rust/templates/CxxMethodStub.rusttpl
188
+ - vendor/rust/rust/function.rb
189
+ - vendor/rust/rust/namespace.rb
213
190
  - vendor/rust/rust/templates/AttributeDefinition.rusttpl
214
- - vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
215
- - vendor/rust/rust/templates/ClassInitialize.rusttpl
216
- - vendor/rust/rust/templates/ClassDeclarations.rusttpl
191
+ - vendor/rust/rust/templates/AttributeInitBinding.rusttpl
192
+ - vendor/rust/rust/templates/BindingsHeader.rusttpl
217
193
  - vendor/rust/rust/templates/BindingsUnit.rusttpl
218
- - vendor/rust/rust/templates/EnumDefinitions.rusttpl
194
+ - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
195
+ - vendor/rust/rust/templates/ClassDeclarations.rusttpl
196
+ - vendor/rust/rust/templates/ClassInitialize.rusttpl
219
197
  - vendor/rust/rust/templates/ConstructorStub.rusttpl
220
- - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
221
- - vendor/rust/rust/templates/FunctionDefinition.rusttpl
198
+ - vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
199
+ - vendor/rust/rust/templates/CxxMethodStub.rusttpl
200
+ - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
222
201
  - vendor/rust/rust/templates/EnumDeclarations.rusttpl
202
+ - vendor/rust/rust/templates/EnumDefinitions.rusttpl
203
+ - vendor/rust/rust/templates/FunctionDefinition.rusttpl
223
204
  - vendor/rust/rust/templates/FunctionInitAlias.rusttpl
205
+ - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
224
206
  - vendor/rust/rust/templates/MethodInitBinding.rusttpl
225
- - vendor/rust/rust/templates/BindingsHeader.rusttpl
226
- - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
227
- - tasks/specs.rake
228
- - tasks/svn.rake
229
- - tasks/distribution.rake
230
- - tasks/dependencies.txt
231
- - tasks/rcov.rake
232
- - tasks/all_tasks.rb
233
- - tasks/website.rake
234
- - specs/constraints/reification_sugar.rb
235
- - specs/constraints/property_helper.rb
236
- - specs/constraints/set_enum/operation.rb
237
- - specs/constraints/set_enum/channel.rb
238
- - specs/constraints/set_enum/distinct.rb
239
- - specs/constraints/set_enum/element.rb
240
- - specs/constraints/constraint_receivers.rb
241
- - specs/constraints/fixnum_enum/operation.rb
242
- - specs/constraints/fixnum_enum/element.rb
243
- - specs/constraints/operands.rb
244
- - specs/constraints/set/include.rb
245
- - specs/constraints/set/operation.rb
246
- - specs/constraints/set/channel.rb
247
- - specs/constraints/set/cardinality_properties.rb
248
- - specs/constraints/set/domain.rb
249
- - specs/constraints/set/cardinality.rb
250
- - specs/constraints/set/connection.rb
251
- - specs/constraints/set/relation.rb
252
- - specs/constraints/constraint_helper.rb
253
- - specs/constraints/bool_enum/bool_enum_relation.rb
254
- - specs/constraints/bool_enum/extensional.rb
255
- - specs/constraints/bool_enum/channel.rb
256
- - specs/constraints/set_elements/relation.rb
207
+ - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
208
+ - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
209
+ - vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
210
+ - vendor/rust/rust/templates/VariableFunctionCall.rusttpl
211
+ - vendor/rust/rust/type.rb
212
+ - vendor/rust/test/Makefile
213
+ - vendor/rust/test/constants.rb
214
+ - vendor/rust/test/cppclass.cc
215
+ - vendor/rust/test/cppclass.hh
216
+ - vendor/rust/test/cppclass.rb
217
+ - vendor/rust/test/cwrapper.c
218
+ - vendor/rust/test/cwrapper.h
219
+ - vendor/rust/test/cwrapper.rb
220
+ - vendor/rust/test/dummyclass.hh
221
+ - vendor/rust/test/lib/extension-test.rb
222
+ - vendor/rust/test/operators.cc
223
+ - vendor/rust/test/operators.hh
224
+ - vendor/rust/test/operators.rb
225
+ - vendor/rust/test/test-constants.rb
226
+ - vendor/rust/test/test-cppclass.rb
227
+ - vendor/rust/test/test-cwrapper.rb
228
+ - vendor/rust/test/test-operators.rb
229
+ - tasks/all_tasks.rb
230
+ - tasks/dependencies.txt
231
+ - tasks/distribution.rake
232
+ - tasks/rcov.rake
233
+ - tasks/specs.rake
234
+ - tasks/website.rake
235
+ - specs/bool_var.rb
236
+ - specs/branch.rb
237
+ - specs/constraints/bool/boolean.rb
257
238
  - specs/constraints/bool/boolean_properties.rb
258
239
  - specs/constraints/bool/linear.rb
259
- - specs/constraints/bool/boolean.rb
260
- - specs/constraints/selected_set/select_properties.rb
261
- - specs/constraints/selected_set/select.rb
240
+ - specs/constraints/bool_enum/bool_enum_relation.rb
241
+ - specs/constraints/bool_enum/channel.rb
242
+ - specs/constraints/bool_enum/extensional.rb
243
+ - specs/constraints/constraint_helper.rb
244
+ - specs/constraints/constraint_receivers.rb
262
245
  - specs/constraints/constraints.rb
263
- - specs/constraints/int/linear_properties.rb
246
+ - specs/constraints/fixnum_enum/element.rb
247
+ - specs/constraints/fixnum_enum/operation.rb
248
+ - specs/constraints/int/arithmetic.rb
264
249
  - specs/constraints/int/channel.rb
265
250
  - specs/constraints/int/domain.rb
266
251
  - specs/constraints/int/linear.rb
252
+ - specs/constraints/int/linear_properties.rb
267
253
  - specs/constraints/int/relation.rb
268
- - specs/constraints/int/arithmetic.rb
269
- - specs/constraints/int_enum/count.rb
270
- - specs/constraints/int_enum/extensional.rb
254
+ - specs/constraints/int_enum/arithmetic.rb
271
255
  - specs/constraints/int_enum/channel.rb
272
- - specs/constraints/int_enum/sort.rb
256
+ - specs/constraints/int_enum/count.rb
273
257
  - specs/constraints/int_enum/distinct.rb
274
258
  - specs/constraints/int_enum/element.rb
275
259
  - specs/constraints/int_enum/equality.rb
276
- - specs/constraints/int_enum/arithmetic.rb
277
- - specs/model_sugar.rb
278
- - specs/branch.rb
279
- - specs/model.rb
280
- - specs/spec_helper.rb
281
- - specs/search.rb
282
- - specs/set_elements.rb
283
- - specs/examples.rb
284
- - specs/bool_var.rb
285
- - specs/selected_set.rb
286
- - specs/int_var.rb
260
+ - specs/constraints/int_enum/extensional.rb
261
+ - specs/constraints/int_enum/sort.rb
262
+ - specs/constraints/operands.rb
263
+ - specs/constraints/property_helper.rb
264
+ - specs/constraints/reification_sugar.rb
265
+ - specs/constraints/selected_set/select.rb
266
+ - specs/constraints/selected_set/select_properties.rb
267
+ - specs/constraints/set/cardinality.rb
268
+ - specs/constraints/set/cardinality_properties.rb
269
+ - specs/constraints/set/channel.rb
270
+ - specs/constraints/set/connection.rb
271
+ - specs/constraints/set/domain.rb
272
+ - specs/constraints/set/include.rb
273
+ - specs/constraints/set/operation.rb
274
+ - specs/constraints/set/relation.rb
275
+ - specs/constraints/set_elements/relation.rb
276
+ - specs/constraints/set_enum/channel.rb
277
+ - specs/constraints/set_enum/distinct.rb
278
+ - specs/constraints/set_enum/element.rb
279
+ - specs/constraints/set_enum/operation.rb
287
280
  - specs/distribution.rb
288
- - specs/mixin.rb
289
281
  - specs/enum_matrix.rb
290
282
  - specs/enum_wrapper.rb
283
+ - specs/examples.rb
284
+ - specs/int_var.rb
291
285
  - specs/logging.rb
286
+ - specs/mixin.rb
287
+ - specs/model.rb
288
+ - specs/model_sugar.rb
289
+ - specs/search.rb
290
+ - specs/selected_set.rb
291
+ - specs/set_elements.rb
292
292
  - specs/set_var.rb
293
+ - specs/spec_helper.rb
293
294
  - ext/gecoder.cpp
294
295
  - ext/vararray.cpp
295
- - ext/vararray.h
296
296
  - ext/gecoder.h
297
+ - ext/vararray.h
297
298
  - ext/extconf.rb
298
- - ext/gecode-2.2.0/configure
299
299
  - ext/gecode-2.2.0/LICENSE
300
- - ext/gecode-2.2.0/variables.vsl
301
- - ext/gecode-2.2.0/gecode.m4
302
- - ext/gecode-2.2.0/doxygen/doxygen.hh.in
303
- - ext/gecode-2.2.0/doxygen/doxygen.conf.in
304
- - ext/gecode-2.2.0/doxygen/reflection.hh
300
+ - ext/gecode-2.2.0/Makefile.contribs
305
301
  - ext/gecode-2.2.0/Makefile.dep
306
- - ext/gecode-2.2.0/misc/genlicense.perl
307
- - ext/gecode-2.2.0/misc/AppleHelpbookInfo.plist
308
- - ext/gecode-2.2.0/misc/gecode-serialization.pc.in
309
- - ext/gecode-2.2.0/misc/svn-ignore.txt
310
- - ext/gecode-2.2.0/misc/gecode-gist.pc.in
311
- - ext/gecode-2.2.0/misc/doxygen/stylesheet.css
312
- - ext/gecode-2.2.0/misc/doxygen/header.html
313
- - ext/gecode-2.2.0/misc/doxygen/gecode-logo-100.png
314
- - ext/gecode-2.2.0/misc/doxygen/back.png
315
- - ext/gecode-2.2.0/misc/doxygen/footer.html
316
- - ext/gecode-2.2.0/misc/gecode.pc.in
317
- - ext/gecode-2.2.0/misc/gecode-minimodel.pc.in
318
- - ext/gecode-2.2.0/misc/genstatistics.perl
319
- - ext/gecode-2.2.0/misc/genregistry.perl
320
- - ext/gecode-2.2.0/misc/genchangelog.perl
321
- - ext/gecode-2.2.0/misc/gentxtchangelog.perl
322
- - ext/gecode-2.2.0/misc/debian/gecode.info
323
- - ext/gecode-2.2.0/misc/debian/Makefile.am
324
- - ext/gecode-2.2.0/misc/debian/gecode.install
325
- - ext/gecode-2.2.0/misc/debian/changelog
326
- - ext/gecode-2.2.0/misc/debian/copyright
327
- - ext/gecode-2.2.0/misc/debian/gecode.spec
328
- - ext/gecode-2.2.0/misc/debian/rules
329
- - ext/gecode-2.2.0/misc/debian/control
330
- - ext/gecode-2.2.0/misc/genvariables.perl
331
- - ext/gecode-2.2.0/misc/makedepend.perl
332
- - ext/gecode-2.2.0/misc/allexamples.perl
333
- - ext/gecode-2.2.0/misc/genlcovmakefile.perl
334
- - ext/gecode-2.2.0/misc/getrevision.perl
335
- - ext/gecode-2.2.0/misc/fixproperties.sh
336
- - ext/gecode-2.2.0/misc/gecode-search.pc.in
337
- - ext/gecode-2.2.0/install-sh
302
+ - ext/gecode-2.2.0/Makefile.in
303
+ - ext/gecode-2.2.0/changelog.in
304
+ - ext/gecode-2.2.0/configure
338
305
  - ext/gecode-2.2.0/configure.ac
306
+ - ext/gecode-2.2.0/configure.ac.in
307
+ - ext/gecode-2.2.0/contribs/README
308
+ - ext/gecode-2.2.0/contribs/qecode/Doxyfile
309
+ - ext/gecode-2.2.0/contribs/qecode/Implicative.cc
310
+ - ext/gecode-2.2.0/contribs/qecode/Implicative.hh
311
+ - ext/gecode-2.2.0/contribs/qecode/Makefile.in.in
312
+ - ext/gecode-2.2.0/contribs/qecode/OptVar.cc
313
+ - ext/gecode-2.2.0/contribs/qecode/OptVar.hh
314
+ - ext/gecode-2.2.0/contribs/qecode/Strategy.cc
315
+ - ext/gecode-2.2.0/contribs/qecode/Strategy.hh
316
+ - ext/gecode-2.2.0/contribs/qecode/StrategyNode.cc
317
+ - ext/gecode-2.2.0/contribs/qecode/StrategyNode.hh
318
+ - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/output.0
319
+ - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/requests
320
+ - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/traces.0
321
+ - ext/gecode-2.2.0/contribs/qecode/config.log
322
+ - ext/gecode-2.2.0/contribs/qecode/config.status
323
+ - ext/gecode-2.2.0/contribs/qecode/configure
324
+ - ext/gecode-2.2.0/contribs/qecode/configure.ac
325
+ - ext/gecode-2.2.0/contribs/qecode/examples/COMPILING
326
+ - ext/gecode-2.2.0/contribs/qecode/examples/MatrixGame.cpp
327
+ - ext/gecode-2.2.0/contribs/qecode/examples/NimFibo.cpp
328
+ - ext/gecode-2.2.0/contribs/qecode/examples/connect-5-3-3-3.cpp
329
+ - ext/gecode-2.2.0/contribs/qecode/examples/network-pricing.cc
330
+ - ext/gecode-2.2.0/contribs/qecode/examples/optim2.cc
331
+ - ext/gecode-2.2.0/contribs/qecode/examples/stress_test.cpp
332
+ - ext/gecode-2.2.0/contribs/qecode/heap.cc
333
+ - ext/gecode-2.2.0/contribs/qecode/myDom.cc
334
+ - ext/gecode-2.2.0/contribs/qecode/myspace.cc
335
+ - ext/gecode-2.2.0/contribs/qecode/myspace.hh
336
+ - ext/gecode-2.2.0/contribs/qecode/qecode.hh
337
+ - ext/gecode-2.2.0/contribs/qecode/qsolver.cc
338
+ - ext/gecode-2.2.0/contribs/qecode/qsolver.hh
339
+ - ext/gecode-2.2.0/contribs/qecode/shortdesc.ac
340
+ - ext/gecode-2.2.0/contribs/qecode/vartype.hh
341
+ - ext/gecode-2.2.0/doxygen/doxygen.conf.in
342
+ - ext/gecode-2.2.0/doxygen/doxygen.hh.in
343
+ - ext/gecode-2.2.0/doxygen/reflection.hh
344
+ - ext/gecode-2.2.0/examples/all-interval.cc
345
+ - ext/gecode-2.2.0/examples/alpha.cc
346
+ - ext/gecode-2.2.0/examples/bacp.cc
347
+ - ext/gecode-2.2.0/examples/baseline.cc
339
348
  - ext/gecode-2.2.0/examples/bibd.cc
340
- - ext/gecode-2.2.0/examples/sports-league.cc
349
+ - ext/gecode-2.2.0/examples/black-hole.cc
350
+ - ext/gecode-2.2.0/examples/crew.cc
341
351
  - ext/gecode-2.2.0/examples/crowded-chess.cc
342
- - ext/gecode-2.2.0/examples/queen-armies.cc
352
+ - ext/gecode-2.2.0/examples/domino.cc
353
+ - ext/gecode-2.2.0/examples/donald.cc
354
+ - ext/gecode-2.2.0/examples/eq20.cc
343
355
  - ext/gecode-2.2.0/examples/golf.cc
344
- - ext/gecode-2.2.0/examples/support.hh
345
- - ext/gecode-2.2.0/examples/nonogram.cc
346
- - ext/gecode-2.2.0/examples/bacp.cc
347
- - ext/gecode-2.2.0/examples/stress-linear-bool.cc
348
- - ext/gecode-2.2.0/examples/perfect-square.cc
349
- - ext/gecode-2.2.0/examples/tsp.cc
350
- - ext/gecode-2.2.0/examples/stress-element.cc
356
+ - ext/gecode-2.2.0/examples/golomb-ruler.cc
351
357
  - ext/gecode-2.2.0/examples/graph-color.cc
352
- - ext/gecode-2.2.0/examples/crew.cc
353
- - ext/gecode-2.2.0/examples/stress-search.cc
354
- - ext/gecode-2.2.0/examples/stress-extensional.cc
355
- - ext/gecode-2.2.0/examples/kakuro.cc
356
358
  - ext/gecode-2.2.0/examples/grocery.cc
357
359
  - ext/gecode-2.2.0/examples/hamming.cc
358
- - ext/gecode-2.2.0/examples/steiner.cc
359
- - ext/gecode-2.2.0/examples/eq20.cc
360
- - ext/gecode-2.2.0/examples/partition.cc
361
- - ext/gecode-2.2.0/examples/support/example.cc
362
- - ext/gecode-2.2.0/examples/support/options.icc
363
- - ext/gecode-2.2.0/examples/support/options.cc
364
- - ext/gecode-2.2.0/examples/support/example.icc
365
- - ext/gecode-2.2.0/examples/stress-exec.cc
366
- - ext/gecode-2.2.0/examples/queens.js
367
- - ext/gecode-2.2.0/examples/baseline.cc
368
- - ext/gecode-2.2.0/examples/stress-min.cc
369
- - ext/gecode-2.2.0/examples/queens.cc
370
- - ext/gecode-2.2.0/examples/magic-square.cc
371
- - ext/gecode-2.2.0/examples/golomb-ruler.cc
372
- - ext/gecode-2.2.0/examples/warehouses.cc
373
- - ext/gecode-2.2.0/examples/ortho-latin.cc
360
+ - ext/gecode-2.2.0/examples/ind-set.cc
374
361
  - ext/gecode-2.2.0/examples/javascript.cc
375
- - ext/gecode-2.2.0/examples/black-hole.cc
376
- - ext/gecode-2.2.0/examples/photo.cc
377
- - ext/gecode-2.2.0/examples/sudoku.cc
378
- - ext/gecode-2.2.0/examples/magic-sequence.cc
379
- - ext/gecode-2.2.0/examples/all-interval.cc
362
+ - ext/gecode-2.2.0/examples/kakuro.cc
380
363
  - ext/gecode-2.2.0/examples/knights.cc
381
- - ext/gecode-2.2.0/examples/domino.cc
382
- - ext/gecode-2.2.0/examples/stress-domain.cc
383
- - ext/gecode-2.2.0/examples/pentominoes.cc
384
- - ext/gecode-2.2.0/examples/donald.cc
385
- - ext/gecode-2.2.0/examples/alpha.cc
386
- - ext/gecode-2.2.0/examples/minesweeper.cc
387
- - ext/gecode-2.2.0/examples/ind-set.cc
388
- - ext/gecode-2.2.0/examples/stress-distinct.cc
389
364
  - ext/gecode-2.2.0/examples/langford-number.cc
365
+ - ext/gecode-2.2.0/examples/magic-sequence.cc
366
+ - ext/gecode-2.2.0/examples/magic-square.cc
367
+ - ext/gecode-2.2.0/examples/minesweeper.cc
390
368
  - ext/gecode-2.2.0/examples/money.cc
391
- - ext/gecode-2.2.0/configure.ac.in
392
- - ext/gecode-2.2.0/changelog.in
393
- - ext/gecode-2.2.0/test/set.cc
394
- - ext/gecode-2.2.0/test/set.hh
395
- - ext/gecode-2.2.0/test/test.cc
396
- - ext/gecode-2.2.0/test/assign.cc
397
- - ext/gecode-2.2.0/test/branch.hh
398
- - ext/gecode-2.2.0/test/cpltset/cardinality.cc
399
- - ext/gecode-2.2.0/test/cpltset/dom.cc
400
- - ext/gecode-2.2.0/test/cpltset/atmost.cc
401
- - ext/gecode-2.2.0/test/cpltset/partition.cc
402
- - ext/gecode-2.2.0/test/cpltset/rel.cc
403
- - ext/gecode-2.2.0/test/cpltset/select.cc
404
- - ext/gecode-2.2.0/test/test.hh
405
- - ext/gecode-2.2.0/test/set.icc
406
- - ext/gecode-2.2.0/test/search.cc
407
- - ext/gecode-2.2.0/test/int.hh
408
- - ext/gecode-2.2.0/test/cpltset.cc
409
- - ext/gecode-2.2.0/test/set/distinct.cc
410
- - ext/gecode-2.2.0/test/set/rel-op.cc
411
- - ext/gecode-2.2.0/test/set/dom.cc
412
- - ext/gecode-2.2.0/test/set/rel.cc
413
- - ext/gecode-2.2.0/test/set/sequence.cc
414
- - ext/gecode-2.2.0/test/set/select.cc
415
- - ext/gecode-2.2.0/test/set/int.cc
416
- - ext/gecode-2.2.0/test/set/convex.cc
417
- - ext/gecode-2.2.0/test/set/projection.cc
418
- - ext/gecode-2.2.0/test/set/rel-op-const.cc
419
- - ext/gecode-2.2.0/test/cpltset.hh
420
- - ext/gecode-2.2.0/test/int.cc
421
- - ext/gecode-2.2.0/test/test.icc
422
- - ext/gecode-2.2.0/test/assign/int.cc
423
- - ext/gecode-2.2.0/test/assign/bool.cc
424
- - ext/gecode-2.2.0/test/assign.hh
425
- - ext/gecode-2.2.0/test/int/element.cc
426
- - ext/gecode-2.2.0/test/int/distinct.cc
427
- - ext/gecode-2.2.0/test/int/unshare.cc
428
- - ext/gecode-2.2.0/test/int/mm-lin.cc
429
- - ext/gecode-2.2.0/test/int/extensional.cc
430
- - ext/gecode-2.2.0/test/int/count.cc
431
- - ext/gecode-2.2.0/test/int/dom.cc
432
- - ext/gecode-2.2.0/test/int/linear.cc
433
- - ext/gecode-2.2.0/test/int/scheduling.cc
434
- - ext/gecode-2.2.0/test/int/circuit.cc
435
- - ext/gecode-2.2.0/test/int/rel.cc
436
- - ext/gecode-2.2.0/test/int/mm-bool.cc
437
- - ext/gecode-2.2.0/test/int/channel.cc
438
- - ext/gecode-2.2.0/test/int/arithmetic.cc
439
- - ext/gecode-2.2.0/test/int/sorted.cc
440
- - ext/gecode-2.2.0/test/int/bool.cc
441
- - ext/gecode-2.2.0/test/int/gcc.cc
442
- - ext/gecode-2.2.0/test/int/mm-count.cc
443
- - ext/gecode-2.2.0/test/int/basic.cc
444
- - ext/gecode-2.2.0/test/int/mm-rel.cc
445
- - ext/gecode-2.2.0/test/int/mm-arithmetic.cc
446
- - ext/gecode-2.2.0/test/branch.cc
447
- - ext/gecode-2.2.0/test/branch/set.cc
448
- - ext/gecode-2.2.0/test/branch/cpltset.cc
449
- - ext/gecode-2.2.0/test/branch/int.cc
450
- - ext/gecode-2.2.0/test/branch/bool.cc
451
- - ext/gecode-2.2.0/test/int.icc
452
- - ext/gecode-2.2.0/gecode/gist/node.icc
453
- - ext/gecode-2.2.0/gecode/gist/addchild.hh
454
- - ext/gecode-2.2.0/gecode/gist/node.hh
455
- - ext/gecode-2.2.0/gecode/gist/drawingcursor.cc
456
- - ext/gecode-2.2.0/gecode/gist/mainwindow.cc
457
- - ext/gecode-2.2.0/gecode/gist/visualisation/varitem.hh
458
- - ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.hh
459
- - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.cc
460
- - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayitem.hh
461
- - ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.cc
462
- - ext/gecode-2.2.0/gecode/gist/visualisation/varitem.cc
463
- - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.hh
464
- - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayviewt.hh
465
- - ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.cc
466
- - ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.hh
467
- - ext/gecode-2.2.0/gecode/gist/test.cc
468
- - ext/gecode-2.2.0/gecode/gist/addchild.cc
469
- - ext/gecode-2.2.0/gecode/gist/mainwindow.hh
470
- - ext/gecode-2.2.0/gecode/gist/layoutcursor.hh
471
- - ext/gecode-2.2.0/gecode/gist/zoomToFitIcon.icc
472
- - ext/gecode-2.2.0/gecode/gist/layoutcursor.cc
473
- - ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.hh
474
- - ext/gecode-2.2.0/gecode/gist/spacenode.hh
475
- - ext/gecode-2.2.0/gecode/gist/nodecursor.hh
476
- - ext/gecode-2.2.0/gecode/gist/config.cc
477
- - ext/gecode-2.2.0/gecode/gist/visualnode.hh
478
- - ext/gecode-2.2.0/gecode/gist/ui_addvisualisationdialog.hh
479
- - ext/gecode-2.2.0/gecode/gist/drawingcursor.icc
480
- - ext/gecode-2.2.0/gecode/gist/better.hh
481
- - ext/gecode-2.2.0/gecode/gist/preferences.hh
482
- - ext/gecode-2.2.0/gecode/gist/treecanvas.hh
483
- - ext/gecode-2.2.0/gecode/gist/nodecursor.cc
484
- - ext/gecode-2.2.0/gecode/gist/ui_addchild.hh
485
- - ext/gecode-2.2.0/gecode/gist/layoutcursor.icc
486
- - ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.cc
487
- - ext/gecode-2.2.0/gecode/gist/nodevisitor.icc
488
- - ext/gecode-2.2.0/gecode/gist/visualnode.cc
489
- - ext/gecode-2.2.0/gecode/gist/config.hh
490
- - ext/gecode-2.2.0/gecode/gist/node.cc
491
- - ext/gecode-2.2.0/gecode/gist/textoutput.cc
492
- - ext/gecode-2.2.0/gecode/gist/gecodelogo.cc
493
- - ext/gecode-2.2.0/gecode/gist/visualnode.icc
494
- - ext/gecode-2.2.0/gecode/gist/spacenode.cc
495
- - ext/gecode-2.2.0/gecode/gist/drawingcursor.hh
496
- - ext/gecode-2.2.0/gecode/gist/treecanvas.cc
497
- - ext/gecode-2.2.0/gecode/gist/nodevisitor.hh
498
- - ext/gecode-2.2.0/gecode/gist/textoutput.hh
499
- - ext/gecode-2.2.0/gecode/gist/gecodelogo.hh
500
- - ext/gecode-2.2.0/gecode/gist/nodecursor.icc
501
- - ext/gecode-2.2.0/gecode/gist/preferences.cc
502
- - ext/gecode-2.2.0/gecode/gist/gist.icc
503
- - ext/gecode-2.2.0/gecode/gist/spacenode.icc
504
- - ext/gecode-2.2.0/gecode/gist/gist.cc
505
- - ext/gecode-2.2.0/gecode/iter/values-minus.icc
506
- - ext/gecode-2.2.0/gecode/iter/ranges-negative.icc
507
- - ext/gecode-2.2.0/gecode/iter/ranges-add.icc
508
- - ext/gecode-2.2.0/gecode/iter/ranges-union.icc
509
- - ext/gecode-2.2.0/gecode/iter/values-unique.icc
510
- - ext/gecode-2.2.0/gecode/iter/ranges-diff.icc
511
- - ext/gecode-2.2.0/gecode/iter/values-array.icc
512
- - ext/gecode-2.2.0/gecode/iter/ranges-scale.icc
513
- - ext/gecode-2.2.0/gecode/iter/ranges-operations.icc
514
- - ext/gecode-2.2.0/gecode/iter/ranges-append.icc
515
- - ext/gecode-2.2.0/gecode/iter/ranges-empty.icc
516
- - ext/gecode-2.2.0/gecode/iter/ranges-minmax.icc
517
- - ext/gecode-2.2.0/gecode/iter/ranges-values.icc
518
- - ext/gecode-2.2.0/gecode/iter/ranges-compl.icc
519
- - ext/gecode-2.2.0/gecode/iter/ranges-map.icc
520
- - ext/gecode-2.2.0/gecode/iter/ranges-singleton-append.icc
521
- - ext/gecode-2.2.0/gecode/iter/virtual-ranges-compl.icc
522
- - ext/gecode-2.2.0/gecode/iter/ranges-size.icc
523
- - ext/gecode-2.2.0/gecode/iter/values-ranges.icc
524
- - ext/gecode-2.2.0/gecode/iter/ranges-offset.icc
525
- - ext/gecode-2.2.0/gecode/iter/ranges-inter.icc
526
- - ext/gecode-2.2.0/gecode/iter/values-inter.icc
527
- - ext/gecode-2.2.0/gecode/iter/values-map.icc
528
- - ext/gecode-2.2.0/gecode/iter/ranges-array.icc
529
- - ext/gecode-2.2.0/gecode/iter/values-singleton.icc
530
- - ext/gecode-2.2.0/gecode/iter/values-union.icc
531
- - ext/gecode-2.2.0/gecode/iter/ranges-singleton.icc
532
- - ext/gecode-2.2.0/gecode/iter/values-positive.icc
533
- - ext/gecode-2.2.0/gecode/iter/values-negative.icc
534
- - ext/gecode-2.2.0/gecode/iter/ranges-cache.icc
535
- - ext/gecode-2.2.0/gecode/iter/ranges-positive.icc
536
- - ext/gecode-2.2.0/gecode/iter/virtual-ranges-inter.icc
537
- - ext/gecode-2.2.0/gecode/iter/values-offset.icc
538
- - ext/gecode-2.2.0/gecode/iter/ranges-minus.icc
539
- - ext/gecode-2.2.0/gecode/iter/virtual-ranges.icc
540
- - ext/gecode-2.2.0/gecode/iter/virtual-ranges-union.icc
541
- - ext/gecode-2.2.0/gecode/search.hh
542
- - ext/gecode-2.2.0/gecode/support.hh
543
- - ext/gecode-2.2.0/gecode/set.hh
544
- - ext/gecode-2.2.0/gecode/serialization/register.cc
545
- - ext/gecode-2.2.0/gecode/serialization/javascript.cc
546
- - ext/gecode-2.2.0/gecode/serialization/boost.icc
547
- - ext/gecode-2.2.0/gecode/serialization/flatzinc.cc
548
- - ext/gecode-2.2.0/gecode/serialization/boost.cc
549
- - ext/gecode-2.2.0/gecode/serialization/javascript.hh
550
- - ext/gecode-2.2.0/gecode/kernel/var-map.icc
551
- - ext/gecode-2.2.0/gecode/kernel/view.icc
552
- - ext/gecode-2.2.0/gecode/kernel/branching.icc
553
- - ext/gecode-2.2.0/gecode/kernel/var-map.cc
554
- - ext/gecode-2.2.0/gecode/kernel/reflection.cc
555
- - ext/gecode-2.2.0/gecode/kernel/reflection.icc
556
- - ext/gecode-2.2.0/gecode/kernel/propagator.icc
557
- - ext/gecode-2.2.0/gecode/kernel/var-traits.icc
558
- - ext/gecode-2.2.0/gecode/kernel/exception.icc
559
- - ext/gecode-2.2.0/gecode/kernel/array.icc
560
- - ext/gecode-2.2.0/gecode/kernel/var-imp.icc
561
- - ext/gecode-2.2.0/gecode/kernel/core.icc
562
- - ext/gecode-2.2.0/gecode/kernel/var-type.icc
563
- - ext/gecode-2.2.0/gecode/kernel/advisor.icc
564
- - ext/gecode-2.2.0/gecode/kernel/memory-manager.icc
565
- - ext/gecode-2.2.0/gecode/kernel/modevent.icc
566
- - ext/gecode-2.2.0/gecode/kernel/macros.icc
567
- - ext/gecode-2.2.0/gecode/kernel/core.cc
568
- - ext/gecode-2.2.0/gecode/kernel/var-type.cc
569
- - ext/gecode-2.2.0/gecode/kernel/shared-array.icc
570
- - ext/gecode-2.2.0/gecode/kernel/var.icc
571
- - ext/gecode-2.2.0/gecode/kernel/memory-manager.cc
572
- - ext/gecode-2.2.0/gecode/cpltset/propagators.hh
573
- - ext/gecode-2.2.0/gecode/cpltset/view.icc
574
- - ext/gecode-2.2.0/gecode/cpltset/constraints/distinct.cc
369
+ - ext/gecode-2.2.0/examples/nonogram.cc
370
+ - ext/gecode-2.2.0/examples/ortho-latin.cc
371
+ - ext/gecode-2.2.0/examples/partition.cc
372
+ - ext/gecode-2.2.0/examples/pentominoes.cc
373
+ - ext/gecode-2.2.0/examples/perfect-square.cc
374
+ - ext/gecode-2.2.0/examples/photo.cc
375
+ - ext/gecode-2.2.0/examples/queen-armies.cc
376
+ - ext/gecode-2.2.0/examples/queens.cc
377
+ - ext/gecode-2.2.0/examples/queens.js
378
+ - ext/gecode-2.2.0/examples/sports-league.cc
379
+ - ext/gecode-2.2.0/examples/steiner.cc
380
+ - ext/gecode-2.2.0/examples/stress-distinct.cc
381
+ - ext/gecode-2.2.0/examples/stress-domain.cc
382
+ - ext/gecode-2.2.0/examples/stress-element.cc
383
+ - ext/gecode-2.2.0/examples/stress-exec.cc
384
+ - ext/gecode-2.2.0/examples/stress-extensional.cc
385
+ - ext/gecode-2.2.0/examples/stress-linear-bool.cc
386
+ - ext/gecode-2.2.0/examples/stress-min.cc
387
+ - ext/gecode-2.2.0/examples/stress-search.cc
388
+ - ext/gecode-2.2.0/examples/sudoku.cc
389
+ - ext/gecode-2.2.0/examples/support.hh
390
+ - ext/gecode-2.2.0/examples/support/example.cc
391
+ - ext/gecode-2.2.0/examples/support/example.icc
392
+ - ext/gecode-2.2.0/examples/support/options.cc
393
+ - ext/gecode-2.2.0/examples/support/options.icc
394
+ - ext/gecode-2.2.0/examples/tsp.cc
395
+ - ext/gecode-2.2.0/examples/warehouses.cc
396
+ - ext/gecode-2.2.0/gecode.m4
397
+ - ext/gecode-2.2.0/gecode/cpltset.hh
398
+ - ext/gecode-2.2.0/gecode/cpltset/array.cc
399
+ - ext/gecode-2.2.0/gecode/cpltset/array.icc
400
+ - ext/gecode-2.2.0/gecode/cpltset/bddmanager.cc
401
+ - ext/gecode-2.2.0/gecode/cpltset/bddmanager.icc
402
+ - ext/gecode-2.2.0/gecode/cpltset/branch.cc
403
+ - ext/gecode-2.2.0/gecode/cpltset/branch.hh
404
+ - ext/gecode-2.2.0/gecode/cpltset/branch/select-val.icc
405
+ - ext/gecode-2.2.0/gecode/cpltset/branch/select-view.icc
406
+ - ext/gecode-2.2.0/gecode/cpltset/constraints/atmost.cc
575
407
  - ext/gecode-2.2.0/gecode/cpltset/constraints/cardinality.cc
408
+ - ext/gecode-2.2.0/gecode/cpltset/constraints/distinct.cc
576
409
  - ext/gecode-2.2.0/gecode/cpltset/constraints/dom.cc
577
- - ext/gecode-2.2.0/gecode/cpltset/constraints/atmost.cc
578
410
  - ext/gecode-2.2.0/gecode/cpltset/constraints/partition.cc
411
+ - ext/gecode-2.2.0/gecode/cpltset/constraints/rangeroots.cc
579
412
  - ext/gecode-2.2.0/gecode/cpltset/constraints/rel.cc
580
- - ext/gecode-2.2.0/gecode/cpltset/constraints/singleton.cc
581
413
  - ext/gecode-2.2.0/gecode/cpltset/constraints/select.cc
582
- - ext/gecode-2.2.0/gecode/cpltset/constraints/rangeroots.cc
583
- - ext/gecode-2.2.0/gecode/cpltset/support.cc
584
- - ext/gecode-2.2.0/gecode/cpltset/bddmanager.icc
585
- - ext/gecode-2.2.0/gecode/cpltset/var/cpltset.icc
586
- - ext/gecode-2.2.0/gecode/cpltset/var/cpltset.cc
587
- - ext/gecode-2.2.0/gecode/cpltset/branch.hh
414
+ - ext/gecode-2.2.0/gecode/cpltset/constraints/singleton.cc
588
415
  - ext/gecode-2.2.0/gecode/cpltset/exception.icc
589
- - ext/gecode-2.2.0/gecode/cpltset/array.icc
416
+ - ext/gecode-2.2.0/gecode/cpltset/propagators.hh
417
+ - ext/gecode-2.2.0/gecode/cpltset/propagators/binary.icc
418
+ - ext/gecode-2.2.0/gecode/cpltset/propagators/nary.icc
419
+ - ext/gecode-2.2.0/gecode/cpltset/propagators/naryone.icc
420
+ - ext/gecode-2.2.0/gecode/cpltset/propagators/narytwo.icc
421
+ - ext/gecode-2.2.0/gecode/cpltset/propagators/singleton.icc
422
+ - ext/gecode-2.2.0/gecode/cpltset/propagators/unary.icc
423
+ - ext/gecode-2.2.0/gecode/cpltset/support.cc
424
+ - ext/gecode-2.2.0/gecode/cpltset/support.icc
590
425
  - ext/gecode-2.2.0/gecode/cpltset/var-imp.icc
426
+ - ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.cc
591
427
  - ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.icc
592
428
  - ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.vis
593
- - ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.cc
594
- - ext/gecode-2.2.0/gecode/cpltset/bddmanager.cc
595
- - ext/gecode-2.2.0/gecode/cpltset/support.icc
429
+ - ext/gecode-2.2.0/gecode/cpltset/var/cpltset.cc
430
+ - ext/gecode-2.2.0/gecode/cpltset/var/cpltset.icc
431
+ - ext/gecode-2.2.0/gecode/cpltset/view.icc
596
432
  - ext/gecode-2.2.0/gecode/cpltset/view/cpltset.icc
597
433
  - ext/gecode-2.2.0/gecode/cpltset/view/print.cc
598
- - ext/gecode-2.2.0/gecode/cpltset/array.cc
599
- - ext/gecode-2.2.0/gecode/cpltset/branch.cc
600
- - ext/gecode-2.2.0/gecode/cpltset/propagators/naryone.icc
601
- - ext/gecode-2.2.0/gecode/cpltset/propagators/narytwo.icc
602
- - ext/gecode-2.2.0/gecode/cpltset/propagators/singleton.icc
603
- - ext/gecode-2.2.0/gecode/cpltset/propagators/binary.icc
604
- - ext/gecode-2.2.0/gecode/cpltset/propagators/unary.icc
605
- - ext/gecode-2.2.0/gecode/cpltset/propagators/nary.icc
606
- - ext/gecode-2.2.0/gecode/cpltset/branch/select-view.icc
607
- - ext/gecode-2.2.0/gecode/cpltset/branch/select-val.icc
608
- - ext/gecode-2.2.0/gecode/support/cast.icc
609
- - ext/gecode-2.2.0/gecode/support/config.icc.in
610
- - ext/gecode-2.2.0/gecode/support/sentinel-stack.icc
611
- - ext/gecode-2.2.0/gecode/support/map.icc
612
- - ext/gecode-2.2.0/gecode/support/exception.cc
613
- - ext/gecode-2.2.0/gecode/support/dynamic-array.icc
614
- - ext/gecode-2.2.0/gecode/support/buddy/config.h
615
- - ext/gecode-2.2.0/gecode/support/buddy/prime.h
616
- - ext/gecode-2.2.0/gecode/support/buddy/bvec.h
617
- - ext/gecode-2.2.0/gecode/support/buddy/imatrix.c
618
- - ext/gecode-2.2.0/gecode/support/buddy/ChangeLog
619
- - ext/gecode-2.2.0/gecode/support/buddy/README
620
- - ext/gecode-2.2.0/gecode/support/buddy/kernel.c
621
- - ext/gecode-2.2.0/gecode/support/buddy/NEWS
622
- - ext/gecode-2.2.0/gecode/support/buddy/fdd.h
623
- - ext/gecode-2.2.0/gecode/support/buddy/cppext.cc
624
- - ext/gecode-2.2.0/gecode/support/buddy/bvec.c
625
- - ext/gecode-2.2.0/gecode/support/buddy/bdd.h
626
- - ext/gecode-2.2.0/gecode/support/buddy/reorder.c
627
- - ext/gecode-2.2.0/gecode/support/buddy/cache.h
628
- - ext/gecode-2.2.0/gecode/support/buddy/cache.c
629
- - ext/gecode-2.2.0/gecode/support/buddy/AUTHORS
630
- - ext/gecode-2.2.0/gecode/support/buddy/imatrix.h
631
- - ext/gecode-2.2.0/gecode/support/buddy/kernel.h
632
- - ext/gecode-2.2.0/gecode/support/buddy/tree.c
633
- - ext/gecode-2.2.0/gecode/support/buddy/bddop.c
634
- - ext/gecode-2.2.0/gecode/support/buddy/prime.c
635
- - ext/gecode-2.2.0/gecode/support/buddy/bddio.c
636
- - ext/gecode-2.2.0/gecode/support/buddy/pairs.c
637
- - ext/gecode-2.2.0/gecode/support/buddy/bddtree.h
638
- - ext/gecode-2.2.0/gecode/support/buddy/fdd.c
639
- - ext/gecode-2.2.0/gecode/support/symbol.cc
640
- - ext/gecode-2.2.0/gecode/support/exception.icc
641
- - ext/gecode-2.2.0/gecode/support/static-stack.icc
642
- - ext/gecode-2.2.0/gecode/support/sort.icc
643
- - ext/gecode-2.2.0/gecode/support/static-pqueue.icc
644
- - ext/gecode-2.2.0/gecode/support/dynamic-stack.icc
645
- - ext/gecode-2.2.0/gecode/support/marked-pointer.icc
646
- - ext/gecode-2.2.0/gecode/support/random.icc
647
- - ext/gecode-2.2.0/gecode/support/macros.icc
648
- - ext/gecode-2.2.0/gecode/support/symbol.icc
649
- - ext/gecode-2.2.0/gecode/support/block-allocator.icc
650
- - ext/gecode-2.2.0/gecode/support/memory.icc
434
+ - ext/gecode-2.2.0/gecode/gist.hh
435
+ - ext/gecode-2.2.0/gecode/gist/addchild.cc
436
+ - ext/gecode-2.2.0/gecode/gist/addchild.hh
437
+ - ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.cc
438
+ - ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.hh
439
+ - ext/gecode-2.2.0/gecode/gist/better.hh
440
+ - ext/gecode-2.2.0/gecode/gist/config.cc
441
+ - ext/gecode-2.2.0/gecode/gist/config.hh
442
+ - ext/gecode-2.2.0/gecode/gist/drawingcursor.cc
443
+ - ext/gecode-2.2.0/gecode/gist/drawingcursor.hh
444
+ - ext/gecode-2.2.0/gecode/gist/drawingcursor.icc
445
+ - ext/gecode-2.2.0/gecode/gist/gecodelogo.cc
446
+ - ext/gecode-2.2.0/gecode/gist/gecodelogo.hh
447
+ - ext/gecode-2.2.0/gecode/gist/gist.cc
448
+ - ext/gecode-2.2.0/gecode/gist/gist.icc
449
+ - ext/gecode-2.2.0/gecode/gist/layoutcursor.cc
450
+ - ext/gecode-2.2.0/gecode/gist/layoutcursor.hh
451
+ - ext/gecode-2.2.0/gecode/gist/layoutcursor.icc
452
+ - ext/gecode-2.2.0/gecode/gist/mainwindow.cc
453
+ - ext/gecode-2.2.0/gecode/gist/mainwindow.hh
454
+ - ext/gecode-2.2.0/gecode/gist/node.cc
455
+ - ext/gecode-2.2.0/gecode/gist/node.hh
456
+ - ext/gecode-2.2.0/gecode/gist/node.icc
457
+ - ext/gecode-2.2.0/gecode/gist/nodecursor.cc
458
+ - ext/gecode-2.2.0/gecode/gist/nodecursor.hh
459
+ - ext/gecode-2.2.0/gecode/gist/nodecursor.icc
460
+ - ext/gecode-2.2.0/gecode/gist/nodevisitor.hh
461
+ - ext/gecode-2.2.0/gecode/gist/nodevisitor.icc
462
+ - ext/gecode-2.2.0/gecode/gist/preferences.cc
463
+ - ext/gecode-2.2.0/gecode/gist/preferences.hh
464
+ - ext/gecode-2.2.0/gecode/gist/spacenode.cc
465
+ - ext/gecode-2.2.0/gecode/gist/spacenode.hh
466
+ - ext/gecode-2.2.0/gecode/gist/spacenode.icc
467
+ - ext/gecode-2.2.0/gecode/gist/test.cc
468
+ - ext/gecode-2.2.0/gecode/gist/textoutput.cc
469
+ - ext/gecode-2.2.0/gecode/gist/textoutput.hh
470
+ - ext/gecode-2.2.0/gecode/gist/treecanvas.cc
471
+ - ext/gecode-2.2.0/gecode/gist/treecanvas.hh
472
+ - ext/gecode-2.2.0/gecode/gist/ui_addchild.hh
473
+ - ext/gecode-2.2.0/gecode/gist/ui_addvisualisationdialog.hh
474
+ - ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.cc
475
+ - ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.hh
476
+ - ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.cc
477
+ - ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.hh
478
+ - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayitem.hh
479
+ - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.cc
480
+ - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.hh
481
+ - ext/gecode-2.2.0/gecode/gist/visualisation/vararrayviewt.hh
482
+ - ext/gecode-2.2.0/gecode/gist/visualisation/varitem.cc
483
+ - ext/gecode-2.2.0/gecode/gist/visualisation/varitem.hh
484
+ - ext/gecode-2.2.0/gecode/gist/visualnode.cc
485
+ - ext/gecode-2.2.0/gecode/gist/visualnode.hh
486
+ - ext/gecode-2.2.0/gecode/gist/visualnode.icc
487
+ - ext/gecode-2.2.0/gecode/gist/zoomToFitIcon.icc
651
488
  - ext/gecode-2.2.0/gecode/int.hh
489
+ - ext/gecode-2.2.0/gecode/int/arithmetic.cc
490
+ - ext/gecode-2.2.0/gecode/int/arithmetic.hh
491
+ - ext/gecode-2.2.0/gecode/int/arithmetic/abs.icc
492
+ - ext/gecode-2.2.0/gecode/int/arithmetic/divmod.icc
493
+ - ext/gecode-2.2.0/gecode/int/arithmetic/max.icc
494
+ - ext/gecode-2.2.0/gecode/int/arithmetic/mult.icc
495
+ - ext/gecode-2.2.0/gecode/int/arithmetic/sqr.icc
496
+ - ext/gecode-2.2.0/gecode/int/arithmetic/sqrt.icc
497
+ - ext/gecode-2.2.0/gecode/int/array.cc
498
+ - ext/gecode-2.2.0/gecode/int/array.icc
499
+ - ext/gecode-2.2.0/gecode/int/bool.cc
500
+ - ext/gecode-2.2.0/gecode/int/bool.hh
501
+ - ext/gecode-2.2.0/gecode/int/bool/base.icc
502
+ - ext/gecode-2.2.0/gecode/int/bool/eq.icc
503
+ - ext/gecode-2.2.0/gecode/int/bool/eqv.icc
504
+ - ext/gecode-2.2.0/gecode/int/bool/lq.icc
505
+ - ext/gecode-2.2.0/gecode/int/bool/or.icc
506
+ - ext/gecode-2.2.0/gecode/int/branch.cc
507
+ - ext/gecode-2.2.0/gecode/int/branch.hh
508
+ - ext/gecode-2.2.0/gecode/int/branch/create-branch.icc
509
+ - ext/gecode-2.2.0/gecode/int/branch/select-val.icc
510
+ - ext/gecode-2.2.0/gecode/int/branch/select-view.icc
511
+ - ext/gecode-2.2.0/gecode/int/channel.cc
512
+ - ext/gecode-2.2.0/gecode/int/channel.hh
513
+ - ext/gecode-2.2.0/gecode/int/channel/base.icc
514
+ - ext/gecode-2.2.0/gecode/int/channel/dom.icc
515
+ - ext/gecode-2.2.0/gecode/int/channel/link-multi.cc
516
+ - ext/gecode-2.2.0/gecode/int/channel/link-multi.icc
517
+ - ext/gecode-2.2.0/gecode/int/channel/link-single.cc
518
+ - ext/gecode-2.2.0/gecode/int/channel/link-single.icc
519
+ - ext/gecode-2.2.0/gecode/int/channel/val.icc
520
+ - ext/gecode-2.2.0/gecode/int/circuit.cc
521
+ - ext/gecode-2.2.0/gecode/int/circuit.hh
522
+ - ext/gecode-2.2.0/gecode/int/circuit/base.icc
523
+ - ext/gecode-2.2.0/gecode/int/circuit/dom.icc
524
+ - ext/gecode-2.2.0/gecode/int/circuit/val.icc
525
+ - ext/gecode-2.2.0/gecode/int/count.cc
526
+ - ext/gecode-2.2.0/gecode/int/count.hh
527
+ - ext/gecode-2.2.0/gecode/int/count/int.icc
528
+ - ext/gecode-2.2.0/gecode/int/count/rel.icc
529
+ - ext/gecode-2.2.0/gecode/int/count/view.icc
530
+ - ext/gecode-2.2.0/gecode/int/cumulatives.cc
531
+ - ext/gecode-2.2.0/gecode/int/cumulatives.hh
532
+ - ext/gecode-2.2.0/gecode/int/cumulatives/val.icc
533
+ - ext/gecode-2.2.0/gecode/int/distinct.cc
534
+ - ext/gecode-2.2.0/gecode/int/distinct.hh
535
+ - ext/gecode-2.2.0/gecode/int/distinct/bilink.icc
536
+ - ext/gecode-2.2.0/gecode/int/distinct/bnd.icc
537
+ - ext/gecode-2.2.0/gecode/int/distinct/combptr.icc
538
+ - ext/gecode-2.2.0/gecode/int/distinct/dom.icc
539
+ - ext/gecode-2.2.0/gecode/int/distinct/edge.icc
540
+ - ext/gecode-2.2.0/gecode/int/distinct/node.icc
541
+ - ext/gecode-2.2.0/gecode/int/distinct/ter-dom.icc
542
+ - ext/gecode-2.2.0/gecode/int/distinct/val.icc
543
+ - ext/gecode-2.2.0/gecode/int/dom.cc
544
+ - ext/gecode-2.2.0/gecode/int/dom.hh
545
+ - ext/gecode-2.2.0/gecode/int/dom/range.icc
546
+ - ext/gecode-2.2.0/gecode/int/dom/spec.icc
547
+ - ext/gecode-2.2.0/gecode/int/element.cc
548
+ - ext/gecode-2.2.0/gecode/int/element.hh
549
+ - ext/gecode-2.2.0/gecode/int/element/int.icc
550
+ - ext/gecode-2.2.0/gecode/int/element/view.icc
551
+ - ext/gecode-2.2.0/gecode/int/exception.icc
552
+ - ext/gecode-2.2.0/gecode/int/extensional.cc
553
+ - ext/gecode-2.2.0/gecode/int/extensional.hh
554
+ - ext/gecode-2.2.0/gecode/int/extensional/base.icc
555
+ - ext/gecode-2.2.0/gecode/int/extensional/basic.icc
556
+ - ext/gecode-2.2.0/gecode/int/extensional/bitset.icc
557
+ - ext/gecode-2.2.0/gecode/int/extensional/dfa.cc
558
+ - ext/gecode-2.2.0/gecode/int/extensional/dfa.icc
559
+ - ext/gecode-2.2.0/gecode/int/extensional/incremental.icc
560
+ - ext/gecode-2.2.0/gecode/int/extensional/layered-graph.icc
561
+ - ext/gecode-2.2.0/gecode/int/extensional/tuple-set.cc
562
+ - ext/gecode-2.2.0/gecode/int/extensional/tuple-set.icc
563
+ - ext/gecode-2.2.0/gecode/int/gcc.cc
564
+ - ext/gecode-2.2.0/gecode/int/gcc.hh
565
+ - ext/gecode-2.2.0/gecode/int/gcc/bnd.icc
566
+ - ext/gecode-2.2.0/gecode/int/gcc/dom.icc
567
+ - ext/gecode-2.2.0/gecode/int/gcc/gccbndsup.icc
568
+ - ext/gecode-2.2.0/gecode/int/gcc/graphsup.icc
569
+ - ext/gecode-2.2.0/gecode/int/gcc/lbc.icc
570
+ - ext/gecode-2.2.0/gecode/int/gcc/occur.icc
571
+ - ext/gecode-2.2.0/gecode/int/gcc/ubc.icc
572
+ - ext/gecode-2.2.0/gecode/int/gcc/val.icc
573
+ - ext/gecode-2.2.0/gecode/int/int-set.cc
574
+ - ext/gecode-2.2.0/gecode/int/int-set.icc
575
+ - ext/gecode-2.2.0/gecode/int/limits.icc
576
+ - ext/gecode-2.2.0/gecode/int/linear-bool.cc
577
+ - ext/gecode-2.2.0/gecode/int/linear-int.cc
578
+ - ext/gecode-2.2.0/gecode/int/linear.hh
579
+ - ext/gecode-2.2.0/gecode/int/linear/bool-int.icc
580
+ - ext/gecode-2.2.0/gecode/int/linear/bool-post.cc
581
+ - ext/gecode-2.2.0/gecode/int/linear/bool-scale.icc
582
+ - ext/gecode-2.2.0/gecode/int/linear/bool-view.icc
583
+ - ext/gecode-2.2.0/gecode/int/linear/int-bin.icc
584
+ - ext/gecode-2.2.0/gecode/int/linear/int-dom.icc
585
+ - ext/gecode-2.2.0/gecode/int/linear/int-nary.icc
586
+ - ext/gecode-2.2.0/gecode/int/linear/int-noview.icc
587
+ - ext/gecode-2.2.0/gecode/int/linear/int-post.cc
588
+ - ext/gecode-2.2.0/gecode/int/linear/int-ter.icc
589
+ - ext/gecode-2.2.0/gecode/int/linear/post.icc
590
+ - ext/gecode-2.2.0/gecode/int/propagator.icc
591
+ - ext/gecode-2.2.0/gecode/int/rel.cc
592
+ - ext/gecode-2.2.0/gecode/int/rel.hh
593
+ - ext/gecode-2.2.0/gecode/int/rel/eq.icc
594
+ - ext/gecode-2.2.0/gecode/int/rel/lex.icc
595
+ - ext/gecode-2.2.0/gecode/int/rel/lq-le.icc
596
+ - ext/gecode-2.2.0/gecode/int/rel/nq.icc
597
+ - ext/gecode-2.2.0/gecode/int/sorted.cc
598
+ - ext/gecode-2.2.0/gecode/int/sorted.hh
599
+ - ext/gecode-2.2.0/gecode/int/sorted/matching.icc
600
+ - ext/gecode-2.2.0/gecode/int/sorted/narrowing.icc
601
+ - ext/gecode-2.2.0/gecode/int/sorted/order.icc
602
+ - ext/gecode-2.2.0/gecode/int/sorted/propagate.icc
603
+ - ext/gecode-2.2.0/gecode/int/sorted/sortsup.icc
604
+ - ext/gecode-2.2.0/gecode/int/support-values.hh
605
+ - ext/gecode-2.2.0/gecode/int/support-values.icc
606
+ - ext/gecode-2.2.0/gecode/int/unshare.cc
607
+ - ext/gecode-2.2.0/gecode/int/var-imp.icc
608
+ - ext/gecode-2.2.0/gecode/int/var-imp/bool.cc
609
+ - ext/gecode-2.2.0/gecode/int/var-imp/bool.icc
610
+ - ext/gecode-2.2.0/gecode/int/var-imp/bool.vis
611
+ - ext/gecode-2.2.0/gecode/int/var-imp/delta.icc
612
+ - ext/gecode-2.2.0/gecode/int/var-imp/int.cc
613
+ - ext/gecode-2.2.0/gecode/int/var-imp/int.icc
614
+ - ext/gecode-2.2.0/gecode/int/var-imp/int.vis
615
+ - ext/gecode-2.2.0/gecode/int/var/bool.cc
616
+ - ext/gecode-2.2.0/gecode/int/var/bool.icc
617
+ - ext/gecode-2.2.0/gecode/int/var/int.cc
618
+ - ext/gecode-2.2.0/gecode/int/var/int.icc
619
+ - ext/gecode-2.2.0/gecode/int/view.icc
620
+ - ext/gecode-2.2.0/gecode/int/view/bool.icc
621
+ - ext/gecode-2.2.0/gecode/int/view/constint.icc
622
+ - ext/gecode-2.2.0/gecode/int/view/int.icc
623
+ - ext/gecode-2.2.0/gecode/int/view/iter.icc
624
+ - ext/gecode-2.2.0/gecode/int/view/minus.icc
625
+ - ext/gecode-2.2.0/gecode/int/view/offset.icc
626
+ - ext/gecode-2.2.0/gecode/int/view/print.cc
627
+ - ext/gecode-2.2.0/gecode/int/view/rtest.icc
628
+ - ext/gecode-2.2.0/gecode/int/view/scale.icc
629
+ - ext/gecode-2.2.0/gecode/int/view/zero.icc
652
630
  - ext/gecode-2.2.0/gecode/iter.hh
631
+ - ext/gecode-2.2.0/gecode/iter/ranges-add.icc
632
+ - ext/gecode-2.2.0/gecode/iter/ranges-append.icc
633
+ - ext/gecode-2.2.0/gecode/iter/ranges-array.icc
634
+ - ext/gecode-2.2.0/gecode/iter/ranges-cache.icc
635
+ - ext/gecode-2.2.0/gecode/iter/ranges-compl.icc
636
+ - ext/gecode-2.2.0/gecode/iter/ranges-diff.icc
637
+ - ext/gecode-2.2.0/gecode/iter/ranges-empty.icc
638
+ - ext/gecode-2.2.0/gecode/iter/ranges-inter.icc
639
+ - ext/gecode-2.2.0/gecode/iter/ranges-map.icc
640
+ - ext/gecode-2.2.0/gecode/iter/ranges-minmax.icc
641
+ - ext/gecode-2.2.0/gecode/iter/ranges-minus.icc
642
+ - ext/gecode-2.2.0/gecode/iter/ranges-negative.icc
643
+ - ext/gecode-2.2.0/gecode/iter/ranges-offset.icc
644
+ - ext/gecode-2.2.0/gecode/iter/ranges-operations.icc
645
+ - ext/gecode-2.2.0/gecode/iter/ranges-positive.icc
646
+ - ext/gecode-2.2.0/gecode/iter/ranges-scale.icc
647
+ - ext/gecode-2.2.0/gecode/iter/ranges-singleton-append.icc
648
+ - ext/gecode-2.2.0/gecode/iter/ranges-singleton.icc
649
+ - ext/gecode-2.2.0/gecode/iter/ranges-size.icc
650
+ - ext/gecode-2.2.0/gecode/iter/ranges-union.icc
651
+ - ext/gecode-2.2.0/gecode/iter/ranges-values.icc
652
+ - ext/gecode-2.2.0/gecode/iter/values-array.icc
653
+ - ext/gecode-2.2.0/gecode/iter/values-inter.icc
654
+ - ext/gecode-2.2.0/gecode/iter/values-map.icc
655
+ - ext/gecode-2.2.0/gecode/iter/values-minus.icc
656
+ - ext/gecode-2.2.0/gecode/iter/values-negative.icc
657
+ - ext/gecode-2.2.0/gecode/iter/values-offset.icc
658
+ - ext/gecode-2.2.0/gecode/iter/values-positive.icc
659
+ - ext/gecode-2.2.0/gecode/iter/values-ranges.icc
660
+ - ext/gecode-2.2.0/gecode/iter/values-singleton.icc
661
+ - ext/gecode-2.2.0/gecode/iter/values-union.icc
662
+ - ext/gecode-2.2.0/gecode/iter/values-unique.icc
663
+ - ext/gecode-2.2.0/gecode/iter/virtual-ranges-compl.icc
664
+ - ext/gecode-2.2.0/gecode/iter/virtual-ranges-inter.icc
665
+ - ext/gecode-2.2.0/gecode/iter/virtual-ranges-union.icc
666
+ - ext/gecode-2.2.0/gecode/iter/virtual-ranges.icc
653
667
  - ext/gecode-2.2.0/gecode/kernel.hh
654
- - ext/gecode-2.2.0/gecode/set/view.icc
655
- - ext/gecode-2.2.0/gecode/set/distinct/atmostOne.cc
656
- - ext/gecode-2.2.0/gecode/set/distinct/atmostOne.icc
657
- - ext/gecode-2.2.0/gecode/set/element.cc
658
- - ext/gecode-2.2.0/gecode/set/distinct.cc
659
- - ext/gecode-2.2.0/gecode/set/projectors/projector-set.cc
660
- - ext/gecode-2.2.0/gecode/set/projectors/set-expr.cc
661
- - ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.cc
662
- - ext/gecode-2.2.0/gecode/set/projectors/propagator/card.icc
663
- - ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.icc
664
- - ext/gecode-2.2.0/gecode/set/projectors/propagator/nary.icc
665
- - ext/gecode-2.2.0/gecode/set/projectors/propagator.hh
666
- - ext/gecode-2.2.0/gecode/set/projectors/projector-set.icc
667
- - ext/gecode-2.2.0/gecode/set/projectors/compiler.cc
668
- - ext/gecode-2.2.0/gecode/set/projectors/formula.icc
669
- - ext/gecode-2.2.0/gecode/set/projectors/projector.cc
670
- - ext/gecode-2.2.0/gecode/set/projectors/formula.cc
671
- - ext/gecode-2.2.0/gecode/set/projectors/projector.icc
672
- - ext/gecode-2.2.0/gecode/set/projectors/set-expr.icc
668
+ - ext/gecode-2.2.0/gecode/kernel/advisor.icc
669
+ - ext/gecode-2.2.0/gecode/kernel/array.icc
670
+ - ext/gecode-2.2.0/gecode/kernel/branching.icc
671
+ - ext/gecode-2.2.0/gecode/kernel/core.cc
672
+ - ext/gecode-2.2.0/gecode/kernel/core.icc
673
+ - ext/gecode-2.2.0/gecode/kernel/exception.icc
674
+ - ext/gecode-2.2.0/gecode/kernel/macros.icc
675
+ - ext/gecode-2.2.0/gecode/kernel/memory-manager.cc
676
+ - ext/gecode-2.2.0/gecode/kernel/memory-manager.icc
677
+ - ext/gecode-2.2.0/gecode/kernel/modevent.icc
678
+ - ext/gecode-2.2.0/gecode/kernel/propagator.icc
679
+ - ext/gecode-2.2.0/gecode/kernel/reflection.cc
680
+ - ext/gecode-2.2.0/gecode/kernel/reflection.icc
681
+ - ext/gecode-2.2.0/gecode/kernel/shared-array.icc
682
+ - ext/gecode-2.2.0/gecode/kernel/var-imp.icc
683
+ - ext/gecode-2.2.0/gecode/kernel/var-map.cc
684
+ - ext/gecode-2.2.0/gecode/kernel/var-map.icc
685
+ - ext/gecode-2.2.0/gecode/kernel/var-traits.icc
686
+ - ext/gecode-2.2.0/gecode/kernel/var-type.cc
687
+ - ext/gecode-2.2.0/gecode/kernel/var-type.icc
688
+ - ext/gecode-2.2.0/gecode/kernel/var.icc
689
+ - ext/gecode-2.2.0/gecode/kernel/view.icc
690
+ - ext/gecode-2.2.0/gecode/minimodel.hh
691
+ - ext/gecode-2.2.0/gecode/minimodel/arithmetic.icc
692
+ - ext/gecode-2.2.0/gecode/minimodel/bool-expr.cc
693
+ - ext/gecode-2.2.0/gecode/minimodel/bool-expr.icc
694
+ - ext/gecode-2.2.0/gecode/minimodel/bool-rel.icc
695
+ - ext/gecode-2.2.0/gecode/minimodel/exception.icc
696
+ - ext/gecode-2.2.0/gecode/minimodel/lin-expr.icc
697
+ - ext/gecode-2.2.0/gecode/minimodel/lin-rel.icc
698
+ - ext/gecode-2.2.0/gecode/minimodel/matrix.icc
699
+ - ext/gecode-2.2.0/gecode/minimodel/reg.cc
700
+ - ext/gecode-2.2.0/gecode/search.hh
701
+ - ext/gecode-2.2.0/gecode/search/bab.cc
702
+ - ext/gecode-2.2.0/gecode/search/bab.icc
703
+ - ext/gecode-2.2.0/gecode/search/dfs.cc
704
+ - ext/gecode-2.2.0/gecode/search/dfs.icc
705
+ - ext/gecode-2.2.0/gecode/search/engine-ctrl.icc
706
+ - ext/gecode-2.2.0/gecode/search/lds.cc
707
+ - ext/gecode-2.2.0/gecode/search/lds.icc
708
+ - ext/gecode-2.2.0/gecode/search/options.cc
709
+ - ext/gecode-2.2.0/gecode/search/options.icc
710
+ - ext/gecode-2.2.0/gecode/search/reco-stack.icc
711
+ - ext/gecode-2.2.0/gecode/search/restart.icc
712
+ - ext/gecode-2.2.0/gecode/search/statistics.icc
713
+ - ext/gecode-2.2.0/gecode/search/stop.cc
714
+ - ext/gecode-2.2.0/gecode/search/stop.icc
715
+ - ext/gecode-2.2.0/gecode/serialization.hh
716
+ - ext/gecode-2.2.0/gecode/serialization/boost.cc
717
+ - ext/gecode-2.2.0/gecode/serialization/boost.icc
718
+ - ext/gecode-2.2.0/gecode/serialization/flatzinc.cc
719
+ - ext/gecode-2.2.0/gecode/serialization/javascript.cc
720
+ - ext/gecode-2.2.0/gecode/serialization/javascript.hh
721
+ - ext/gecode-2.2.0/gecode/serialization/register.cc
722
+ - ext/gecode-2.2.0/gecode/set.hh
723
+ - ext/gecode-2.2.0/gecode/set/array.cc
724
+ - ext/gecode-2.2.0/gecode/set/array.icc
725
+ - ext/gecode-2.2.0/gecode/set/branch.cc
726
+ - ext/gecode-2.2.0/gecode/set/branch.hh
727
+ - ext/gecode-2.2.0/gecode/set/branch/select-val.icc
728
+ - ext/gecode-2.2.0/gecode/set/branch/select-view.icc
673
729
  - ext/gecode-2.2.0/gecode/set/cardinality.cc
674
- - ext/gecode-2.2.0/gecode/set/rel/re-subset.icc
675
- - ext/gecode-2.2.0/gecode/set/rel/eq.icc
676
- - ext/gecode-2.2.0/gecode/set/rel/nq.icc
677
- - ext/gecode-2.2.0/gecode/set/rel/nosubset.icc
678
- - ext/gecode-2.2.0/gecode/set/rel/common.icc
679
- - ext/gecode-2.2.0/gecode/set/rel/subset.icc
680
- - ext/gecode-2.2.0/gecode/set/rel/re-eq.icc
681
- - ext/gecode-2.2.0/gecode/set/rel-op/subofunion.icc
682
- - ext/gecode-2.2.0/gecode/set/rel-op/post.icc
683
- - ext/gecode-2.2.0/gecode/set/rel-op/inter.icc
684
- - ext/gecode-2.2.0/gecode/set/rel-op/common.icc
685
- - ext/gecode-2.2.0/gecode/set/rel-op/partition.icc
686
- - ext/gecode-2.2.0/gecode/set/rel-op/superofinter.icc
687
- - ext/gecode-2.2.0/gecode/set/rel-op/union.icc
688
- - ext/gecode-2.2.0/gecode/set/propagator.icc
730
+ - ext/gecode-2.2.0/gecode/set/convex.cc
731
+ - ext/gecode-2.2.0/gecode/set/convex.hh
732
+ - ext/gecode-2.2.0/gecode/set/convex/conv.cc
733
+ - ext/gecode-2.2.0/gecode/set/convex/conv.icc
734
+ - ext/gecode-2.2.0/gecode/set/convex/hull.cc
735
+ - ext/gecode-2.2.0/gecode/set/convex/hull.icc
736
+ - ext/gecode-2.2.0/gecode/set/distinct.cc
689
737
  - ext/gecode-2.2.0/gecode/set/distinct.hh
690
- - ext/gecode-2.2.0/gecode/set/rel-op.cc
738
+ - ext/gecode-2.2.0/gecode/set/distinct/atmostOne.cc
739
+ - ext/gecode-2.2.0/gecode/set/distinct/atmostOne.icc
691
740
  - ext/gecode-2.2.0/gecode/set/dom.cc
692
- - ext/gecode-2.2.0/gecode/set/projectors.cc
693
- - ext/gecode-2.2.0/gecode/set/element/unionConst.icc
741
+ - ext/gecode-2.2.0/gecode/set/element.cc
742
+ - ext/gecode-2.2.0/gecode/set/element.hh
743
+ - ext/gecode-2.2.0/gecode/set/element/disjoint.cc
744
+ - ext/gecode-2.2.0/gecode/set/element/disjoint.icc
745
+ - ext/gecode-2.2.0/gecode/set/element/idxarray.hh
694
746
  - ext/gecode-2.2.0/gecode/set/element/idxarray.icc
695
747
  - ext/gecode-2.2.0/gecode/set/element/inter.icc
696
- - ext/gecode-2.2.0/gecode/set/element/idxarray.hh
697
- - ext/gecode-2.2.0/gecode/set/element/disjoint.icc
698
- - ext/gecode-2.2.0/gecode/set/element/disjoint.cc
699
748
  - ext/gecode-2.2.0/gecode/set/element/union.icc
700
- - ext/gecode-2.2.0/gecode/set/var/set.cc
701
- - ext/gecode-2.2.0/gecode/set/var/set.icc
702
- - ext/gecode-2.2.0/gecode/set/projectors.hh
703
- - ext/gecode-2.2.0/gecode/set/branch.hh
704
- - ext/gecode-2.2.0/gecode/set/projectors-compiler.hh
705
- - ext/gecode-2.2.0/gecode/set/exception.icc
706
- - ext/gecode-2.2.0/gecode/set/array.icc
707
- - ext/gecode-2.2.0/gecode/set/var-imp.icc
708
- - ext/gecode-2.2.0/gecode/set/sequence/seq-u.cc
709
- - ext/gecode-2.2.0/gecode/set/sequence/seq.icc
710
- - ext/gecode-2.2.0/gecode/set/sequence/seq-u.icc
711
- - ext/gecode-2.2.0/gecode/set/sequence/seq.cc
712
- - ext/gecode-2.2.0/gecode/set/sequence/common.icc
713
- - ext/gecode-2.2.0/gecode/set/var-imp/set.cc
714
- - ext/gecode-2.2.0/gecode/set/var-imp/delta.icc
715
- - ext/gecode-2.2.0/gecode/set/var-imp/set.icc
716
- - ext/gecode-2.2.0/gecode/set/var-imp/iter.icc
717
- - ext/gecode-2.2.0/gecode/set/var-imp/integerset.cc
718
- - ext/gecode-2.2.0/gecode/set/var-imp/set.vis
719
- - ext/gecode-2.2.0/gecode/set/var-imp/integerset.icc
720
- - ext/gecode-2.2.0/gecode/set/limits.icc
721
- - ext/gecode-2.2.0/gecode/set/int.hh
722
- - ext/gecode-2.2.0/gecode/set/rel.cc
723
- - ext/gecode-2.2.0/gecode/set/sequence.cc
724
- - ext/gecode-2.2.0/gecode/set/convex/conv.icc
725
- - ext/gecode-2.2.0/gecode/set/convex/hull.cc
726
- - ext/gecode-2.2.0/gecode/set/convex/conv.cc
727
- - ext/gecode-2.2.0/gecode/set/convex/hull.icc
728
- - ext/gecode-2.2.0/gecode/set/convex.hh
749
+ - ext/gecode-2.2.0/gecode/set/element/unionConst.icc
750
+ - ext/gecode-2.2.0/gecode/set/exception.icc
729
751
  - ext/gecode-2.2.0/gecode/set/int.cc
730
- - ext/gecode-2.2.0/gecode/set/element.hh
731
- - ext/gecode-2.2.0/gecode/set/convex.cc
732
- - ext/gecode-2.2.0/gecode/set/rel-op.hh
733
- - ext/gecode-2.2.0/gecode/set/sequence.hh
734
- - ext/gecode-2.2.0/gecode/set/view/set.icc
735
- - ext/gecode-2.2.0/gecode/set/view/complement.icc
736
- - ext/gecode-2.2.0/gecode/set/view/const.icc
737
- - ext/gecode-2.2.0/gecode/set/view/singleton.icc
738
- - ext/gecode-2.2.0/gecode/set/view/offset.icc
739
- - ext/gecode-2.2.0/gecode/set/view/print.cc
740
- - ext/gecode-2.2.0/gecode/set/int/match.icc
752
+ - ext/gecode-2.2.0/gecode/set/int.hh
741
753
  - ext/gecode-2.2.0/gecode/set/int/card.icc
742
- - ext/gecode-2.2.0/gecode/set/int/minmax.icc
743
754
  - ext/gecode-2.2.0/gecode/set/int/channel-bool.icc
744
- - ext/gecode-2.2.0/gecode/set/int/weights.icc
745
755
  - ext/gecode-2.2.0/gecode/set/int/channel-int.icc
746
- - ext/gecode-2.2.0/gecode/set/array.cc
756
+ - ext/gecode-2.2.0/gecode/set/int/match.icc
757
+ - ext/gecode-2.2.0/gecode/set/int/minmax.icc
758
+ - ext/gecode-2.2.0/gecode/set/int/weights.icc
759
+ - ext/gecode-2.2.0/gecode/set/limits.icc
760
+ - ext/gecode-2.2.0/gecode/set/projectors-compiler.hh
761
+ - ext/gecode-2.2.0/gecode/set/projectors.cc
762
+ - ext/gecode-2.2.0/gecode/set/projectors.hh
763
+ - ext/gecode-2.2.0/gecode/set/projectors/compiler.cc
764
+ - ext/gecode-2.2.0/gecode/set/projectors/formula.cc
765
+ - ext/gecode-2.2.0/gecode/set/projectors/formula.icc
766
+ - ext/gecode-2.2.0/gecode/set/projectors/projector-set.cc
767
+ - ext/gecode-2.2.0/gecode/set/projectors/projector-set.icc
768
+ - ext/gecode-2.2.0/gecode/set/projectors/projector.cc
769
+ - ext/gecode-2.2.0/gecode/set/projectors/projector.icc
770
+ - ext/gecode-2.2.0/gecode/set/projectors/propagator.hh
771
+ - ext/gecode-2.2.0/gecode/set/projectors/propagator/card.icc
772
+ - ext/gecode-2.2.0/gecode/set/projectors/propagator/nary.icc
773
+ - ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.cc
774
+ - ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.icc
775
+ - ext/gecode-2.2.0/gecode/set/projectors/set-expr.cc
776
+ - ext/gecode-2.2.0/gecode/set/projectors/set-expr.icc
777
+ - ext/gecode-2.2.0/gecode/set/propagator.icc
747
778
  - ext/gecode-2.2.0/gecode/set/rel-op-const.cc
748
- - ext/gecode-2.2.0/gecode/set/branch.cc
749
- - ext/gecode-2.2.0/gecode/set/branch/select-view.icc
750
- - ext/gecode-2.2.0/gecode/set/branch/select-val.icc
779
+ - ext/gecode-2.2.0/gecode/set/rel-op.cc
780
+ - ext/gecode-2.2.0/gecode/set/rel-op.hh
781
+ - ext/gecode-2.2.0/gecode/set/rel-op/common.icc
782
+ - ext/gecode-2.2.0/gecode/set/rel-op/inter.icc
783
+ - ext/gecode-2.2.0/gecode/set/rel-op/partition.icc
784
+ - ext/gecode-2.2.0/gecode/set/rel-op/post.icc
785
+ - ext/gecode-2.2.0/gecode/set/rel-op/subofunion.icc
786
+ - ext/gecode-2.2.0/gecode/set/rel-op/superofinter.icc
787
+ - ext/gecode-2.2.0/gecode/set/rel-op/union.icc
788
+ - ext/gecode-2.2.0/gecode/set/rel.cc
751
789
  - ext/gecode-2.2.0/gecode/set/rel.hh
752
- - ext/gecode-2.2.0/gecode/search/dfs.cc
753
- - ext/gecode-2.2.0/gecode/search/stop.icc
754
- - ext/gecode-2.2.0/gecode/search/statistics.icc
755
- - ext/gecode-2.2.0/gecode/search/bab.cc
756
- - ext/gecode-2.2.0/gecode/search/options.icc
757
- - ext/gecode-2.2.0/gecode/search/lds.icc
758
- - ext/gecode-2.2.0/gecode/search/bab.icc
759
- - ext/gecode-2.2.0/gecode/search/options.cc
760
- - ext/gecode-2.2.0/gecode/search/restart.icc
761
- - ext/gecode-2.2.0/gecode/search/reco-stack.icc
762
- - ext/gecode-2.2.0/gecode/search/stop.cc
763
- - ext/gecode-2.2.0/gecode/search/engine-ctrl.icc
764
- - ext/gecode-2.2.0/gecode/search/lds.cc
765
- - ext/gecode-2.2.0/gecode/search/dfs.icc
766
- - ext/gecode-2.2.0/gecode/cpltset.hh
767
- - ext/gecode-2.2.0/gecode/minimodel/arithmetic.icc
768
- - ext/gecode-2.2.0/gecode/minimodel/lin-rel.icc
769
- - ext/gecode-2.2.0/gecode/minimodel/bool-rel.icc
770
- - ext/gecode-2.2.0/gecode/minimodel/exception.icc
771
- - ext/gecode-2.2.0/gecode/minimodel/bool-expr.icc
772
- - ext/gecode-2.2.0/gecode/minimodel/matrix.icc
773
- - ext/gecode-2.2.0/gecode/minimodel/reg.cc
774
- - ext/gecode-2.2.0/gecode/minimodel/lin-expr.icc
775
- - ext/gecode-2.2.0/gecode/minimodel/bool-expr.cc
776
- - ext/gecode-2.2.0/gecode/gist.hh
777
- - ext/gecode-2.2.0/gecode/serialization.hh
778
- - ext/gecode-2.2.0/gecode/minimodel.hh
779
- - ext/gecode-2.2.0/gecode/int/view.icc
780
- - ext/gecode-2.2.0/gecode/int/distinct/bnd.icc
781
- - ext/gecode-2.2.0/gecode/int/distinct/node.icc
782
- - ext/gecode-2.2.0/gecode/int/distinct/combptr.icc
783
- - ext/gecode-2.2.0/gecode/int/distinct/bilink.icc
784
- - ext/gecode-2.2.0/gecode/int/distinct/dom.icc
785
- - ext/gecode-2.2.0/gecode/int/distinct/val.icc
786
- - ext/gecode-2.2.0/gecode/int/distinct/edge.icc
787
- - ext/gecode-2.2.0/gecode/int/distinct/ter-dom.icc
788
- - ext/gecode-2.2.0/gecode/int/element.cc
789
- - ext/gecode-2.2.0/gecode/int/distinct.cc
790
- - ext/gecode-2.2.0/gecode/int/unshare.cc
791
- - ext/gecode-2.2.0/gecode/int/extensional/incremental.icc
792
- - ext/gecode-2.2.0/gecode/int/extensional/dfa.icc
793
- - ext/gecode-2.2.0/gecode/int/extensional/dfa.cc
794
- - ext/gecode-2.2.0/gecode/int/extensional/base.icc
795
- - ext/gecode-2.2.0/gecode/int/extensional/bitset.icc
796
- - ext/gecode-2.2.0/gecode/int/extensional/basic.icc
797
- - ext/gecode-2.2.0/gecode/int/extensional/tuple-set.icc
798
- - ext/gecode-2.2.0/gecode/int/extensional/layered-graph.icc
799
- - ext/gecode-2.2.0/gecode/int/extensional/tuple-set.cc
800
- - ext/gecode-2.2.0/gecode/int/bool.hh
801
- - ext/gecode-2.2.0/gecode/int/rel/eq.icc
802
- - ext/gecode-2.2.0/gecode/int/rel/nq.icc
803
- - ext/gecode-2.2.0/gecode/int/rel/lq-le.icc
804
- - ext/gecode-2.2.0/gecode/int/rel/lex.icc
805
- - ext/gecode-2.2.0/gecode/int/extensional.cc
806
- - ext/gecode-2.2.0/gecode/int/propagator.icc
807
- - ext/gecode-2.2.0/gecode/int/count.cc
808
- - ext/gecode-2.2.0/gecode/int/cumulatives/val.icc
809
- - ext/gecode-2.2.0/gecode/int/channel.hh
810
- - ext/gecode-2.2.0/gecode/int/arithmetic/divmod.icc
811
- - ext/gecode-2.2.0/gecode/int/arithmetic/sqrt.icc
812
- - ext/gecode-2.2.0/gecode/int/arithmetic/max.icc
813
- - ext/gecode-2.2.0/gecode/int/arithmetic/mult.icc
814
- - ext/gecode-2.2.0/gecode/int/arithmetic/abs.icc
815
- - ext/gecode-2.2.0/gecode/int/arithmetic/sqr.icc
816
- - ext/gecode-2.2.0/gecode/int/extensional.hh
817
- - ext/gecode-2.2.0/gecode/int/distinct.hh
818
- - ext/gecode-2.2.0/gecode/int/dom.cc
819
- - ext/gecode-2.2.0/gecode/int/channel/link-single.icc
820
- - ext/gecode-2.2.0/gecode/int/channel/dom.icc
821
- - ext/gecode-2.2.0/gecode/int/channel/base.icc
822
- - ext/gecode-2.2.0/gecode/int/channel/val.icc
823
- - ext/gecode-2.2.0/gecode/int/channel/link-single.cc
824
- - ext/gecode-2.2.0/gecode/int/channel/link-multi.cc
825
- - ext/gecode-2.2.0/gecode/int/channel/link-multi.icc
826
- - ext/gecode-2.2.0/gecode/int/element/view.icc
827
- - ext/gecode-2.2.0/gecode/int/element/int.icc
828
- - ext/gecode-2.2.0/gecode/int/var/bool.icc
829
- - ext/gecode-2.2.0/gecode/int/var/int.cc
830
- - ext/gecode-2.2.0/gecode/int/var/bool.cc
831
- - ext/gecode-2.2.0/gecode/int/var/int.icc
832
- - ext/gecode-2.2.0/gecode/int/count.hh
833
- - ext/gecode-2.2.0/gecode/int/branch.hh
834
- - ext/gecode-2.2.0/gecode/int/exception.icc
835
- - ext/gecode-2.2.0/gecode/int/gcc/bnd.icc
836
- - ext/gecode-2.2.0/gecode/int/gcc/occur.icc
837
- - ext/gecode-2.2.0/gecode/int/gcc/lbc.icc
838
- - ext/gecode-2.2.0/gecode/int/gcc/gccbndsup.icc
839
- - ext/gecode-2.2.0/gecode/int/gcc/dom.icc
840
- - ext/gecode-2.2.0/gecode/int/gcc/ubc.icc
841
- - ext/gecode-2.2.0/gecode/int/gcc/val.icc
842
- - ext/gecode-2.2.0/gecode/int/gcc/graphsup.icc
843
- - ext/gecode-2.2.0/gecode/int/cumulatives.cc
844
- - ext/gecode-2.2.0/gecode/int/array.icc
845
- - ext/gecode-2.2.0/gecode/int/dom.hh
846
- - ext/gecode-2.2.0/gecode/int/var-imp.icc
847
- - ext/gecode-2.2.0/gecode/int/circuit.cc
848
- - ext/gecode-2.2.0/gecode/int/cumulatives.hh
849
- - ext/gecode-2.2.0/gecode/int/var-imp/delta.icc
850
- - ext/gecode-2.2.0/gecode/int/var-imp/bool.icc
851
- - ext/gecode-2.2.0/gecode/int/var-imp/bool.vis
852
- - ext/gecode-2.2.0/gecode/int/var-imp/int.vis
853
- - ext/gecode-2.2.0/gecode/int/var-imp/int.cc
854
- - ext/gecode-2.2.0/gecode/int/var-imp/bool.cc
855
- - ext/gecode-2.2.0/gecode/int/var-imp/int.icc
856
- - ext/gecode-2.2.0/gecode/int/dom/range.icc
857
- - ext/gecode-2.2.0/gecode/int/dom/spec.icc
858
- - ext/gecode-2.2.0/gecode/int/limits.icc
859
- - ext/gecode-2.2.0/gecode/int/sorted.hh
860
- - ext/gecode-2.2.0/gecode/int/arithmetic.hh
861
- - ext/gecode-2.2.0/gecode/int/rel.cc
862
- - ext/gecode-2.2.0/gecode/int/linear-bool.cc
863
- - ext/gecode-2.2.0/gecode/int/int-set.icc
864
- - ext/gecode-2.2.0/gecode/int/linear-int.cc
865
- - ext/gecode-2.2.0/gecode/int/channel.cc
866
- - ext/gecode-2.2.0/gecode/int/sorted/sortsup.icc
867
- - ext/gecode-2.2.0/gecode/int/sorted/order.icc
868
- - ext/gecode-2.2.0/gecode/int/sorted/propagate.icc
869
- - ext/gecode-2.2.0/gecode/int/sorted/narrowing.icc
870
- - ext/gecode-2.2.0/gecode/int/sorted/matching.icc
871
- - ext/gecode-2.2.0/gecode/int/arithmetic.cc
872
- - ext/gecode-2.2.0/gecode/int/sorted.cc
873
- - ext/gecode-2.2.0/gecode/int/count/view.icc
874
- - ext/gecode-2.2.0/gecode/int/count/rel.icc
875
- - ext/gecode-2.2.0/gecode/int/count/int.icc
876
- - ext/gecode-2.2.0/gecode/int/element.hh
877
- - ext/gecode-2.2.0/gecode/int/int-set.cc
878
- - ext/gecode-2.2.0/gecode/int/bool.cc
879
- - ext/gecode-2.2.0/gecode/int/linear/int-post.cc
880
- - ext/gecode-2.2.0/gecode/int/linear/post.icc
881
- - ext/gecode-2.2.0/gecode/int/linear/bool-int.icc
882
- - ext/gecode-2.2.0/gecode/int/linear/int-dom.icc
883
- - ext/gecode-2.2.0/gecode/int/linear/bool-view.icc
884
- - ext/gecode-2.2.0/gecode/int/linear/int-nary.icc
885
- - ext/gecode-2.2.0/gecode/int/linear/int-bin.icc
886
- - ext/gecode-2.2.0/gecode/int/linear/int-noview.icc
887
- - ext/gecode-2.2.0/gecode/int/linear/bool-scale.icc
888
- - ext/gecode-2.2.0/gecode/int/linear/int-ter.icc
889
- - ext/gecode-2.2.0/gecode/int/linear/bool-post.cc
890
- - ext/gecode-2.2.0/gecode/int/linear.hh
891
- - ext/gecode-2.2.0/gecode/int/gcc.cc
892
- - ext/gecode-2.2.0/gecode/int/gcc.hh
893
- - ext/gecode-2.2.0/gecode/int/bool/eq.icc
894
- - ext/gecode-2.2.0/gecode/int/bool/base.icc
895
- - ext/gecode-2.2.0/gecode/int/bool/or.icc
896
- - ext/gecode-2.2.0/gecode/int/bool/lq.icc
897
- - ext/gecode-2.2.0/gecode/int/bool/eqv.icc
898
- - ext/gecode-2.2.0/gecode/int/view/constint.icc
899
- - ext/gecode-2.2.0/gecode/int/view/minus.icc
900
- - ext/gecode-2.2.0/gecode/int/view/bool.icc
901
- - ext/gecode-2.2.0/gecode/int/view/rtest.icc
902
- - ext/gecode-2.2.0/gecode/int/view/iter.icc
903
- - ext/gecode-2.2.0/gecode/int/view/scale.icc
904
- - ext/gecode-2.2.0/gecode/int/view/offset.icc
905
- - ext/gecode-2.2.0/gecode/int/view/zero.icc
906
- - ext/gecode-2.2.0/gecode/int/view/print.cc
907
- - ext/gecode-2.2.0/gecode/int/view/int.icc
908
- - ext/gecode-2.2.0/gecode/int/support-values.icc
909
- - ext/gecode-2.2.0/gecode/int/array.cc
910
- - ext/gecode-2.2.0/gecode/int/branch.cc
911
- - ext/gecode-2.2.0/gecode/int/circuit/dom.icc
912
- - ext/gecode-2.2.0/gecode/int/circuit/base.icc
913
- - ext/gecode-2.2.0/gecode/int/circuit/val.icc
914
- - ext/gecode-2.2.0/gecode/int/circuit.hh
915
- - ext/gecode-2.2.0/gecode/int/branch/create-branch.icc
916
- - ext/gecode-2.2.0/gecode/int/branch/select-view.icc
917
- - ext/gecode-2.2.0/gecode/int/branch/select-val.icc
918
- - ext/gecode-2.2.0/gecode/int/support-values.hh
919
- - ext/gecode-2.2.0/gecode/int/rel.hh
920
- - ext/gecode-2.2.0/contribs/README
921
- - ext/gecode-2.2.0/contribs/qecode/heap.cc
922
- - ext/gecode-2.2.0/contribs/qecode/configure
923
- - ext/gecode-2.2.0/contribs/qecode/Strategy.cc
924
- - ext/gecode-2.2.0/contribs/qecode/myspace.cc
925
- - ext/gecode-2.2.0/contribs/qecode/config.status
926
- - ext/gecode-2.2.0/contribs/qecode/vartype.hh
927
- - ext/gecode-2.2.0/contribs/qecode/Doxyfile
928
- - ext/gecode-2.2.0/contribs/qecode/Implicative.cc
929
- - ext/gecode-2.2.0/contribs/qecode/myDom.cc
930
- - ext/gecode-2.2.0/contribs/qecode/OptVar.hh
931
- - ext/gecode-2.2.0/contribs/qecode/config.log
932
- - ext/gecode-2.2.0/contribs/qecode/OptVar.cc
933
- - ext/gecode-2.2.0/contribs/qecode/qsolver.cc
934
- - ext/gecode-2.2.0/contribs/qecode/shortdesc.ac
935
- - ext/gecode-2.2.0/contribs/qecode/configure.ac
936
- - ext/gecode-2.2.0/contribs/qecode/Strategy.hh
937
- - ext/gecode-2.2.0/contribs/qecode/StrategyNode.cc
938
- - ext/gecode-2.2.0/contribs/qecode/examples/connect-5-3-3-3.cpp
939
- - ext/gecode-2.2.0/contribs/qecode/examples/NimFibo.cpp
940
- - ext/gecode-2.2.0/contribs/qecode/examples/optim2.cc
941
- - ext/gecode-2.2.0/contribs/qecode/examples/MatrixGame.cpp
942
- - ext/gecode-2.2.0/contribs/qecode/examples/COMPILING
943
- - ext/gecode-2.2.0/contribs/qecode/examples/stress_test.cpp
944
- - ext/gecode-2.2.0/contribs/qecode/examples/network-pricing.cc
945
- - ext/gecode-2.2.0/contribs/qecode/qecode.hh
946
- - ext/gecode-2.2.0/contribs/qecode/myspace.hh
947
- - ext/gecode-2.2.0/contribs/qecode/StrategyNode.hh
948
- - ext/gecode-2.2.0/contribs/qecode/Makefile.in.in
949
- - ext/gecode-2.2.0/contribs/qecode/qsolver.hh
950
- - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/output.0
951
- - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/requests
952
- - ext/gecode-2.2.0/contribs/qecode/autom4te.cache/traces.0
953
- - ext/gecode-2.2.0/contribs/qecode/Implicative.hh
954
- - ext/gecode-2.2.0/Makefile.contribs
955
- - ext/gecode-2.2.0/Makefile.in
790
+ - ext/gecode-2.2.0/gecode/set/rel/common.icc
791
+ - ext/gecode-2.2.0/gecode/set/rel/eq.icc
792
+ - ext/gecode-2.2.0/gecode/set/rel/nosubset.icc
793
+ - ext/gecode-2.2.0/gecode/set/rel/nq.icc
794
+ - ext/gecode-2.2.0/gecode/set/rel/re-eq.icc
795
+ - ext/gecode-2.2.0/gecode/set/rel/re-subset.icc
796
+ - ext/gecode-2.2.0/gecode/set/rel/subset.icc
797
+ - ext/gecode-2.2.0/gecode/set/sequence.cc
798
+ - ext/gecode-2.2.0/gecode/set/sequence.hh
799
+ - ext/gecode-2.2.0/gecode/set/sequence/common.icc
800
+ - ext/gecode-2.2.0/gecode/set/sequence/seq-u.cc
801
+ - ext/gecode-2.2.0/gecode/set/sequence/seq-u.icc
802
+ - ext/gecode-2.2.0/gecode/set/sequence/seq.cc
803
+ - ext/gecode-2.2.0/gecode/set/sequence/seq.icc
804
+ - ext/gecode-2.2.0/gecode/set/var-imp.icc
805
+ - ext/gecode-2.2.0/gecode/set/var-imp/delta.icc
806
+ - ext/gecode-2.2.0/gecode/set/var-imp/integerset.cc
807
+ - ext/gecode-2.2.0/gecode/set/var-imp/integerset.icc
808
+ - ext/gecode-2.2.0/gecode/set/var-imp/iter.icc
809
+ - ext/gecode-2.2.0/gecode/set/var-imp/set.cc
810
+ - ext/gecode-2.2.0/gecode/set/var-imp/set.icc
811
+ - ext/gecode-2.2.0/gecode/set/var-imp/set.vis
812
+ - ext/gecode-2.2.0/gecode/set/var/set.cc
813
+ - ext/gecode-2.2.0/gecode/set/var/set.icc
814
+ - ext/gecode-2.2.0/gecode/set/view.icc
815
+ - ext/gecode-2.2.0/gecode/set/view/complement.icc
816
+ - ext/gecode-2.2.0/gecode/set/view/const.icc
817
+ - ext/gecode-2.2.0/gecode/set/view/offset.icc
818
+ - ext/gecode-2.2.0/gecode/set/view/print.cc
819
+ - ext/gecode-2.2.0/gecode/set/view/set.icc
820
+ - ext/gecode-2.2.0/gecode/set/view/singleton.icc
821
+ - ext/gecode-2.2.0/gecode/support.hh
822
+ - ext/gecode-2.2.0/gecode/support/block-allocator.icc
823
+ - ext/gecode-2.2.0/gecode/support/buddy/AUTHORS
824
+ - ext/gecode-2.2.0/gecode/support/buddy/ChangeLog
825
+ - ext/gecode-2.2.0/gecode/support/buddy/NEWS
826
+ - ext/gecode-2.2.0/gecode/support/buddy/README
827
+ - ext/gecode-2.2.0/gecode/support/buddy/bdd.h
828
+ - ext/gecode-2.2.0/gecode/support/buddy/bddio.c
829
+ - ext/gecode-2.2.0/gecode/support/buddy/bddop.c
830
+ - ext/gecode-2.2.0/gecode/support/buddy/bddtree.h
831
+ - ext/gecode-2.2.0/gecode/support/buddy/bvec.c
832
+ - ext/gecode-2.2.0/gecode/support/buddy/bvec.h
833
+ - ext/gecode-2.2.0/gecode/support/buddy/cache.c
834
+ - ext/gecode-2.2.0/gecode/support/buddy/cache.h
835
+ - ext/gecode-2.2.0/gecode/support/buddy/config.h
836
+ - ext/gecode-2.2.0/gecode/support/buddy/cppext.cc
837
+ - ext/gecode-2.2.0/gecode/support/buddy/fdd.c
838
+ - ext/gecode-2.2.0/gecode/support/buddy/fdd.h
839
+ - ext/gecode-2.2.0/gecode/support/buddy/imatrix.c
840
+ - ext/gecode-2.2.0/gecode/support/buddy/imatrix.h
841
+ - ext/gecode-2.2.0/gecode/support/buddy/kernel.c
842
+ - ext/gecode-2.2.0/gecode/support/buddy/kernel.h
843
+ - ext/gecode-2.2.0/gecode/support/buddy/pairs.c
844
+ - ext/gecode-2.2.0/gecode/support/buddy/prime.c
845
+ - ext/gecode-2.2.0/gecode/support/buddy/prime.h
846
+ - ext/gecode-2.2.0/gecode/support/buddy/reorder.c
847
+ - ext/gecode-2.2.0/gecode/support/buddy/tree.c
848
+ - ext/gecode-2.2.0/gecode/support/cast.icc
849
+ - ext/gecode-2.2.0/gecode/support/config.icc.in
850
+ - ext/gecode-2.2.0/gecode/support/dynamic-array.icc
851
+ - ext/gecode-2.2.0/gecode/support/dynamic-stack.icc
852
+ - ext/gecode-2.2.0/gecode/support/exception.cc
853
+ - ext/gecode-2.2.0/gecode/support/exception.icc
854
+ - ext/gecode-2.2.0/gecode/support/macros.icc
855
+ - ext/gecode-2.2.0/gecode/support/map.icc
856
+ - ext/gecode-2.2.0/gecode/support/marked-pointer.icc
857
+ - ext/gecode-2.2.0/gecode/support/memory.icc
858
+ - ext/gecode-2.2.0/gecode/support/random.icc
859
+ - ext/gecode-2.2.0/gecode/support/sentinel-stack.icc
860
+ - ext/gecode-2.2.0/gecode/support/sort.icc
861
+ - ext/gecode-2.2.0/gecode/support/static-pqueue.icc
862
+ - ext/gecode-2.2.0/gecode/support/static-stack.icc
863
+ - ext/gecode-2.2.0/gecode/support/symbol.cc
864
+ - ext/gecode-2.2.0/gecode/support/symbol.icc
865
+ - ext/gecode-2.2.0/install-sh
866
+ - ext/gecode-2.2.0/misc/AppleHelpbookInfo.plist
867
+ - ext/gecode-2.2.0/misc/allexamples.perl
868
+ - ext/gecode-2.2.0/misc/debian/Makefile.am
869
+ - ext/gecode-2.2.0/misc/debian/changelog
870
+ - ext/gecode-2.2.0/misc/debian/control
871
+ - ext/gecode-2.2.0/misc/debian/copyright
872
+ - ext/gecode-2.2.0/misc/debian/gecode.info
873
+ - ext/gecode-2.2.0/misc/debian/gecode.install
874
+ - ext/gecode-2.2.0/misc/debian/gecode.spec
875
+ - ext/gecode-2.2.0/misc/debian/rules
876
+ - ext/gecode-2.2.0/misc/doxygen/back.png
877
+ - ext/gecode-2.2.0/misc/doxygen/footer.html
878
+ - ext/gecode-2.2.0/misc/doxygen/gecode-logo-100.png
879
+ - ext/gecode-2.2.0/misc/doxygen/header.html
880
+ - ext/gecode-2.2.0/misc/doxygen/stylesheet.css
881
+ - ext/gecode-2.2.0/misc/fixproperties.sh
882
+ - ext/gecode-2.2.0/misc/gecode-gist.pc.in
883
+ - ext/gecode-2.2.0/misc/gecode-minimodel.pc.in
884
+ - ext/gecode-2.2.0/misc/gecode-search.pc.in
885
+ - ext/gecode-2.2.0/misc/gecode-serialization.pc.in
886
+ - ext/gecode-2.2.0/misc/gecode.pc.in
887
+ - ext/gecode-2.2.0/misc/genchangelog.perl
888
+ - ext/gecode-2.2.0/misc/genlcovmakefile.perl
889
+ - ext/gecode-2.2.0/misc/genlicense.perl
890
+ - ext/gecode-2.2.0/misc/genregistry.perl
891
+ - ext/gecode-2.2.0/misc/genstatistics.perl
892
+ - ext/gecode-2.2.0/misc/gentxtchangelog.perl
893
+ - ext/gecode-2.2.0/misc/genvariables.perl
894
+ - ext/gecode-2.2.0/misc/getrevision.perl
895
+ - ext/gecode-2.2.0/misc/makedepend.perl
896
+ - ext/gecode-2.2.0/misc/svn-ignore.txt
897
+ - ext/gecode-2.2.0/test/assign.cc
898
+ - ext/gecode-2.2.0/test/assign.hh
899
+ - ext/gecode-2.2.0/test/assign/bool.cc
900
+ - ext/gecode-2.2.0/test/assign/int.cc
901
+ - ext/gecode-2.2.0/test/branch.cc
902
+ - ext/gecode-2.2.0/test/branch.hh
903
+ - ext/gecode-2.2.0/test/branch/bool.cc
904
+ - ext/gecode-2.2.0/test/branch/cpltset.cc
905
+ - ext/gecode-2.2.0/test/branch/int.cc
906
+ - ext/gecode-2.2.0/test/branch/set.cc
907
+ - ext/gecode-2.2.0/test/cpltset.cc
908
+ - ext/gecode-2.2.0/test/cpltset.hh
909
+ - ext/gecode-2.2.0/test/cpltset/atmost.cc
910
+ - ext/gecode-2.2.0/test/cpltset/cardinality.cc
911
+ - ext/gecode-2.2.0/test/cpltset/dom.cc
912
+ - ext/gecode-2.2.0/test/cpltset/partition.cc
913
+ - ext/gecode-2.2.0/test/cpltset/rel.cc
914
+ - ext/gecode-2.2.0/test/cpltset/select.cc
915
+ - ext/gecode-2.2.0/test/int.cc
916
+ - ext/gecode-2.2.0/test/int.hh
917
+ - ext/gecode-2.2.0/test/int.icc
918
+ - ext/gecode-2.2.0/test/int/arithmetic.cc
919
+ - ext/gecode-2.2.0/test/int/basic.cc
920
+ - ext/gecode-2.2.0/test/int/bool.cc
921
+ - ext/gecode-2.2.0/test/int/channel.cc
922
+ - ext/gecode-2.2.0/test/int/circuit.cc
923
+ - ext/gecode-2.2.0/test/int/count.cc
924
+ - ext/gecode-2.2.0/test/int/distinct.cc
925
+ - ext/gecode-2.2.0/test/int/dom.cc
926
+ - ext/gecode-2.2.0/test/int/element.cc
927
+ - ext/gecode-2.2.0/test/int/extensional.cc
928
+ - ext/gecode-2.2.0/test/int/gcc.cc
929
+ - ext/gecode-2.2.0/test/int/linear.cc
930
+ - ext/gecode-2.2.0/test/int/mm-arithmetic.cc
931
+ - ext/gecode-2.2.0/test/int/mm-bool.cc
932
+ - ext/gecode-2.2.0/test/int/mm-count.cc
933
+ - ext/gecode-2.2.0/test/int/mm-lin.cc
934
+ - ext/gecode-2.2.0/test/int/mm-rel.cc
935
+ - ext/gecode-2.2.0/test/int/rel.cc
936
+ - ext/gecode-2.2.0/test/int/scheduling.cc
937
+ - ext/gecode-2.2.0/test/int/sorted.cc
938
+ - ext/gecode-2.2.0/test/int/unshare.cc
939
+ - ext/gecode-2.2.0/test/search.cc
940
+ - ext/gecode-2.2.0/test/set.cc
941
+ - ext/gecode-2.2.0/test/set.hh
942
+ - ext/gecode-2.2.0/test/set.icc
943
+ - ext/gecode-2.2.0/test/set/convex.cc
944
+ - ext/gecode-2.2.0/test/set/distinct.cc
945
+ - ext/gecode-2.2.0/test/set/dom.cc
946
+ - ext/gecode-2.2.0/test/set/int.cc
947
+ - ext/gecode-2.2.0/test/set/projection.cc
948
+ - ext/gecode-2.2.0/test/set/rel-op-const.cc
949
+ - ext/gecode-2.2.0/test/set/rel-op.cc
950
+ - ext/gecode-2.2.0/test/set/rel.cc
951
+ - ext/gecode-2.2.0/test/set/select.cc
952
+ - ext/gecode-2.2.0/test/set/sequence.cc
953
+ - ext/gecode-2.2.0/test/test.cc
954
+ - ext/gecode-2.2.0/test/test.hh
955
+ - ext/gecode-2.2.0/test/test.icc
956
+ - ext/gecode-2.2.0/variables.vsl
956
957
  has_rdoc: true
957
- homepage: http://gecoder.rubyforge.org
958
+ homepage: http://gecoder.org
958
959
  licenses: []
959
960
 
960
961
  post_install_message:
@@ -964,18 +965,19 @@ rdoc_options:
964
965
  - --accessor
965
966
  - delegate
966
967
  - --main
967
- - README
968
+ - README.md
968
969
  require_paths:
969
970
  - lib
970
971
  required_ruby_version: !ruby/object:Gem::Requirement
971
972
  none: false
972
973
  requirements:
973
- - - ">="
974
+ - - <
974
975
  - !ruby/object:Gem::Version
975
- hash: 3
976
+ hash: 29
976
977
  segments:
977
- - 0
978
- version: "0"
978
+ - 1
979
+ - 9
980
+ version: "1.9"
979
981
  required_rubygems_version: !ruby/object:Gem::Requirement
980
982
  none: false
981
983
  requirements:
@@ -987,68 +989,68 @@ required_rubygems_version: !ruby/object:Gem::Requirement
987
989
  version: "0"
988
990
  requirements: []
989
991
 
990
- rubyforge_project: gecoder
991
- rubygems_version: 1.5.0
992
+ rubyforge_project:
993
+ rubygems_version: 1.6.2
992
994
  signing_key:
993
995
  specification_version: 3
994
996
  summary: Ruby interface to Gecode, an environment for constraint programming.
995
997
  test_files:
996
- - specs/constraints/reification_sugar.rb
997
- - specs/constraints/property_helper.rb
998
- - specs/constraints/set_enum/operation.rb
999
- - specs/constraints/set_enum/channel.rb
1000
- - specs/constraints/set_enum/distinct.rb
1001
- - specs/constraints/set_enum/element.rb
1002
- - specs/constraints/constraint_receivers.rb
1003
- - specs/constraints/fixnum_enum/operation.rb
1004
- - specs/constraints/fixnum_enum/element.rb
1005
- - specs/constraints/operands.rb
1006
- - specs/constraints/set/include.rb
1007
- - specs/constraints/set/operation.rb
1008
- - specs/constraints/set/channel.rb
1009
- - specs/constraints/set/cardinality_properties.rb
1010
- - specs/constraints/set/domain.rb
1011
- - specs/constraints/set/cardinality.rb
1012
- - specs/constraints/set/connection.rb
1013
- - specs/constraints/set/relation.rb
1014
- - specs/constraints/constraint_helper.rb
1015
- - specs/constraints/bool_enum/bool_enum_relation.rb
1016
- - specs/constraints/bool_enum/extensional.rb
1017
- - specs/constraints/bool_enum/channel.rb
1018
- - specs/constraints/set_elements/relation.rb
998
+ - specs/bool_var.rb
999
+ - specs/branch.rb
1000
+ - specs/constraints/bool/boolean.rb
1019
1001
  - specs/constraints/bool/boolean_properties.rb
1020
1002
  - specs/constraints/bool/linear.rb
1021
- - specs/constraints/bool/boolean.rb
1022
- - specs/constraints/selected_set/select_properties.rb
1023
- - specs/constraints/selected_set/select.rb
1003
+ - specs/constraints/bool_enum/bool_enum_relation.rb
1004
+ - specs/constraints/bool_enum/channel.rb
1005
+ - specs/constraints/bool_enum/extensional.rb
1006
+ - specs/constraints/constraint_helper.rb
1007
+ - specs/constraints/constraint_receivers.rb
1024
1008
  - specs/constraints/constraints.rb
1025
- - specs/constraints/int/linear_properties.rb
1009
+ - specs/constraints/fixnum_enum/element.rb
1010
+ - specs/constraints/fixnum_enum/operation.rb
1011
+ - specs/constraints/int/arithmetic.rb
1026
1012
  - specs/constraints/int/channel.rb
1027
1013
  - specs/constraints/int/domain.rb
1028
1014
  - specs/constraints/int/linear.rb
1015
+ - specs/constraints/int/linear_properties.rb
1029
1016
  - specs/constraints/int/relation.rb
1030
- - specs/constraints/int/arithmetic.rb
1031
- - specs/constraints/int_enum/count.rb
1032
- - specs/constraints/int_enum/extensional.rb
1017
+ - specs/constraints/int_enum/arithmetic.rb
1033
1018
  - specs/constraints/int_enum/channel.rb
1034
- - specs/constraints/int_enum/sort.rb
1019
+ - specs/constraints/int_enum/count.rb
1035
1020
  - specs/constraints/int_enum/distinct.rb
1036
1021
  - specs/constraints/int_enum/element.rb
1037
1022
  - specs/constraints/int_enum/equality.rb
1038
- - specs/constraints/int_enum/arithmetic.rb
1039
- - specs/model_sugar.rb
1040
- - specs/branch.rb
1041
- - specs/model.rb
1042
- - specs/spec_helper.rb
1043
- - specs/search.rb
1044
- - specs/set_elements.rb
1045
- - specs/examples.rb
1046
- - specs/bool_var.rb
1047
- - specs/selected_set.rb
1048
- - specs/int_var.rb
1023
+ - specs/constraints/int_enum/extensional.rb
1024
+ - specs/constraints/int_enum/sort.rb
1025
+ - specs/constraints/operands.rb
1026
+ - specs/constraints/property_helper.rb
1027
+ - specs/constraints/reification_sugar.rb
1028
+ - specs/constraints/selected_set/select.rb
1029
+ - specs/constraints/selected_set/select_properties.rb
1030
+ - specs/constraints/set/cardinality.rb
1031
+ - specs/constraints/set/cardinality_properties.rb
1032
+ - specs/constraints/set/channel.rb
1033
+ - specs/constraints/set/connection.rb
1034
+ - specs/constraints/set/domain.rb
1035
+ - specs/constraints/set/include.rb
1036
+ - specs/constraints/set/operation.rb
1037
+ - specs/constraints/set/relation.rb
1038
+ - specs/constraints/set_elements/relation.rb
1039
+ - specs/constraints/set_enum/channel.rb
1040
+ - specs/constraints/set_enum/distinct.rb
1041
+ - specs/constraints/set_enum/element.rb
1042
+ - specs/constraints/set_enum/operation.rb
1049
1043
  - specs/distribution.rb
1050
- - specs/mixin.rb
1051
1044
  - specs/enum_matrix.rb
1052
1045
  - specs/enum_wrapper.rb
1046
+ - specs/examples.rb
1047
+ - specs/int_var.rb
1053
1048
  - specs/logging.rb
1049
+ - specs/mixin.rb
1050
+ - specs/model.rb
1051
+ - specs/model_sugar.rb
1052
+ - specs/search.rb
1053
+ - specs/selected_set.rb
1054
+ - specs/set_elements.rb
1054
1055
  - specs/set_var.rb
1056
+ - specs/spec_helper.rb