gecoder-with-gecode 1.1.0 → 1.1.1

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