gecoder-with-gecode 0.9.0 → 0.9.1

data/tasks/distribution.rake

@@ -8,6 +8,10 @@ PKG_FILE_NAME_WITH_GECODE = "#{PKG_NAME_WITH_GECODE}-#{PKG_VERSION}"
 # The location where the precompiled DLL should be placed.
 DLL_LOCATION = 'lib/gecode.dll'
 EXT_DIR = 'ext'
+GECODE_DIR = 'vendor/gecode'
+GECODE_NAME = 'gecode-2.2.0'
+GECODE_ARCHIVE_NAME = "#{GECODE_NAME}.tar.gz"
+
 
 desc 'Generate RDoc'
 rd = Rake::RDocTask.new do |rdoc|
@@ -16,7 +20,7 @@ rd = Rake::RDocTask.new do |rdoc|
   rdoc.template = 'doc/rdoc/jamis.rb'
   rdoc.options << '--line-numbers' << '--inline-source' << 
     '--accessor' << 'delegate' << '--main' << 'README'
-  rdoc.rdoc_files.include('README', 'CHANGES', 'LGPL-LICENSE', 'lib/**/*.rb')
+  rdoc.rdoc_files.include('README', 'CHANGES', 'THANKS', 'LGPL-LICENSE', 'lib/**/*.rb')
 end
 
 TMP_DIR = 'doc/tmp/rdoc_dev'
@@ -43,6 +47,18 @@ task :prepare_rdoc_dev do
   end
 end
 
+desc 'Extracts the source of Gecode before it is packaged into a gem'
+task :extract_gecode do
+  next if File.exist? "#{EXT_DIR}/#{GECODE_NAME}"
+  cd(EXT_DIR) do
+    cp "../#{GECODE_DIR}/#{GECODE_ARCHIVE_NAME}", GECODE_ARCHIVE_NAME
+    system("tar -xvf #{GECODE_ARCHIVE_NAME}")
+    rm GECODE_ARCHIVE_NAME 
+  end
+end
+# To ensure that the Gecode files exist for the gem spec.
+Rake::Task['extract_gecode'].invoke 
+
 spec = Gem::Specification.new do |s|
   s.name = PKG_NAME
   s.version = GecodeR::VERSION
@@ -67,7 +83,7 @@ spec = Gem::Specification.new do |s|
   ].to_a
   s.require_path = 'lib'
   s.extensions << 'ext/extconf.rb'
-  s.requirements << 'Gecode 2.1.1'
+  s.requirements << 'Gecode 2.2.0'
 
   s.has_rdoc = true
   s.rdoc_options = rd.options
@@ -103,13 +119,13 @@ spec_windows_binary_with_gecode.requirements = []
 spec_windows_binary_with_gecode.files = spec.files.dup -
   FileList['ext/**/*'].to_a + 
   FileList['vendor/gecode/win32/lib/*'].to_a << 'lib/gecode.dll'
-spec_windows_binary_with_gecode.platform = 'mswin32' #Gem::Platform::WIN32
+spec_windows_binary_with_gecode.platform = 'x86-mswin32-60' #Gem::Platform::WIN32
 
 # Create a clone of the gem spec that includes Gecode.
 spec_with_gecode = spec.dup
 spec_with_gecode.name = PKG_NAME_WITH_GECODE
 spec_with_gecode.extensions = 
-  spec_with_gecode.extensions.dup.unshift 'ext/gecode-2.1.1/configure'
+  spec_with_gecode.extensions.dup.unshift 'ext/gecode-2.2.0/configure'
 spec_with_gecode.requirements = []
 spec_with_gecode.files = spec.files.dup + FileList['ext/gecode-*/**/*'].to_a 
 
@@ -141,6 +157,8 @@ end
 desc 'Removes generated distribution files'
 task :clobber do
   rm DLL_LOCATION if File.exists? DLL_LOCATION
+  extracted_gecode = "#{EXT_DIR}/#{GECODE_NAME}"
+  rm_r extracted_gecode if File.exists? extracted_gecode
   FileList[
     "#{EXT_DIR}/*.o",
     "#{EXT_DIR}/gecode.{cc,hh}",
@@ -179,6 +197,9 @@ gecode_release_files = [
   #"pkg/#{PKG_FILE_NAME_WITH_GECODE}.zip",
   "pkg/#{PKG_FILE_NAME_WITH_GECODE}-x86-mswin32.gem"
 ]
+gecode_release_files.each do |pkg|
+  file pkg => :extract_gecode
+end
 desc 'Publish Gecode/R with Gecode packages on RubyForge'
 task :publish_gecoder_with_gecode_packages => 
     [:verify_user] + gecode_release_files do

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification 
 name: gecoder-with-gecode
 version: !ruby/object:Gem::Version 
-  version: 0.9.0
+  version: 0.9.1
 platform: ruby
 authors: 
 - Gecode/R Development Team
@@ -9,7 +9,7 @@ autorequire:
 bindir: bin
 cert_chain: []
 
-date: 2008-08-18 00:00:00 +02:00
+date: 2008-08-29 00:00:00 +02:00
 default_executable: 
 dependencies: []
 
@@ -18,22 +18,23 @@ email: gecoder-users@rubyforge.org
 executables: []
 
 extensions: 
-- ext/gecode-2.1.1/configure
+- ext/gecode-2.2.0/configure
 - ext/extconf.rb
 extra_rdoc_files: 
 - README
 - CHANGES
+- THANKS
 - LGPL-LICENSE
 - lib/gecoder.rb
 - lib/gecoder/bindings.rb
 - lib/gecoder/interface/branch.rb
 - lib/gecoder/interface/enum_matrix.rb
-- lib/gecoder/interface/model_sugar.rb
 - lib/gecoder/interface/search.rb
 - lib/gecoder/interface/constraints.rb
+- lib/gecoder/interface/convenience.rb
 - lib/gecoder/interface/variables.rb
+- lib/gecoder/interface/mixin.rb
 - lib/gecoder/interface/enum_wrapper.rb
-- lib/gecoder/interface/model.rb
 - lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/extensional_regexp.rb
 - lib/gecoder/interface/constraints/selected_set_constraints.rb
@@ -76,8 +77,8 @@ extra_rdoc_files:
 - lib/gecoder/interface/constraints/int_var_constraints.rb
 - lib/gecoder/interface/constraints/reifiable_constraints.rb
 - lib/gecoder/interface/constraints/set_enum/channel.rb
-- lib/gecoder/interface/constraints/set_enum/select.rb
 - lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/element.rb
 - lib/gecoder/interface/constraints/set_enum/operation.rb
 - lib/gecoder/interface/binding_changes.rb
 - lib/gecoder/version.rb
@@ -86,6 +87,7 @@ extra_rdoc_files:
 files: 
 - README
 - LGPL-LICENSE
+- THANKS
 - CHANGES
 - COPYING
 - Rakefile
@@ -93,12 +95,12 @@ files:
 - lib/gecoder/bindings.rb
 - lib/gecoder/interface/branch.rb
 - lib/gecoder/interface/enum_matrix.rb
-- lib/gecoder/interface/model_sugar.rb
 - lib/gecoder/interface/search.rb
 - lib/gecoder/interface/constraints.rb
+- lib/gecoder/interface/convenience.rb
 - lib/gecoder/interface/variables.rb
+- lib/gecoder/interface/mixin.rb
 - lib/gecoder/interface/enum_wrapper.rb
-- lib/gecoder/interface/model.rb
 - lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/extensional_regexp.rb
 - lib/gecoder/interface/constraints/selected_set_constraints.rb
@@ -141,8 +143,8 @@ files:
 - lib/gecoder/interface/constraints/int_var_constraints.rb
 - lib/gecoder/interface/constraints/reifiable_constraints.rb
 - lib/gecoder/interface/constraints/set_enum/channel.rb
-- lib/gecoder/interface/constraints/set_enum/select.rb
 - lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/element.rb
 - lib/gecoder/interface/constraints/set_enum/operation.rb
 - lib/gecoder/interface/binding_changes.rb
 - lib/gecoder/version.rb
@@ -157,7 +159,6 @@ files:
 - example/sudoku.rb
 - example/square_tiling.rb
 - example/example_helper.rb
-- example/money.rb
 - vendor/rust/bin
 - vendor/rust/bin/cxxgenerator.rb
 - vendor/rust/README
@@ -237,6 +238,7 @@ files:
 - specs/distribution.rb
 - specs/spec_helper.rb
 - specs/int_var.rb
+- specs/mixin.rb
 - specs/enum_wrapper.rb
 - specs/model.rb
 - specs/set_var.rb
@@ -291,8 +293,8 @@ files:
 - specs/constraints/operands.rb
 - specs/constraints/set_enum
 - specs/constraints/set_enum/channel.rb
-- specs/constraints/set_enum/select.rb
 - specs/constraints/set_enum/distinct.rb
+- specs/constraints/set_enum/element.rb
 - specs/constraints/set_enum/operation.rb
 - specs/examples.rb
 - ext/gecoder.cpp
@@ -300,596 +302,730 @@ files:
 - ext/gecoder.h
 - ext/vararray.h
 - ext/extconf.rb
-- ext/gecode-2.1.1/Makefile.contribs
-- ext/gecode-2.1.1/install-sh
-- ext/gecode-2.1.1/LICENSE
-- ext/gecode-2.1.1/doxygen
-- ext/gecode-2.1.1/doxygen/doxygen.conf.in
-- ext/gecode-2.1.1/doxygen/doxygen.hh.in
-- ext/gecode-2.1.1/doxygen/reflection.hh
-- ext/gecode-2.1.1/gecode.m4
-- ext/gecode-2.1.1/configure
-- ext/gecode-2.1.1/Makefile.dep
-- ext/gecode-2.1.1/gecode
-- ext/gecode-2.1.1/gecode/support.hh
-- ext/gecode-2.1.1/gecode/set
-- ext/gecode-2.1.1/gecode/set/view
-- ext/gecode-2.1.1/gecode/set/view/print.cc
-- ext/gecode-2.1.1/gecode/set/view/const.icc
-- ext/gecode-2.1.1/gecode/set/view/complement.icc
-- ext/gecode-2.1.1/gecode/set/view/offset.icc
-- ext/gecode-2.1.1/gecode/set/view/set.icc
-- ext/gecode-2.1.1/gecode/set/view/singleton.icc
-- ext/gecode-2.1.1/gecode/set/sequence.hh
-- ext/gecode-2.1.1/gecode/set/select
-- ext/gecode-2.1.1/gecode/set/select/union.icc
-- ext/gecode-2.1.1/gecode/set/select/disjoint.icc
-- ext/gecode-2.1.1/gecode/set/select/disjoint.cc
-- ext/gecode-2.1.1/gecode/set/select/idxarray.icc
-- ext/gecode-2.1.1/gecode/set/select/inter.icc
-- ext/gecode-2.1.1/gecode/set/select/unionConst.icc
-- ext/gecode-2.1.1/gecode/set/select/idxarray.hh
-- ext/gecode-2.1.1/gecode/set/dom.cc
-- ext/gecode-2.1.1/gecode/set/select.hh
-- ext/gecode-2.1.1/gecode/set/int.cc
-- ext/gecode-2.1.1/gecode/set/array.cc
-- ext/gecode-2.1.1/gecode/set/var
-- ext/gecode-2.1.1/gecode/set/var/set.cc
-- ext/gecode-2.1.1/gecode/set/var/set.icc
-- ext/gecode-2.1.1/gecode/set/branch.hh
-- ext/gecode-2.1.1/gecode/set/rel-op
-- ext/gecode-2.1.1/gecode/set/rel-op/union.icc
-- ext/gecode-2.1.1/gecode/set/rel-op/subofunion.icc
-- ext/gecode-2.1.1/gecode/set/rel-op/superofinter.icc
-- ext/gecode-2.1.1/gecode/set/rel-op/partition.icc
-- ext/gecode-2.1.1/gecode/set/rel-op/post.icc
-- ext/gecode-2.1.1/gecode/set/rel-op/inter.icc
-- ext/gecode-2.1.1/gecode/set/rel-op/common.icc
-- ext/gecode-2.1.1/gecode/set/convex.cc
-- ext/gecode-2.1.1/gecode/set/projectors.cc
-- ext/gecode-2.1.1/gecode/set/rel-op.hh
-- ext/gecode-2.1.1/gecode/set/distinct.cc
-- ext/gecode-2.1.1/gecode/set/distinct
-- ext/gecode-2.1.1/gecode/set/distinct/atmostOne.cc
-- ext/gecode-2.1.1/gecode/set/distinct/atmostOne.icc
-- ext/gecode-2.1.1/gecode/set/projectors
-- ext/gecode-2.1.1/gecode/set/projectors/propagator.hh
-- ext/gecode-2.1.1/gecode/set/projectors/formula.cc
-- ext/gecode-2.1.1/gecode/set/projectors/propagator
-- ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.icc
-- ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.cc
-- ext/gecode-2.1.1/gecode/set/projectors/propagator/card.icc
-- ext/gecode-2.1.1/gecode/set/projectors/propagator/nary.icc
-- ext/gecode-2.1.1/gecode/set/projectors/compiler.cc
-- ext/gecode-2.1.1/gecode/set/projectors/projector.icc
-- ext/gecode-2.1.1/gecode/set/projectors/set-expr.cc
-- ext/gecode-2.1.1/gecode/set/projectors/projector.cc
-- ext/gecode-2.1.1/gecode/set/projectors/projector-set.cc
-- ext/gecode-2.1.1/gecode/set/projectors/formula.icc
-- ext/gecode-2.1.1/gecode/set/projectors/projector-set.icc
-- ext/gecode-2.1.1/gecode/set/projectors/set-expr.icc
-- ext/gecode-2.1.1/gecode/set/sequence
-- ext/gecode-2.1.1/gecode/set/sequence/seq-u.icc
-- ext/gecode-2.1.1/gecode/set/sequence/seq-u.cc
-- ext/gecode-2.1.1/gecode/set/sequence/seq.icc
-- ext/gecode-2.1.1/gecode/set/sequence/common.icc
-- ext/gecode-2.1.1/gecode/set/sequence/seq.cc
-- ext/gecode-2.1.1/gecode/set/int
-- ext/gecode-2.1.1/gecode/set/int/channel-bool.icc
-- ext/gecode-2.1.1/gecode/set/int/minmax.icc
-- ext/gecode-2.1.1/gecode/set/int/weights.icc
-- ext/gecode-2.1.1/gecode/set/int/card.icc
-- ext/gecode-2.1.1/gecode/set/int/channel-int.icc
-- ext/gecode-2.1.1/gecode/set/int/match.icc
-- ext/gecode-2.1.1/gecode/set/sequence.cc
-- ext/gecode-2.1.1/gecode/set/rel
-- ext/gecode-2.1.1/gecode/set/rel/nq.icc
-- ext/gecode-2.1.1/gecode/set/rel/re-eq.icc
-- ext/gecode-2.1.1/gecode/set/rel/re-subset.icc
-- ext/gecode-2.1.1/gecode/set/rel/eq.icc
-- ext/gecode-2.1.1/gecode/set/rel/nosubset.icc
-- ext/gecode-2.1.1/gecode/set/rel/common.icc
-- ext/gecode-2.1.1/gecode/set/rel/subset.icc
-- ext/gecode-2.1.1/gecode/set/array.icc
-- ext/gecode-2.1.1/gecode/set/propagator.icc
-- ext/gecode-2.1.1/gecode/set/var-imp.icc
-- ext/gecode-2.1.1/gecode/set/int.hh
-- ext/gecode-2.1.1/gecode/set/projectors.hh
-- ext/gecode-2.1.1/gecode/set/convex.hh
-- ext/gecode-2.1.1/gecode/set/limits.icc
-- ext/gecode-2.1.1/gecode/set/distinct.hh
-- ext/gecode-2.1.1/gecode/set/exception.icc
-- ext/gecode-2.1.1/gecode/set/view.icc
-- ext/gecode-2.1.1/gecode/set/var-imp
-- ext/gecode-2.1.1/gecode/set/var-imp/iter.icc
-- ext/gecode-2.1.1/gecode/set/var-imp/set.cc
-- ext/gecode-2.1.1/gecode/set/var-imp/integerset.cc
-- ext/gecode-2.1.1/gecode/set/var-imp/delta.icc
-- ext/gecode-2.1.1/gecode/set/var-imp/integerset.icc
-- ext/gecode-2.1.1/gecode/set/var-imp/set.icc
-- ext/gecode-2.1.1/gecode/set/var-imp/set.vis
-- ext/gecode-2.1.1/gecode/set/rel.cc
-- ext/gecode-2.1.1/gecode/set/convex
-- ext/gecode-2.1.1/gecode/set/convex/conv.icc
-- ext/gecode-2.1.1/gecode/set/convex/conv.cc
-- ext/gecode-2.1.1/gecode/set/convex/hull.icc
-- ext/gecode-2.1.1/gecode/set/convex/hull.cc
-- ext/gecode-2.1.1/gecode/set/select.cc
-- ext/gecode-2.1.1/gecode/set/projectors-compiler.hh
-- ext/gecode-2.1.1/gecode/set/cardinality.cc
-- ext/gecode-2.1.1/gecode/set/rel.hh
-- ext/gecode-2.1.1/gecode/set/branch.cc
-- ext/gecode-2.1.1/gecode/set/rel-op.cc
-- ext/gecode-2.1.1/gecode/set/rel-op-const.cc
-- ext/gecode-2.1.1/gecode/set/branch
-- ext/gecode-2.1.1/gecode/set/branch/select-view.icc
-- ext/gecode-2.1.1/gecode/set/branch/select-val.icc
-- ext/gecode-2.1.1/gecode/iter
-- ext/gecode-2.1.1/gecode/iter/ranges-size.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-operations.icc
-- ext/gecode-2.1.1/gecode/iter/virtual-ranges-compl.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-inter.icc
-- ext/gecode-2.1.1/gecode/iter/virtual-ranges-inter.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-empty.icc
-- ext/gecode-2.1.1/gecode/iter/values-ranges.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-values.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-append.icc
-- ext/gecode-2.1.1/gecode/iter/values-unique.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-add.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-offset.icc
-- ext/gecode-2.1.1/gecode/iter/values-minus.icc
-- ext/gecode-2.1.1/gecode/iter/values-singleton.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-singleton.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-minus.icc
-- ext/gecode-2.1.1/gecode/iter/virtual-ranges.icc
-- ext/gecode-2.1.1/gecode/iter/virtual-ranges-union.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-singleton-append.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-compl.icc
-- ext/gecode-2.1.1/gecode/iter/values-array.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-minmax.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-union.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-array.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-scale.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-diff.icc
-- ext/gecode-2.1.1/gecode/iter/ranges-cache.icc
-- ext/gecode-2.1.1/gecode/iter/values-offset.icc
-- ext/gecode-2.1.1/gecode/kernel.hh
-- ext/gecode-2.1.1/gecode/int
-- ext/gecode-2.1.1/gecode/int/gcc.hh
-- ext/gecode-2.1.1/gecode/int/dom
-- ext/gecode-2.1.1/gecode/int/dom/range.icc
-- ext/gecode-2.1.1/gecode/int/dom/spec.icc
-- ext/gecode-2.1.1/gecode/int/view
-- ext/gecode-2.1.1/gecode/int/view/print.cc
-- ext/gecode-2.1.1/gecode/int/view/int.icc
-- ext/gecode-2.1.1/gecode/int/view/minus.icc
-- ext/gecode-2.1.1/gecode/int/view/iter.icc
-- ext/gecode-2.1.1/gecode/int/view/zero.icc
-- ext/gecode-2.1.1/gecode/int/view/scale.icc
-- ext/gecode-2.1.1/gecode/int/view/offset.icc
-- ext/gecode-2.1.1/gecode/int/view/rtest.icc
-- ext/gecode-2.1.1/gecode/int/view/constint.icc
-- ext/gecode-2.1.1/gecode/int/view/bool.icc
-- ext/gecode-2.1.1/gecode/int/channel.cc
-- ext/gecode-2.1.1/gecode/int/count.hh
-- ext/gecode-2.1.1/gecode/int/dom.cc
-- ext/gecode-2.1.1/gecode/int/gcc
-- ext/gecode-2.1.1/gecode/int/gcc/dom.icc
-- ext/gecode-2.1.1/gecode/int/gcc/graphsup.icc
-- ext/gecode-2.1.1/gecode/int/gcc/val.icc
-- ext/gecode-2.1.1/gecode/int/gcc/bnd.icc
-- ext/gecode-2.1.1/gecode/int/gcc/lbc.icc
-- ext/gecode-2.1.1/gecode/int/gcc/ubc.icc
-- ext/gecode-2.1.1/gecode/int/gcc/occur.icc
-- ext/gecode-2.1.1/gecode/int/gcc/gccbndsup.icc
-- ext/gecode-2.1.1/gecode/int/array.cc
-- ext/gecode-2.1.1/gecode/int/var
-- ext/gecode-2.1.1/gecode/int/var/int.icc
-- ext/gecode-2.1.1/gecode/int/var/int.cc
-- ext/gecode-2.1.1/gecode/int/var/bool.cc
-- ext/gecode-2.1.1/gecode/int/var/bool.icc
-- ext/gecode-2.1.1/gecode/int/branch.hh
-- ext/gecode-2.1.1/gecode/int/arithmetic.hh
-- ext/gecode-2.1.1/gecode/int/arithmetic
-- ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc
-- ext/gecode-2.1.1/gecode/int/arithmetic/max.icc
-- ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc
-- ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc
-- ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc
-- ext/gecode-2.1.1/gecode/int/element.hh
-- ext/gecode-2.1.1/gecode/int/extensional.hh
-- ext/gecode-2.1.1/gecode/int/linear.hh
-- ext/gecode-2.1.1/gecode/int/distinct.cc
-- ext/gecode-2.1.1/gecode/int/sorted.hh
-- ext/gecode-2.1.1/gecode/int/distinct
-- ext/gecode-2.1.1/gecode/int/distinct/dom.icc
-- ext/gecode-2.1.1/gecode/int/distinct/val.icc
-- ext/gecode-2.1.1/gecode/int/distinct/bilink.icc
-- ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc
-- ext/gecode-2.1.1/gecode/int/distinct/combptr.icc
-- ext/gecode-2.1.1/gecode/int/distinct/edge.icc
-- ext/gecode-2.1.1/gecode/int/distinct/bnd.icc
-- ext/gecode-2.1.1/gecode/int/distinct/node.icc
-- ext/gecode-2.1.1/gecode/int/cumulatives.cc
-- ext/gecode-2.1.1/gecode/int/rel
-- ext/gecode-2.1.1/gecode/int/rel/nq.icc
-- ext/gecode-2.1.1/gecode/int/rel/lq-le.icc
-- ext/gecode-2.1.1/gecode/int/rel/eq.icc
-- ext/gecode-2.1.1/gecode/int/rel/lex.icc
-- ext/gecode-2.1.1/gecode/int/gcc.cc
-- ext/gecode-2.1.1/gecode/int/array.icc
-- ext/gecode-2.1.1/gecode/int/propagator.icc
-- ext/gecode-2.1.1/gecode/int/linear-int.cc
-- ext/gecode-2.1.1/gecode/int/var-imp.icc
-- ext/gecode-2.1.1/gecode/int/circuit
-- ext/gecode-2.1.1/gecode/int/circuit/dom.icc
-- ext/gecode-2.1.1/gecode/int/circuit/val.icc
-- ext/gecode-2.1.1/gecode/int/circuit/base.icc
-- ext/gecode-2.1.1/gecode/int/arithmetic.cc
-- ext/gecode-2.1.1/gecode/int/element
-- ext/gecode-2.1.1/gecode/int/element/int.icc
-- ext/gecode-2.1.1/gecode/int/element/view.icc
-- ext/gecode-2.1.1/gecode/int/bool
-- ext/gecode-2.1.1/gecode/int/bool/base.icc
-- ext/gecode-2.1.1/gecode/int/bool/lq.icc
-- ext/gecode-2.1.1/gecode/int/bool/or.icc
-- ext/gecode-2.1.1/gecode/int/bool/eq.icc
-- ext/gecode-2.1.1/gecode/int/bool/eqv.icc
-- ext/gecode-2.1.1/gecode/int/circuit.hh
-- ext/gecode-2.1.1/gecode/int/extensional.cc
-- ext/gecode-2.1.1/gecode/int/count.cc
-- ext/gecode-2.1.1/gecode/int/linear-bool.cc
-- ext/gecode-2.1.1/gecode/int/linear
-- ext/gecode-2.1.1/gecode/int/linear/int-noview.icc
-- ext/gecode-2.1.1/gecode/int/linear/int-ter.icc
-- ext/gecode-2.1.1/gecode/int/linear/bool-int.icc
-- ext/gecode-2.1.1/gecode/int/linear/bool-scale.icc
-- ext/gecode-2.1.1/gecode/int/linear/int-bin.icc
-- ext/gecode-2.1.1/gecode/int/linear/post.icc
-- ext/gecode-2.1.1/gecode/int/linear/bool-post.cc
-- ext/gecode-2.1.1/gecode/int/linear/bool-view.icc
-- ext/gecode-2.1.1/gecode/int/linear/int-nary.icc
-- ext/gecode-2.1.1/gecode/int/linear/int-dom.icc
-- ext/gecode-2.1.1/gecode/int/linear/int-post.cc
-- ext/gecode-2.1.1/gecode/int/bool.cc
-- ext/gecode-2.1.1/gecode/int/dom.hh
-- ext/gecode-2.1.1/gecode/int/extensional
-- ext/gecode-2.1.1/gecode/int/extensional/bitset.icc
-- ext/gecode-2.1.1/gecode/int/extensional/dfa.icc
-- ext/gecode-2.1.1/gecode/int/extensional/base.icc
-- ext/gecode-2.1.1/gecode/int/extensional/basic.icc
-- ext/gecode-2.1.1/gecode/int/extensional/dfa.cc
-- ext/gecode-2.1.1/gecode/int/extensional/layered-graph.icc
-- ext/gecode-2.1.1/gecode/int/extensional/tuple-set.icc
-- ext/gecode-2.1.1/gecode/int/extensional/incremental.icc
-- ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc
-- ext/gecode-2.1.1/gecode/int/limits.icc
-- ext/gecode-2.1.1/gecode/int/sorted
-- ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc
-- ext/gecode-2.1.1/gecode/int/sorted/order.icc
-- ext/gecode-2.1.1/gecode/int/sorted/matching.icc
-- ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc
-- ext/gecode-2.1.1/gecode/int/sorted/propagate.icc
-- ext/gecode-2.1.1/gecode/int/distinct.hh
-- ext/gecode-2.1.1/gecode/int/exception.icc
-- ext/gecode-2.1.1/gecode/int/int-set.cc
-- ext/gecode-2.1.1/gecode/int/view.icc
-- ext/gecode-2.1.1/gecode/int/var-imp
-- ext/gecode-2.1.1/gecode/int/var-imp/int.icc
-- ext/gecode-2.1.1/gecode/int/var-imp/int.cc
-- ext/gecode-2.1.1/gecode/int/var-imp/delta.icc
-- ext/gecode-2.1.1/gecode/int/var-imp/bool.cc
-- ext/gecode-2.1.1/gecode/int/var-imp/int.vis
-- ext/gecode-2.1.1/gecode/int/var-imp/bool.icc
-- ext/gecode-2.1.1/gecode/int/var-imp/bool.vis
-- ext/gecode-2.1.1/gecode/int/int-set.icc
-- ext/gecode-2.1.1/gecode/int/rel.cc
-- ext/gecode-2.1.1/gecode/int/bool.hh
-- ext/gecode-2.1.1/gecode/int/circuit.cc
-- ext/gecode-2.1.1/gecode/int/cumulatives
-- ext/gecode-2.1.1/gecode/int/cumulatives/val.icc
-- ext/gecode-2.1.1/gecode/int/unshare.cc
-- ext/gecode-2.1.1/gecode/int/cumulatives.hh
-- ext/gecode-2.1.1/gecode/int/channel.hh
-- ext/gecode-2.1.1/gecode/int/rel.hh
-- ext/gecode-2.1.1/gecode/int/branch.cc
-- ext/gecode-2.1.1/gecode/int/channel
-- ext/gecode-2.1.1/gecode/int/channel/dom.icc
-- ext/gecode-2.1.1/gecode/int/channel/val.icc
-- ext/gecode-2.1.1/gecode/int/channel/base.icc
-- ext/gecode-2.1.1/gecode/int/channel/link-multi.cc
-- ext/gecode-2.1.1/gecode/int/channel/link-multi.icc
-- ext/gecode-2.1.1/gecode/int/channel/link-single.cc
-- ext/gecode-2.1.1/gecode/int/channel/link-single.icc
-- ext/gecode-2.1.1/gecode/int/element.cc
-- ext/gecode-2.1.1/gecode/int/sorted.cc
-- ext/gecode-2.1.1/gecode/int/count
-- ext/gecode-2.1.1/gecode/int/count/int.icc
-- ext/gecode-2.1.1/gecode/int/count/view.icc
-- ext/gecode-2.1.1/gecode/int/count/rel.icc
-- ext/gecode-2.1.1/gecode/int/branch
-- ext/gecode-2.1.1/gecode/int/branch/select-view.icc
-- ext/gecode-2.1.1/gecode/int/branch/select-val.icc
-- ext/gecode-2.1.1/gecode/cpltset
-- ext/gecode-2.1.1/gecode/cpltset/propagators.hh
-- ext/gecode-2.1.1/gecode/cpltset/view
-- ext/gecode-2.1.1/gecode/cpltset/view/print.cc
-- ext/gecode-2.1.1/gecode/cpltset/view/cpltset.icc
-- ext/gecode-2.1.1/gecode/cpltset/propagators
-- ext/gecode-2.1.1/gecode/cpltset/propagators/naryone.icc
-- ext/gecode-2.1.1/gecode/cpltset/propagators/narytwo.icc
-- ext/gecode-2.1.1/gecode/cpltset/propagators/unary.icc
-- ext/gecode-2.1.1/gecode/cpltset/propagators/nary.icc
-- ext/gecode-2.1.1/gecode/cpltset/propagators/binary.icc
-- ext/gecode-2.1.1/gecode/cpltset/propagators/singleton.icc
-- ext/gecode-2.1.1/gecode/cpltset/array.cc
-- ext/gecode-2.1.1/gecode/cpltset/var
-- ext/gecode-2.1.1/gecode/cpltset/var/cpltset.cc
-- ext/gecode-2.1.1/gecode/cpltset/var/cpltset.icc
-- ext/gecode-2.1.1/gecode/cpltset/branch.hh
-- ext/gecode-2.1.1/gecode/cpltset/bddmanager.cc
-- ext/gecode-2.1.1/gecode/cpltset/bddmanager.icc
-- ext/gecode-2.1.1/gecode/cpltset/support.cc
-- ext/gecode-2.1.1/gecode/cpltset/array.icc
-- ext/gecode-2.1.1/gecode/cpltset/var-imp.icc
-- ext/gecode-2.1.1/gecode/cpltset/exception.icc
-- ext/gecode-2.1.1/gecode/cpltset/view.icc
-- ext/gecode-2.1.1/gecode/cpltset/var-imp
-- ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.cc
-- ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.icc
-- ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.vis
-- ext/gecode-2.1.1/gecode/cpltset/constraints
-- ext/gecode-2.1.1/gecode/cpltset/constraints/dom.cc
-- ext/gecode-2.1.1/gecode/cpltset/constraints/atmost.cc
-- ext/gecode-2.1.1/gecode/cpltset/constraints/singleton.cc
-- ext/gecode-2.1.1/gecode/cpltset/constraints/distinct.cc
-- ext/gecode-2.1.1/gecode/cpltset/constraints/partition.cc
-- ext/gecode-2.1.1/gecode/cpltset/constraints/rel.cc
-- ext/gecode-2.1.1/gecode/cpltset/constraints/select.cc
-- ext/gecode-2.1.1/gecode/cpltset/constraints/cardinality.cc
-- ext/gecode-2.1.1/gecode/cpltset/constraints/rangeroots.cc
-- ext/gecode-2.1.1/gecode/cpltset/support.icc
-- ext/gecode-2.1.1/gecode/cpltset/branch.cc
-- ext/gecode-2.1.1/gecode/cpltset/branch
-- ext/gecode-2.1.1/gecode/cpltset/branch/select-view.icc
-- ext/gecode-2.1.1/gecode/cpltset/branch/select-val.icc
-- ext/gecode-2.1.1/gecode/minimodel
-- ext/gecode-2.1.1/gecode/minimodel/lin-rel.icc
-- ext/gecode-2.1.1/gecode/minimodel/lin-expr.icc
-- ext/gecode-2.1.1/gecode/minimodel/bool-rel.icc
-- ext/gecode-2.1.1/gecode/minimodel/reg.cc
-- ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc
-- ext/gecode-2.1.1/gecode/minimodel/bool-expr.cc
-- ext/gecode-2.1.1/gecode/minimodel/bool-expr.icc
-- ext/gecode-2.1.1/gecode/minimodel/matrix.icc
-- ext/gecode-2.1.1/gecode/minimodel/exception.icc
-- ext/gecode-2.1.1/gecode/int.hh
-- ext/gecode-2.1.1/gecode/minimodel.hh
-- ext/gecode-2.1.1/gecode/cpltset.hh
-- ext/gecode-2.1.1/gecode/serialization
-- ext/gecode-2.1.1/gecode/serialization/boost.cc
-- ext/gecode-2.1.1/gecode/serialization/flatzinc.cc
-- ext/gecode-2.1.1/gecode/serialization/register.cc
-- ext/gecode-2.1.1/gecode/serialization/javascript.hh
-- ext/gecode-2.1.1/gecode/serialization/boost.icc
-- ext/gecode-2.1.1/gecode/serialization/javascript.cc
-- ext/gecode-2.1.1/gecode/iter.hh
-- ext/gecode-2.1.1/gecode/gist.hh
-- ext/gecode-2.1.1/gecode/set.hh
-- ext/gecode-2.1.1/gecode/serialization.hh
-- ext/gecode-2.1.1/gecode/search
-- ext/gecode-2.1.1/gecode/search/lds.cc
-- ext/gecode-2.1.1/gecode/search/stop.icc
-- ext/gecode-2.1.1/gecode/search/dfs.cc
-- ext/gecode-2.1.1/gecode/search/engine-ctrl.icc
-- ext/gecode-2.1.1/gecode/search/bab.cc
-- ext/gecode-2.1.1/gecode/search/reco-stack.icc
-- ext/gecode-2.1.1/gecode/search/options.icc
-- ext/gecode-2.1.1/gecode/search/statistics.icc
-- ext/gecode-2.1.1/gecode/search/bab.icc
-- ext/gecode-2.1.1/gecode/search/lds.icc
-- ext/gecode-2.1.1/gecode/search/restart.icc
-- ext/gecode-2.1.1/gecode/search/stop.cc
-- ext/gecode-2.1.1/gecode/search/dfs.icc
-- ext/gecode-2.1.1/gecode/search/options.cc
-- ext/gecode-2.1.1/gecode/gist
-- ext/gecode-2.1.1/gecode/gist/addchild.hh
-- ext/gecode-2.1.1/gecode/gist/mainwindow.hh
-- ext/gecode-2.1.1/gecode/gist/node.hh
-- ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh
-- ext/gecode-2.1.1/gecode/gist/addchild.cc
-- ext/gecode-2.1.1/gecode/gist/nodevisitor.icc
-- ext/gecode-2.1.1/gecode/gist/postscript.hh
-- ext/gecode-2.1.1/gecode/gist/spacenode.cc
-- ext/gecode-2.1.1/gecode/gist/gist.icc
-- ext/gecode-2.1.1/gecode/gist/shapelist.hh
-- ext/gecode-2.1.1/gecode/gist/shapelist.cc
-- ext/gecode-2.1.1/gecode/gist/nodevisitor.hh
-- ext/gecode-2.1.1/gecode/gist/analysiscursor.hh
-- ext/gecode-2.1.1/gecode/gist/nodecursor.icc
-- ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc
-- ext/gecode-2.1.1/gecode/gist/drawingcursor.hh
-- ext/gecode-2.1.1/gecode/gist/visualisation
-- ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.cc
-- ext/gecode-2.1.1/gecode/gist/visualisation/varitem.cc
-- ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh
-- ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.cc
-- ext/gecode-2.1.1/gecode/gist/visualisation/varitem.hh
-- ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh
-- ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.cc
-- ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.hh
-- ext/gecode-2.1.1/gecode/gist/visualisation/vararrayviewt.hh
-- ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh
-- ext/gecode-2.1.1/gecode/gist/treecanvas.cc
-- ext/gecode-2.1.1/gecode/gist/drawingcursor.cc
-- ext/gecode-2.1.1/gecode/gist/gist.cc
-- ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.hh
-- ext/gecode-2.1.1/gecode/gist/better.hh
-- ext/gecode-2.1.1/gecode/gist/node.cc
-- ext/gecode-2.1.1/gecode/gist/postscript.cc
-- ext/gecode-2.1.1/gecode/gist/preferences.cc
-- ext/gecode-2.1.1/gecode/gist/mainwindow.cc
-- ext/gecode-2.1.1/gecode/gist/test.cc
-- ext/gecode-2.1.1/gecode/gist/preferences.hh
-- ext/gecode-2.1.1/gecode/gist/config.hh
-- ext/gecode-2.1.1/gecode/gist/textoutput.cc
-- ext/gecode-2.1.1/gecode/gist/visualnode.hh
-- ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh
-- ext/gecode-2.1.1/gecode/gist/config.cc
-- ext/gecode-2.1.1/gecode/gist/nodecursor.cc
-- ext/gecode-2.1.1/gecode/gist/analysiscursor.cc
-- ext/gecode-2.1.1/gecode/gist/visualnode.cc
-- ext/gecode-2.1.1/gecode/gist/textoutput.hh
-- ext/gecode-2.1.1/gecode/gist/ui_addchild.hh
-- ext/gecode-2.1.1/gecode/gist/spacenode.hh
-- ext/gecode-2.1.1/gecode/gist/nodecursor.hh
-- ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.cc
-- ext/gecode-2.1.1/gecode/gist/gecodelogo.icc
-- ext/gecode-2.1.1/gecode/gist/treecanvas.hh
-- ext/gecode-2.1.1/gecode/search.hh
-- ext/gecode-2.1.1/gecode/kernel
-- ext/gecode-2.1.1/gecode/kernel/var-type.cc
-- ext/gecode-2.1.1/gecode/kernel/core.icc
-- ext/gecode-2.1.1/gecode/kernel/memory-manager.cc
-- ext/gecode-2.1.1/gecode/kernel/reflection.cc
-- ext/gecode-2.1.1/gecode/kernel/var-type.icc
-- ext/gecode-2.1.1/gecode/kernel/reflection.icc
-- ext/gecode-2.1.1/gecode/kernel/core.cc
-- ext/gecode-2.1.1/gecode/kernel/advisor.icc
-- ext/gecode-2.1.1/gecode/kernel/modevent.icc
-- ext/gecode-2.1.1/gecode/kernel/var-traits.icc
-- ext/gecode-2.1.1/gecode/kernel/array.icc
-- ext/gecode-2.1.1/gecode/kernel/propagator.icc
-- ext/gecode-2.1.1/gecode/kernel/branching.icc
-- ext/gecode-2.1.1/gecode/kernel/var-imp.icc
-- ext/gecode-2.1.1/gecode/kernel/exception.icc
-- ext/gecode-2.1.1/gecode/kernel/var-map.cc
-- ext/gecode-2.1.1/gecode/kernel/view.icc
-- ext/gecode-2.1.1/gecode/kernel/var.icc
-- ext/gecode-2.1.1/gecode/kernel/var-map.icc
-- ext/gecode-2.1.1/gecode/kernel/memory-manager.icc
-- ext/gecode-2.1.1/gecode/kernel/macros.icc
-- ext/gecode-2.1.1/gecode/kernel/shared-array.icc
-- ext/gecode-2.1.1/gecode/support
-- ext/gecode-2.1.1/gecode/support/static-stack.icc
-- ext/gecode-2.1.1/gecode/support/random.icc
-- ext/gecode-2.1.1/gecode/support/symbol.icc
-- ext/gecode-2.1.1/gecode/support/static-pqueue.icc
-- ext/gecode-2.1.1/gecode/support/block-allocator.icc
-- ext/gecode-2.1.1/gecode/support/exception.cc
-- ext/gecode-2.1.1/gecode/support/map.icc
-- ext/gecode-2.1.1/gecode/support/dynamic-stack.icc
-- ext/gecode-2.1.1/gecode/support/exception.icc
-- ext/gecode-2.1.1/gecode/support/memory.icc
-- ext/gecode-2.1.1/gecode/support/sentinel-stack.icc
-- ext/gecode-2.1.1/gecode/support/cast.icc
-- ext/gecode-2.1.1/gecode/support/buddy
-- ext/gecode-2.1.1/gecode/support/buddy/fdd.c
-- ext/gecode-2.1.1/gecode/support/buddy/README
-- ext/gecode-2.1.1/gecode/support/buddy/AUTHORS
-- ext/gecode-2.1.1/gecode/support/buddy/imatrix.c
-- ext/gecode-2.1.1/gecode/support/buddy/config.h
-- ext/gecode-2.1.1/gecode/support/buddy/cache.h
-- ext/gecode-2.1.1/gecode/support/buddy/bvec.c
-- ext/gecode-2.1.1/gecode/support/buddy/prime.h
-- ext/gecode-2.1.1/gecode/support/buddy/bdd.h
-- ext/gecode-2.1.1/gecode/support/buddy/imatrix.h
-- ext/gecode-2.1.1/gecode/support/buddy/pairs.c
-- ext/gecode-2.1.1/gecode/support/buddy/bddop.c
-- ext/gecode-2.1.1/gecode/support/buddy/fdd.h
-- ext/gecode-2.1.1/gecode/support/buddy/bvec.h
-- ext/gecode-2.1.1/gecode/support/buddy/kernel.c
-- ext/gecode-2.1.1/gecode/support/buddy/NEWS
-- ext/gecode-2.1.1/gecode/support/buddy/bddio.c
-- ext/gecode-2.1.1/gecode/support/buddy/ChangeLog
-- ext/gecode-2.1.1/gecode/support/buddy/cache.c
-- ext/gecode-2.1.1/gecode/support/buddy/cppext.cc
-- ext/gecode-2.1.1/gecode/support/buddy/tree.c
-- ext/gecode-2.1.1/gecode/support/buddy/kernel.h
-- ext/gecode-2.1.1/gecode/support/buddy/reorder.c
-- ext/gecode-2.1.1/gecode/support/buddy/bddtree.h
-- ext/gecode-2.1.1/gecode/support/buddy/prime.c
-- ext/gecode-2.1.1/gecode/support/symbol.cc
-- ext/gecode-2.1.1/gecode/support/config.icc.in
-- ext/gecode-2.1.1/gecode/support/macros.icc
-- ext/gecode-2.1.1/gecode/support/marked-pointer.icc
-- ext/gecode-2.1.1/gecode/support/dynamic-array.icc
-- ext/gecode-2.1.1/gecode/support/sort.icc
-- ext/gecode-2.1.1/contribs
-- ext/gecode-2.1.1/contribs/README
-- ext/gecode-2.1.1/contribs/qecode
-- ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc
-- ext/gecode-2.1.1/contribs/qecode/implicative.hh
-- ext/gecode-2.1.1/contribs/qecode/examples
-- ext/gecode-2.1.1/contribs/qecode/examples/COMPILING
-- ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp
-- ext/gecode-2.1.1/contribs/qecode/examples/stress_test.cpp
-- ext/gecode-2.1.1/contribs/qecode/examples/NimFibo.cpp
-- ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh
-- ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh
-- ext/gecode-2.1.1/contribs/qecode/qsolver.hh
-- ext/gecode-2.1.1/contribs/qecode/heap.cc
-- ext/gecode-2.1.1/contribs/qecode/qecore.hh
-- ext/gecode-2.1.1/contribs/qecode/implicative.cc
-- ext/gecode-2.1.1/contribs/qecode/qecore.cc
-- ext/gecode-2.1.1/contribs/qecode/qecode.hh
-- ext/gecode-2.1.1/contribs/qecode/warner.hh
-- ext/gecode-2.1.1/contribs/qecode/shortdesc.ac
-- ext/gecode-2.1.1/contribs/qecode/myDom.cc
-- ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc
-- ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh
-- ext/gecode-2.1.1/contribs/qecode/Doxyfile
-- ext/gecode-2.1.1/contribs/qecode/vartype.hh
-- ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc
-- ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc
-- ext/gecode-2.1.1/contribs/qecode/Makefile.in.in
-- ext/gecode-2.1.1/contribs/qecode/configure
-- ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh
-- ext/gecode-2.1.1/contribs/qecode/qsolver.cc
-- ext/gecode-2.1.1/contribs/qecode/warner.cc
-- ext/gecode-2.1.1/contribs/qecode/myspace.cc
-- ext/gecode-2.1.1/contribs/qecode/myspace.hh
-- ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh
-- ext/gecode-2.1.1/contribs/qecode/configure.ac
-- ext/gecode-2.1.1/variables.vsl
-- ext/gecode-2.1.1/Makefile.in
-- ext/gecode-2.1.1/misc
-- ext/gecode-2.1.1/misc/fixproperties.sh
-- ext/gecode-2.1.1/misc/svn-ignore.txt
-- ext/gecode-2.1.1/misc/genchangelog.perl
-- ext/gecode-2.1.1/misc/gecode-search.pc.in
-- ext/gecode-2.1.1/misc/gentxtchangelog.perl
-- ext/gecode-2.1.1/misc/genlcovmakefile.perl
-- ext/gecode-2.1.1/misc/AppleHelpbookInfo.plist
-- ext/gecode-2.1.1/misc/allexamples.perl
-- ext/gecode-2.1.1/misc/doxygen
-- ext/gecode-2.1.1/misc/doxygen/footer.html
-- ext/gecode-2.1.1/misc/doxygen/stylesheet.css
-- ext/gecode-2.1.1/misc/doxygen/back.png
-- ext/gecode-2.1.1/misc/doxygen/gecode-logo-100.png
-- ext/gecode-2.1.1/misc/doxygen/header.html
-- ext/gecode-2.1.1/misc/gecode-minimodel.pc.in
-- ext/gecode-2.1.1/misc/genregistry.perl
-- ext/gecode-2.1.1/misc/genvariables.perl
-- ext/gecode-2.1.1/misc/gecode.pc.in
-- ext/gecode-2.1.1/misc/gecode-serialization.pc.in
-- ext/gecode-2.1.1/misc/debian
-- ext/gecode-2.1.1/misc/debian/changelog
-- ext/gecode-2.1.1/misc/debian/gecode.info
-- ext/gecode-2.1.1/misc/debian/copyright
-- ext/gecode-2.1.1/misc/debian/gecode.install
-- ext/gecode-2.1.1/misc/debian/rules
-- ext/gecode-2.1.1/misc/debian/Makefile.am
-- ext/gecode-2.1.1/misc/debian/gecode.spec
-- ext/gecode-2.1.1/misc/debian/control
-- ext/gecode-2.1.1/misc/gecode-gist.pc.in
-- ext/gecode-2.1.1/misc/makedepend.perl
-- ext/gecode-2.1.1/misc/getrevision.perl
-- ext/gecode-2.1.1/misc/genlicense.perl
-- ext/gecode-2.1.1/misc/genstatistics.perl
-- ext/gecode-2.1.1/configure.ac.in
-- ext/gecode-2.1.1/configure.ac
-- ext/gecode-2.1.1/changelog.in
+- ext/gecode-2.2.0/examples
+- ext/gecode-2.2.0/examples/stress-linear-bool.cc
+- ext/gecode-2.2.0/examples/support.hh
+- ext/gecode-2.2.0/examples/magic-square.cc
+- ext/gecode-2.2.0/examples/domino.cc
+- ext/gecode-2.2.0/examples/langford-number.cc
+- ext/gecode-2.2.0/examples/eq20.cc
+- ext/gecode-2.2.0/examples/queens.cc
+- ext/gecode-2.2.0/examples/bacp.cc
+- ext/gecode-2.2.0/examples/stress-search.cc
+- ext/gecode-2.2.0/examples/pentominoes.cc
+- ext/gecode-2.2.0/examples/all-interval.cc
+- ext/gecode-2.2.0/examples/warehouses.cc
+- ext/gecode-2.2.0/examples/ind-set.cc
+- ext/gecode-2.2.0/examples/stress-domain.cc
+- ext/gecode-2.2.0/examples/stress-distinct.cc
+- ext/gecode-2.2.0/examples/alpha.cc
+- ext/gecode-2.2.0/examples/partition.cc
+- ext/gecode-2.2.0/examples/golomb-ruler.cc
+- ext/gecode-2.2.0/examples/sudoku.cc
+- ext/gecode-2.2.0/examples/steiner.cc
+- ext/gecode-2.2.0/examples/minesweeper.cc
+- ext/gecode-2.2.0/examples/perfect-square.cc
+- ext/gecode-2.2.0/examples/donald.cc
+- ext/gecode-2.2.0/examples/kakuro.cc
+- ext/gecode-2.2.0/examples/golf.cc
+- ext/gecode-2.2.0/examples/queen-armies.cc
+- ext/gecode-2.2.0/examples/stress-min.cc
+- ext/gecode-2.2.0/examples/stress-extensional.cc
+- ext/gecode-2.2.0/examples/tsp.cc
+- ext/gecode-2.2.0/examples/ortho-latin.cc
+- ext/gecode-2.2.0/examples/crowded-chess.cc
+- ext/gecode-2.2.0/examples/javascript.cc
+- ext/gecode-2.2.0/examples/grocery.cc
+- ext/gecode-2.2.0/examples/graph-color.cc
+- ext/gecode-2.2.0/examples/money.cc
+- ext/gecode-2.2.0/examples/photo.cc
+- ext/gecode-2.2.0/examples/hamming.cc
+- ext/gecode-2.2.0/examples/stress-element.cc
+- ext/gecode-2.2.0/examples/crew.cc
+- ext/gecode-2.2.0/examples/stress-exec.cc
+- ext/gecode-2.2.0/examples/sports-league.cc
+- ext/gecode-2.2.0/examples/magic-sequence.cc
+- ext/gecode-2.2.0/examples/baseline.cc
+- ext/gecode-2.2.0/examples/queens.js
+- ext/gecode-2.2.0/examples/knights.cc
+- ext/gecode-2.2.0/examples/black-hole.cc
+- ext/gecode-2.2.0/examples/support
+- ext/gecode-2.2.0/examples/support/example.icc
+- ext/gecode-2.2.0/examples/support/options.icc
+- ext/gecode-2.2.0/examples/support/example.cc
+- ext/gecode-2.2.0/examples/support/options.cc
+- ext/gecode-2.2.0/examples/nonogram.cc
+- ext/gecode-2.2.0/examples/bibd.cc
+- ext/gecode-2.2.0/Makefile.contribs
+- ext/gecode-2.2.0/install-sh
+- ext/gecode-2.2.0/LICENSE
+- ext/gecode-2.2.0/doxygen
+- ext/gecode-2.2.0/doxygen/doxygen.conf.in
+- ext/gecode-2.2.0/doxygen/doxygen.hh.in
+- ext/gecode-2.2.0/doxygen/reflection.hh
+- ext/gecode-2.2.0/test
+- ext/gecode-2.2.0/test/assign.cc
+- ext/gecode-2.2.0/test/int.icc
+- ext/gecode-2.2.0/test/assign.hh
+- ext/gecode-2.2.0/test/set
+- ext/gecode-2.2.0/test/set/dom.cc
+- ext/gecode-2.2.0/test/set/projection.cc
+- ext/gecode-2.2.0/test/set/int.cc
+- ext/gecode-2.2.0/test/set/convex.cc
+- ext/gecode-2.2.0/test/set/distinct.cc
+- ext/gecode-2.2.0/test/set/sequence.cc
+- ext/gecode-2.2.0/test/set/rel.cc
+- ext/gecode-2.2.0/test/set/select.cc
+- ext/gecode-2.2.0/test/set/rel-op.cc
+- ext/gecode-2.2.0/test/set/rel-op-const.cc
+- ext/gecode-2.2.0/test/int.cc
+- ext/gecode-2.2.0/test/branch.hh
+- ext/gecode-2.2.0/test/cpltset.cc
+- ext/gecode-2.2.0/test/search.cc
+- ext/gecode-2.2.0/test/int
+- ext/gecode-2.2.0/test/int/channel.cc
+- ext/gecode-2.2.0/test/int/dom.cc
+- ext/gecode-2.2.0/test/int/distinct.cc
+- ext/gecode-2.2.0/test/int/gcc.cc
+- ext/gecode-2.2.0/test/int/arithmetic.cc
+- ext/gecode-2.2.0/test/int/extensional.cc
+- ext/gecode-2.2.0/test/int/count.cc
+- ext/gecode-2.2.0/test/int/mm-lin.cc
+- ext/gecode-2.2.0/test/int/bool.cc
+- ext/gecode-2.2.0/test/int/mm-rel.cc
+- ext/gecode-2.2.0/test/int/scheduling.cc
+- ext/gecode-2.2.0/test/int/linear.cc
+- ext/gecode-2.2.0/test/int/rel.cc
+- ext/gecode-2.2.0/test/int/basic.cc
+- ext/gecode-2.2.0/test/int/circuit.cc
+- ext/gecode-2.2.0/test/int/mm-bool.cc
+- ext/gecode-2.2.0/test/int/unshare.cc
+- ext/gecode-2.2.0/test/int/mm-count.cc
+- ext/gecode-2.2.0/test/int/mm-arithmetic.cc
+- ext/gecode-2.2.0/test/int/element.cc
+- ext/gecode-2.2.0/test/int/sorted.cc
+- ext/gecode-2.2.0/test/set.cc
+- ext/gecode-2.2.0/test/cpltset
+- ext/gecode-2.2.0/test/cpltset/dom.cc
+- ext/gecode-2.2.0/test/cpltset/atmost.cc
+- ext/gecode-2.2.0/test/cpltset/partition.cc
+- ext/gecode-2.2.0/test/cpltset/rel.cc
+- ext/gecode-2.2.0/test/cpltset/select.cc
+- ext/gecode-2.2.0/test/cpltset/cardinality.cc
+- ext/gecode-2.2.0/test/int.hh
+- ext/gecode-2.2.0/test/cpltset.hh
+- ext/gecode-2.2.0/test/assign
+- ext/gecode-2.2.0/test/assign/int.cc
+- ext/gecode-2.2.0/test/assign/bool.cc
+- ext/gecode-2.2.0/test/set.hh
+- ext/gecode-2.2.0/test/set.icc
+- ext/gecode-2.2.0/test/test.cc
+- ext/gecode-2.2.0/test/test.hh
+- ext/gecode-2.2.0/test/branch.cc
+- ext/gecode-2.2.0/test/branch
+- ext/gecode-2.2.0/test/branch/int.cc
+- ext/gecode-2.2.0/test/branch/cpltset.cc
+- ext/gecode-2.2.0/test/branch/set.cc
+- ext/gecode-2.2.0/test/branch/bool.cc
+- ext/gecode-2.2.0/test/test.icc
+- ext/gecode-2.2.0/gecode.m4
+- ext/gecode-2.2.0/configure
+- ext/gecode-2.2.0/Makefile.dep
+- ext/gecode-2.2.0/gecode
+- ext/gecode-2.2.0/gecode/support.hh
+- ext/gecode-2.2.0/gecode/set
+- ext/gecode-2.2.0/gecode/set/view
+- ext/gecode-2.2.0/gecode/set/view/print.cc
+- ext/gecode-2.2.0/gecode/set/view/const.icc
+- ext/gecode-2.2.0/gecode/set/view/complement.icc
+- ext/gecode-2.2.0/gecode/set/view/offset.icc
+- ext/gecode-2.2.0/gecode/set/view/set.icc
+- ext/gecode-2.2.0/gecode/set/view/singleton.icc
+- ext/gecode-2.2.0/gecode/set/sequence.hh
+- ext/gecode-2.2.0/gecode/set/dom.cc
+- ext/gecode-2.2.0/gecode/set/int.cc
+- ext/gecode-2.2.0/gecode/set/array.cc
+- ext/gecode-2.2.0/gecode/set/var
+- ext/gecode-2.2.0/gecode/set/var/set.cc
+- ext/gecode-2.2.0/gecode/set/var/set.icc
+- ext/gecode-2.2.0/gecode/set/branch.hh
+- ext/gecode-2.2.0/gecode/set/rel-op
+- ext/gecode-2.2.0/gecode/set/rel-op/union.icc
+- ext/gecode-2.2.0/gecode/set/rel-op/subofunion.icc
+- ext/gecode-2.2.0/gecode/set/rel-op/superofinter.icc
+- ext/gecode-2.2.0/gecode/set/rel-op/partition.icc
+- ext/gecode-2.2.0/gecode/set/rel-op/post.icc
+- ext/gecode-2.2.0/gecode/set/rel-op/inter.icc
+- ext/gecode-2.2.0/gecode/set/rel-op/common.icc
+- ext/gecode-2.2.0/gecode/set/element.hh
+- ext/gecode-2.2.0/gecode/set/convex.cc
+- ext/gecode-2.2.0/gecode/set/projectors.cc
+- ext/gecode-2.2.0/gecode/set/rel-op.hh
+- ext/gecode-2.2.0/gecode/set/distinct.cc
+- ext/gecode-2.2.0/gecode/set/distinct
+- ext/gecode-2.2.0/gecode/set/distinct/atmostOne.cc
+- ext/gecode-2.2.0/gecode/set/distinct/atmostOne.icc
+- ext/gecode-2.2.0/gecode/set/projectors
+- ext/gecode-2.2.0/gecode/set/projectors/propagator.hh
+- ext/gecode-2.2.0/gecode/set/projectors/formula.cc
+- ext/gecode-2.2.0/gecode/set/projectors/propagator
+- ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.icc
+- ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.cc
+- ext/gecode-2.2.0/gecode/set/projectors/propagator/card.icc
+- ext/gecode-2.2.0/gecode/set/projectors/propagator/nary.icc
+- ext/gecode-2.2.0/gecode/set/projectors/compiler.cc
+- ext/gecode-2.2.0/gecode/set/projectors/projector.icc
+- ext/gecode-2.2.0/gecode/set/projectors/set-expr.cc
+- ext/gecode-2.2.0/gecode/set/projectors/projector.cc
+- ext/gecode-2.2.0/gecode/set/projectors/projector-set.cc
+- ext/gecode-2.2.0/gecode/set/projectors/formula.icc
+- ext/gecode-2.2.0/gecode/set/projectors/projector-set.icc
+- ext/gecode-2.2.0/gecode/set/projectors/set-expr.icc
+- ext/gecode-2.2.0/gecode/set/sequence
+- ext/gecode-2.2.0/gecode/set/sequence/seq-u.icc
+- ext/gecode-2.2.0/gecode/set/sequence/seq-u.cc
+- ext/gecode-2.2.0/gecode/set/sequence/seq.icc
+- ext/gecode-2.2.0/gecode/set/sequence/common.icc
+- ext/gecode-2.2.0/gecode/set/sequence/seq.cc
+- ext/gecode-2.2.0/gecode/set/int
+- ext/gecode-2.2.0/gecode/set/int/channel-bool.icc
+- ext/gecode-2.2.0/gecode/set/int/minmax.icc
+- ext/gecode-2.2.0/gecode/set/int/weights.icc
+- ext/gecode-2.2.0/gecode/set/int/card.icc
+- ext/gecode-2.2.0/gecode/set/int/channel-int.icc
+- ext/gecode-2.2.0/gecode/set/int/match.icc
+- ext/gecode-2.2.0/gecode/set/sequence.cc
+- ext/gecode-2.2.0/gecode/set/rel
+- ext/gecode-2.2.0/gecode/set/rel/nq.icc
+- ext/gecode-2.2.0/gecode/set/rel/re-eq.icc
+- ext/gecode-2.2.0/gecode/set/rel/re-subset.icc
+- ext/gecode-2.2.0/gecode/set/rel/eq.icc
+- ext/gecode-2.2.0/gecode/set/rel/nosubset.icc
+- ext/gecode-2.2.0/gecode/set/rel/common.icc
+- ext/gecode-2.2.0/gecode/set/rel/subset.icc
+- ext/gecode-2.2.0/gecode/set/array.icc
+- ext/gecode-2.2.0/gecode/set/propagator.icc
+- ext/gecode-2.2.0/gecode/set/var-imp.icc
+- ext/gecode-2.2.0/gecode/set/element
+- ext/gecode-2.2.0/gecode/set/element/union.icc
+- ext/gecode-2.2.0/gecode/set/element/disjoint.icc
+- ext/gecode-2.2.0/gecode/set/element/disjoint.cc
+- ext/gecode-2.2.0/gecode/set/element/idxarray.icc
+- ext/gecode-2.2.0/gecode/set/element/inter.icc
+- ext/gecode-2.2.0/gecode/set/element/unionConst.icc
+- ext/gecode-2.2.0/gecode/set/element/idxarray.hh
+- ext/gecode-2.2.0/gecode/set/int.hh
+- ext/gecode-2.2.0/gecode/set/projectors.hh
+- ext/gecode-2.2.0/gecode/set/convex.hh
+- ext/gecode-2.2.0/gecode/set/limits.icc
+- ext/gecode-2.2.0/gecode/set/distinct.hh
+- ext/gecode-2.2.0/gecode/set/exception.icc
+- ext/gecode-2.2.0/gecode/set/view.icc
+- ext/gecode-2.2.0/gecode/set/var-imp
+- ext/gecode-2.2.0/gecode/set/var-imp/iter.icc
+- ext/gecode-2.2.0/gecode/set/var-imp/set.cc
+- ext/gecode-2.2.0/gecode/set/var-imp/integerset.cc
+- ext/gecode-2.2.0/gecode/set/var-imp/delta.icc
+- ext/gecode-2.2.0/gecode/set/var-imp/integerset.icc
+- ext/gecode-2.2.0/gecode/set/var-imp/set.icc
+- ext/gecode-2.2.0/gecode/set/var-imp/set.vis
+- ext/gecode-2.2.0/gecode/set/rel.cc
+- ext/gecode-2.2.0/gecode/set/convex
+- ext/gecode-2.2.0/gecode/set/convex/conv.icc
+- ext/gecode-2.2.0/gecode/set/convex/conv.cc
+- ext/gecode-2.2.0/gecode/set/convex/hull.icc
+- ext/gecode-2.2.0/gecode/set/convex/hull.cc
+- ext/gecode-2.2.0/gecode/set/projectors-compiler.hh
+- ext/gecode-2.2.0/gecode/set/cardinality.cc
+- ext/gecode-2.2.0/gecode/set/rel.hh
+- ext/gecode-2.2.0/gecode/set/branch.cc
+- ext/gecode-2.2.0/gecode/set/rel-op.cc
+- ext/gecode-2.2.0/gecode/set/element.cc
+- ext/gecode-2.2.0/gecode/set/rel-op-const.cc
+- ext/gecode-2.2.0/gecode/set/branch
+- ext/gecode-2.2.0/gecode/set/branch/select-view.icc
+- ext/gecode-2.2.0/gecode/set/branch/select-val.icc
+- ext/gecode-2.2.0/gecode/iter
+- ext/gecode-2.2.0/gecode/iter/ranges-size.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-operations.icc
+- ext/gecode-2.2.0/gecode/iter/virtual-ranges-compl.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-inter.icc
+- ext/gecode-2.2.0/gecode/iter/virtual-ranges-inter.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-empty.icc
+- ext/gecode-2.2.0/gecode/iter/values-ranges.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-values.icc
+- ext/gecode-2.2.0/gecode/iter/values-map.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-append.icc
+- ext/gecode-2.2.0/gecode/iter/values-unique.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-add.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-offset.icc
+- ext/gecode-2.2.0/gecode/iter/values-minus.icc
+- ext/gecode-2.2.0/gecode/iter/values-union.icc
+- ext/gecode-2.2.0/gecode/iter/values-singleton.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-singleton.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-positive.icc
+- ext/gecode-2.2.0/gecode/iter/values-inter.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-minus.icc
+- ext/gecode-2.2.0/gecode/iter/virtual-ranges.icc
+- ext/gecode-2.2.0/gecode/iter/virtual-ranges-union.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-singleton-append.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-compl.icc
+- ext/gecode-2.2.0/gecode/iter/values-array.icc
+- ext/gecode-2.2.0/gecode/iter/values-positive.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-minmax.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-map.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-union.icc
+- ext/gecode-2.2.0/gecode/iter/values-negative.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-array.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-scale.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-diff.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-cache.icc
+- ext/gecode-2.2.0/gecode/iter/values-offset.icc
+- ext/gecode-2.2.0/gecode/iter/ranges-negative.icc
+- ext/gecode-2.2.0/gecode/kernel.hh
+- ext/gecode-2.2.0/gecode/int
+- ext/gecode-2.2.0/gecode/int/gcc.hh
+- ext/gecode-2.2.0/gecode/int/dom
+- ext/gecode-2.2.0/gecode/int/dom/range.icc
+- ext/gecode-2.2.0/gecode/int/dom/spec.icc
+- ext/gecode-2.2.0/gecode/int/view
+- ext/gecode-2.2.0/gecode/int/view/print.cc
+- ext/gecode-2.2.0/gecode/int/view/int.icc
+- ext/gecode-2.2.0/gecode/int/view/minus.icc
+- ext/gecode-2.2.0/gecode/int/view/iter.icc
+- ext/gecode-2.2.0/gecode/int/view/zero.icc
+- ext/gecode-2.2.0/gecode/int/view/scale.icc
+- ext/gecode-2.2.0/gecode/int/view/offset.icc
+- ext/gecode-2.2.0/gecode/int/view/rtest.icc
+- ext/gecode-2.2.0/gecode/int/view/constint.icc
+- ext/gecode-2.2.0/gecode/int/view/bool.icc
+- ext/gecode-2.2.0/gecode/int/channel.cc
+- ext/gecode-2.2.0/gecode/int/count.hh
+- ext/gecode-2.2.0/gecode/int/dom.cc
+- ext/gecode-2.2.0/gecode/int/gcc
+- ext/gecode-2.2.0/gecode/int/gcc/dom.icc
+- ext/gecode-2.2.0/gecode/int/gcc/graphsup.icc
+- ext/gecode-2.2.0/gecode/int/gcc/val.icc
+- ext/gecode-2.2.0/gecode/int/gcc/bnd.icc
+- ext/gecode-2.2.0/gecode/int/gcc/lbc.icc
+- ext/gecode-2.2.0/gecode/int/gcc/ubc.icc
+- ext/gecode-2.2.0/gecode/int/gcc/occur.icc
+- ext/gecode-2.2.0/gecode/int/gcc/gccbndsup.icc
+- ext/gecode-2.2.0/gecode/int/array.cc
+- ext/gecode-2.2.0/gecode/int/var
+- ext/gecode-2.2.0/gecode/int/var/int.icc
+- ext/gecode-2.2.0/gecode/int/var/int.cc
+- ext/gecode-2.2.0/gecode/int/var/bool.cc
+- ext/gecode-2.2.0/gecode/int/var/bool.icc
+- ext/gecode-2.2.0/gecode/int/branch.hh
+- ext/gecode-2.2.0/gecode/int/arithmetic.hh
+- ext/gecode-2.2.0/gecode/int/arithmetic
+- ext/gecode-2.2.0/gecode/int/arithmetic/sqr.icc
+- ext/gecode-2.2.0/gecode/int/arithmetic/max.icc
+- ext/gecode-2.2.0/gecode/int/arithmetic/divmod.icc
+- ext/gecode-2.2.0/gecode/int/arithmetic/abs.icc
+- ext/gecode-2.2.0/gecode/int/arithmetic/mult.icc
+- ext/gecode-2.2.0/gecode/int/arithmetic/sqrt.icc
+- ext/gecode-2.2.0/gecode/int/element.hh
+- ext/gecode-2.2.0/gecode/int/extensional.hh
+- ext/gecode-2.2.0/gecode/int/linear.hh
+- ext/gecode-2.2.0/gecode/int/distinct.cc
+- ext/gecode-2.2.0/gecode/int/sorted.hh
+- ext/gecode-2.2.0/gecode/int/distinct
+- ext/gecode-2.2.0/gecode/int/distinct/dom.icc
+- ext/gecode-2.2.0/gecode/int/distinct/val.icc
+- ext/gecode-2.2.0/gecode/int/distinct/bilink.icc
+- ext/gecode-2.2.0/gecode/int/distinct/ter-dom.icc
+- ext/gecode-2.2.0/gecode/int/distinct/combptr.icc
+- ext/gecode-2.2.0/gecode/int/distinct/edge.icc
+- ext/gecode-2.2.0/gecode/int/distinct/bnd.icc
+- ext/gecode-2.2.0/gecode/int/distinct/node.icc
+- ext/gecode-2.2.0/gecode/int/cumulatives.cc
+- ext/gecode-2.2.0/gecode/int/rel
+- ext/gecode-2.2.0/gecode/int/rel/nq.icc
+- ext/gecode-2.2.0/gecode/int/rel/lq-le.icc
+- ext/gecode-2.2.0/gecode/int/rel/eq.icc
+- ext/gecode-2.2.0/gecode/int/rel/lex.icc
+- ext/gecode-2.2.0/gecode/int/gcc.cc
+- ext/gecode-2.2.0/gecode/int/array.icc
+- ext/gecode-2.2.0/gecode/int/propagator.icc
+- ext/gecode-2.2.0/gecode/int/linear-int.cc
+- ext/gecode-2.2.0/gecode/int/var-imp.icc
+- ext/gecode-2.2.0/gecode/int/circuit
+- ext/gecode-2.2.0/gecode/int/circuit/dom.icc
+- ext/gecode-2.2.0/gecode/int/circuit/val.icc
+- ext/gecode-2.2.0/gecode/int/circuit/base.icc
+- ext/gecode-2.2.0/gecode/int/arithmetic.cc
+- ext/gecode-2.2.0/gecode/int/element
+- ext/gecode-2.2.0/gecode/int/element/int.icc
+- ext/gecode-2.2.0/gecode/int/element/view.icc
+- ext/gecode-2.2.0/gecode/int/bool
+- ext/gecode-2.2.0/gecode/int/bool/base.icc
+- ext/gecode-2.2.0/gecode/int/bool/lq.icc
+- ext/gecode-2.2.0/gecode/int/bool/or.icc
+- ext/gecode-2.2.0/gecode/int/bool/eq.icc
+- ext/gecode-2.2.0/gecode/int/bool/eqv.icc
+- ext/gecode-2.2.0/gecode/int/circuit.hh
+- ext/gecode-2.2.0/gecode/int/extensional.cc
+- ext/gecode-2.2.0/gecode/int/count.cc
+- ext/gecode-2.2.0/gecode/int/linear-bool.cc
+- ext/gecode-2.2.0/gecode/int/linear
+- ext/gecode-2.2.0/gecode/int/linear/int-noview.icc
+- ext/gecode-2.2.0/gecode/int/linear/int-ter.icc
+- ext/gecode-2.2.0/gecode/int/linear/bool-int.icc
+- ext/gecode-2.2.0/gecode/int/linear/bool-scale.icc
+- ext/gecode-2.2.0/gecode/int/linear/int-bin.icc
+- ext/gecode-2.2.0/gecode/int/linear/post.icc
+- ext/gecode-2.2.0/gecode/int/linear/bool-post.cc
+- ext/gecode-2.2.0/gecode/int/linear/bool-view.icc
+- ext/gecode-2.2.0/gecode/int/linear/int-nary.icc
+- ext/gecode-2.2.0/gecode/int/linear/int-dom.icc
+- ext/gecode-2.2.0/gecode/int/linear/int-post.cc
+- ext/gecode-2.2.0/gecode/int/bool.cc
+- ext/gecode-2.2.0/gecode/int/dom.hh
+- ext/gecode-2.2.0/gecode/int/extensional
+- ext/gecode-2.2.0/gecode/int/extensional/bitset.icc
+- ext/gecode-2.2.0/gecode/int/extensional/dfa.icc
+- ext/gecode-2.2.0/gecode/int/extensional/base.icc
+- ext/gecode-2.2.0/gecode/int/extensional/basic.icc
+- ext/gecode-2.2.0/gecode/int/extensional/dfa.cc
+- ext/gecode-2.2.0/gecode/int/extensional/layered-graph.icc
+- ext/gecode-2.2.0/gecode/int/extensional/tuple-set.icc
+- ext/gecode-2.2.0/gecode/int/extensional/incremental.icc
+- ext/gecode-2.2.0/gecode/int/extensional/tuple-set.cc
+- ext/gecode-2.2.0/gecode/int/limits.icc
+- ext/gecode-2.2.0/gecode/int/sorted
+- ext/gecode-2.2.0/gecode/int/sorted/sortsup.icc
+- ext/gecode-2.2.0/gecode/int/sorted/order.icc
+- ext/gecode-2.2.0/gecode/int/sorted/matching.icc
+- ext/gecode-2.2.0/gecode/int/sorted/narrowing.icc
+- ext/gecode-2.2.0/gecode/int/sorted/propagate.icc
+- ext/gecode-2.2.0/gecode/int/distinct.hh
+- ext/gecode-2.2.0/gecode/int/exception.icc
+- ext/gecode-2.2.0/gecode/int/int-set.cc
+- ext/gecode-2.2.0/gecode/int/view.icc
+- ext/gecode-2.2.0/gecode/int/var-imp
+- ext/gecode-2.2.0/gecode/int/var-imp/int.icc
+- ext/gecode-2.2.0/gecode/int/var-imp/int.cc
+- ext/gecode-2.2.0/gecode/int/var-imp/delta.icc
+- ext/gecode-2.2.0/gecode/int/var-imp/bool.cc
+- ext/gecode-2.2.0/gecode/int/var-imp/int.vis
+- ext/gecode-2.2.0/gecode/int/var-imp/bool.icc
+- ext/gecode-2.2.0/gecode/int/var-imp/bool.vis
+- ext/gecode-2.2.0/gecode/int/int-set.icc
+- ext/gecode-2.2.0/gecode/int/rel.cc
+- ext/gecode-2.2.0/gecode/int/support-values.hh
+- ext/gecode-2.2.0/gecode/int/bool.hh
+- ext/gecode-2.2.0/gecode/int/circuit.cc
+- ext/gecode-2.2.0/gecode/int/cumulatives
+- ext/gecode-2.2.0/gecode/int/cumulatives/val.icc
+- ext/gecode-2.2.0/gecode/int/unshare.cc
+- ext/gecode-2.2.0/gecode/int/cumulatives.hh
+- ext/gecode-2.2.0/gecode/int/channel.hh
+- ext/gecode-2.2.0/gecode/int/rel.hh
+- ext/gecode-2.2.0/gecode/int/branch.cc
+- ext/gecode-2.2.0/gecode/int/channel
+- ext/gecode-2.2.0/gecode/int/channel/dom.icc
+- ext/gecode-2.2.0/gecode/int/channel/val.icc
+- ext/gecode-2.2.0/gecode/int/channel/base.icc
+- ext/gecode-2.2.0/gecode/int/channel/link-multi.cc
+- ext/gecode-2.2.0/gecode/int/channel/link-multi.icc
+- ext/gecode-2.2.0/gecode/int/channel/link-single.cc
+- ext/gecode-2.2.0/gecode/int/channel/link-single.icc
+- ext/gecode-2.2.0/gecode/int/support-values.icc
+- ext/gecode-2.2.0/gecode/int/element.cc
+- ext/gecode-2.2.0/gecode/int/sorted.cc
+- ext/gecode-2.2.0/gecode/int/count
+- ext/gecode-2.2.0/gecode/int/count/int.icc
+- ext/gecode-2.2.0/gecode/int/count/view.icc
+- ext/gecode-2.2.0/gecode/int/count/rel.icc
+- ext/gecode-2.2.0/gecode/int/branch
+- ext/gecode-2.2.0/gecode/int/branch/select-view.icc
+- ext/gecode-2.2.0/gecode/int/branch/create-branch.icc
+- ext/gecode-2.2.0/gecode/int/branch/select-val.icc
+- ext/gecode-2.2.0/gecode/cpltset
+- ext/gecode-2.2.0/gecode/cpltset/propagators.hh
+- ext/gecode-2.2.0/gecode/cpltset/view
+- ext/gecode-2.2.0/gecode/cpltset/view/print.cc
+- ext/gecode-2.2.0/gecode/cpltset/view/cpltset.icc
+- ext/gecode-2.2.0/gecode/cpltset/propagators
+- ext/gecode-2.2.0/gecode/cpltset/propagators/naryone.icc
+- ext/gecode-2.2.0/gecode/cpltset/propagators/narytwo.icc
+- ext/gecode-2.2.0/gecode/cpltset/propagators/unary.icc
+- ext/gecode-2.2.0/gecode/cpltset/propagators/nary.icc
+- ext/gecode-2.2.0/gecode/cpltset/propagators/binary.icc
+- ext/gecode-2.2.0/gecode/cpltset/propagators/singleton.icc
+- ext/gecode-2.2.0/gecode/cpltset/array.cc
+- ext/gecode-2.2.0/gecode/cpltset/var
+- ext/gecode-2.2.0/gecode/cpltset/var/cpltset.cc
+- ext/gecode-2.2.0/gecode/cpltset/var/cpltset.icc
+- ext/gecode-2.2.0/gecode/cpltset/branch.hh
+- ext/gecode-2.2.0/gecode/cpltset/bddmanager.cc
+- ext/gecode-2.2.0/gecode/cpltset/bddmanager.icc
+- ext/gecode-2.2.0/gecode/cpltset/support.cc
+- ext/gecode-2.2.0/gecode/cpltset/array.icc
+- ext/gecode-2.2.0/gecode/cpltset/var-imp.icc
+- ext/gecode-2.2.0/gecode/cpltset/exception.icc
+- ext/gecode-2.2.0/gecode/cpltset/view.icc
+- ext/gecode-2.2.0/gecode/cpltset/var-imp
+- ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.cc
+- ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.icc
+- ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.vis
+- ext/gecode-2.2.0/gecode/cpltset/constraints
+- ext/gecode-2.2.0/gecode/cpltset/constraints/dom.cc
+- ext/gecode-2.2.0/gecode/cpltset/constraints/atmost.cc
+- ext/gecode-2.2.0/gecode/cpltset/constraints/singleton.cc
+- ext/gecode-2.2.0/gecode/cpltset/constraints/distinct.cc
+- ext/gecode-2.2.0/gecode/cpltset/constraints/partition.cc
+- ext/gecode-2.2.0/gecode/cpltset/constraints/rel.cc
+- ext/gecode-2.2.0/gecode/cpltset/constraints/select.cc
+- ext/gecode-2.2.0/gecode/cpltset/constraints/cardinality.cc
+- ext/gecode-2.2.0/gecode/cpltset/constraints/rangeroots.cc
+- ext/gecode-2.2.0/gecode/cpltset/support.icc
+- ext/gecode-2.2.0/gecode/cpltset/branch.cc
+- ext/gecode-2.2.0/gecode/cpltset/branch
+- ext/gecode-2.2.0/gecode/cpltset/branch/select-view.icc
+- ext/gecode-2.2.0/gecode/cpltset/branch/select-val.icc
+- ext/gecode-2.2.0/gecode/minimodel
+- ext/gecode-2.2.0/gecode/minimodel/lin-rel.icc
+- ext/gecode-2.2.0/gecode/minimodel/lin-expr.icc
+- ext/gecode-2.2.0/gecode/minimodel/bool-rel.icc
+- ext/gecode-2.2.0/gecode/minimodel/reg.cc
+- ext/gecode-2.2.0/gecode/minimodel/bool-expr.cc
+- ext/gecode-2.2.0/gecode/minimodel/bool-expr.icc
+- ext/gecode-2.2.0/gecode/minimodel/matrix.icc
+- ext/gecode-2.2.0/gecode/minimodel/exception.icc
+- ext/gecode-2.2.0/gecode/minimodel/arithmetic.icc
+- ext/gecode-2.2.0/gecode/int.hh
+- ext/gecode-2.2.0/gecode/minimodel.hh
+- ext/gecode-2.2.0/gecode/cpltset.hh
+- ext/gecode-2.2.0/gecode/serialization
+- ext/gecode-2.2.0/gecode/serialization/boost.cc
+- ext/gecode-2.2.0/gecode/serialization/flatzinc.cc
+- ext/gecode-2.2.0/gecode/serialization/register.cc
+- ext/gecode-2.2.0/gecode/serialization/javascript.hh
+- ext/gecode-2.2.0/gecode/serialization/boost.icc
+- ext/gecode-2.2.0/gecode/serialization/javascript.cc
+- ext/gecode-2.2.0/gecode/iter.hh
+- ext/gecode-2.2.0/gecode/gist.hh
+- ext/gecode-2.2.0/gecode/set.hh
+- ext/gecode-2.2.0/gecode/serialization.hh
+- ext/gecode-2.2.0/gecode/search
+- ext/gecode-2.2.0/gecode/search/lds.cc
+- ext/gecode-2.2.0/gecode/search/stop.icc
+- ext/gecode-2.2.0/gecode/search/dfs.cc
+- ext/gecode-2.2.0/gecode/search/engine-ctrl.icc
+- ext/gecode-2.2.0/gecode/search/bab.cc
+- ext/gecode-2.2.0/gecode/search/reco-stack.icc
+- ext/gecode-2.2.0/gecode/search/options.icc
+- ext/gecode-2.2.0/gecode/search/statistics.icc
+- ext/gecode-2.2.0/gecode/search/bab.icc
+- ext/gecode-2.2.0/gecode/search/lds.icc
+- ext/gecode-2.2.0/gecode/search/restart.icc
+- ext/gecode-2.2.0/gecode/search/stop.cc
+- ext/gecode-2.2.0/gecode/search/dfs.icc
+- ext/gecode-2.2.0/gecode/search/options.cc
+- ext/gecode-2.2.0/gecode/gist
+- ext/gecode-2.2.0/gecode/gist/addchild.hh
+- ext/gecode-2.2.0/gecode/gist/mainwindow.hh
+- ext/gecode-2.2.0/gecode/gist/node.hh
+- ext/gecode-2.2.0/gecode/gist/drawingcursor.icc
+- ext/gecode-2.2.0/gecode/gist/ui_addvisualisationdialog.hh
+- ext/gecode-2.2.0/gecode/gist/addchild.cc
+- ext/gecode-2.2.0/gecode/gist/layoutcursor.icc
+- ext/gecode-2.2.0/gecode/gist/nodevisitor.icc
+- ext/gecode-2.2.0/gecode/gist/spacenode.cc
+- ext/gecode-2.2.0/gecode/gist/gist.icc
+- ext/gecode-2.2.0/gecode/gist/nodevisitor.hh
+- ext/gecode-2.2.0/gecode/gist/nodecursor.icc
+- ext/gecode-2.2.0/gecode/gist/drawingcursor.hh
+- ext/gecode-2.2.0/gecode/gist/visualisation
+- ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.cc
+- ext/gecode-2.2.0/gecode/gist/visualisation/varitem.cc
+- ext/gecode-2.2.0/gecode/gist/visualisation/vararrayitem.hh
+- ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.cc
+- ext/gecode-2.2.0/gecode/gist/visualisation/varitem.hh
+- ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.hh
+- ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.cc
+- ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.hh
+- ext/gecode-2.2.0/gecode/gist/visualisation/vararrayviewt.hh
+- ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.hh
+- ext/gecode-2.2.0/gecode/gist/treecanvas.cc
+- ext/gecode-2.2.0/gecode/gist/drawingcursor.cc
+- ext/gecode-2.2.0/gecode/gist/gist.cc
+- ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.hh
+- ext/gecode-2.2.0/gecode/gist/better.hh
+- ext/gecode-2.2.0/gecode/gist/node.cc
+- ext/gecode-2.2.0/gecode/gist/layoutcursor.cc
+- ext/gecode-2.2.0/gecode/gist/preferences.cc
+- ext/gecode-2.2.0/gecode/gist/mainwindow.cc
+- ext/gecode-2.2.0/gecode/gist/test.cc
+- ext/gecode-2.2.0/gecode/gist/preferences.hh
+- ext/gecode-2.2.0/gecode/gist/node.icc
+- ext/gecode-2.2.0/gecode/gist/config.hh
+- ext/gecode-2.2.0/gecode/gist/gecodelogo.cc
+- ext/gecode-2.2.0/gecode/gist/textoutput.cc
+- ext/gecode-2.2.0/gecode/gist/visualnode.hh
+- ext/gecode-2.2.0/gecode/gist/config.cc
+- ext/gecode-2.2.0/gecode/gist/nodecursor.cc
+- ext/gecode-2.2.0/gecode/gist/visualnode.cc
+- ext/gecode-2.2.0/gecode/gist/zoomToFitIcon.icc
+- ext/gecode-2.2.0/gecode/gist/layoutcursor.hh
+- ext/gecode-2.2.0/gecode/gist/textoutput.hh
+- ext/gecode-2.2.0/gecode/gist/ui_addchild.hh
+- ext/gecode-2.2.0/gecode/gist/gecodelogo.hh
+- ext/gecode-2.2.0/gecode/gist/spacenode.hh
+- ext/gecode-2.2.0/gecode/gist/nodecursor.hh
+- ext/gecode-2.2.0/gecode/gist/spacenode.icc
+- ext/gecode-2.2.0/gecode/gist/visualnode.icc
+- ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.cc
+- ext/gecode-2.2.0/gecode/gist/treecanvas.hh
+- ext/gecode-2.2.0/gecode/search.hh
+- ext/gecode-2.2.0/gecode/kernel
+- ext/gecode-2.2.0/gecode/kernel/var-type.cc
+- ext/gecode-2.2.0/gecode/kernel/core.icc
+- ext/gecode-2.2.0/gecode/kernel/memory-manager.cc
+- ext/gecode-2.2.0/gecode/kernel/reflection.cc
+- ext/gecode-2.2.0/gecode/kernel/var-type.icc
+- ext/gecode-2.2.0/gecode/kernel/reflection.icc
+- ext/gecode-2.2.0/gecode/kernel/core.cc
+- ext/gecode-2.2.0/gecode/kernel/advisor.icc
+- ext/gecode-2.2.0/gecode/kernel/modevent.icc
+- ext/gecode-2.2.0/gecode/kernel/var-traits.icc
+- ext/gecode-2.2.0/gecode/kernel/array.icc
+- ext/gecode-2.2.0/gecode/kernel/propagator.icc
+- ext/gecode-2.2.0/gecode/kernel/branching.icc
+- ext/gecode-2.2.0/gecode/kernel/var-imp.icc
+- ext/gecode-2.2.0/gecode/kernel/exception.icc
+- ext/gecode-2.2.0/gecode/kernel/var-map.cc
+- ext/gecode-2.2.0/gecode/kernel/view.icc
+- ext/gecode-2.2.0/gecode/kernel/var.icc
+- ext/gecode-2.2.0/gecode/kernel/var-map.icc
+- ext/gecode-2.2.0/gecode/kernel/memory-manager.icc
+- ext/gecode-2.2.0/gecode/kernel/macros.icc
+- ext/gecode-2.2.0/gecode/kernel/shared-array.icc
+- ext/gecode-2.2.0/gecode/support
+- ext/gecode-2.2.0/gecode/support/static-stack.icc
+- ext/gecode-2.2.0/gecode/support/random.icc
+- ext/gecode-2.2.0/gecode/support/symbol.icc
+- ext/gecode-2.2.0/gecode/support/static-pqueue.icc
+- ext/gecode-2.2.0/gecode/support/block-allocator.icc
+- ext/gecode-2.2.0/gecode/support/exception.cc
+- ext/gecode-2.2.0/gecode/support/map.icc
+- ext/gecode-2.2.0/gecode/support/dynamic-stack.icc
+- ext/gecode-2.2.0/gecode/support/exception.icc
+- ext/gecode-2.2.0/gecode/support/memory.icc
+- ext/gecode-2.2.0/gecode/support/sentinel-stack.icc
+- ext/gecode-2.2.0/gecode/support/cast.icc
+- ext/gecode-2.2.0/gecode/support/buddy
+- ext/gecode-2.2.0/gecode/support/buddy/fdd.c
+- ext/gecode-2.2.0/gecode/support/buddy/README
+- ext/gecode-2.2.0/gecode/support/buddy/AUTHORS
+- ext/gecode-2.2.0/gecode/support/buddy/imatrix.c
+- ext/gecode-2.2.0/gecode/support/buddy/config.h
+- ext/gecode-2.2.0/gecode/support/buddy/cache.h
+- ext/gecode-2.2.0/gecode/support/buddy/bvec.c
+- ext/gecode-2.2.0/gecode/support/buddy/prime.h
+- ext/gecode-2.2.0/gecode/support/buddy/bdd.h
+- ext/gecode-2.2.0/gecode/support/buddy/imatrix.h
+- ext/gecode-2.2.0/gecode/support/buddy/pairs.c
+- ext/gecode-2.2.0/gecode/support/buddy/bddop.c
+- ext/gecode-2.2.0/gecode/support/buddy/fdd.h
+- ext/gecode-2.2.0/gecode/support/buddy/bvec.h
+- ext/gecode-2.2.0/gecode/support/buddy/kernel.c
+- ext/gecode-2.2.0/gecode/support/buddy/NEWS
+- ext/gecode-2.2.0/gecode/support/buddy/bddio.c
+- ext/gecode-2.2.0/gecode/support/buddy/ChangeLog
+- ext/gecode-2.2.0/gecode/support/buddy/cache.c
+- ext/gecode-2.2.0/gecode/support/buddy/cppext.cc
+- ext/gecode-2.2.0/gecode/support/buddy/tree.c
+- ext/gecode-2.2.0/gecode/support/buddy/kernel.h
+- ext/gecode-2.2.0/gecode/support/buddy/reorder.c
+- ext/gecode-2.2.0/gecode/support/buddy/bddtree.h
+- ext/gecode-2.2.0/gecode/support/buddy/prime.c
+- ext/gecode-2.2.0/gecode/support/symbol.cc
+- ext/gecode-2.2.0/gecode/support/config.icc.in
+- ext/gecode-2.2.0/gecode/support/macros.icc
+- ext/gecode-2.2.0/gecode/support/marked-pointer.icc
+- ext/gecode-2.2.0/gecode/support/dynamic-array.icc
+- ext/gecode-2.2.0/gecode/support/sort.icc
+- ext/gecode-2.2.0/contribs
+- ext/gecode-2.2.0/contribs/README
+- ext/gecode-2.2.0/contribs/qecode
+- ext/gecode-2.2.0/contribs/qecode/StrategyNode.cc
+- ext/gecode-2.2.0/contribs/qecode/examples
+- ext/gecode-2.2.0/contribs/qecode/examples/COMPILING
+- ext/gecode-2.2.0/contribs/qecode/examples/MatrixGame.cpp
+- ext/gecode-2.2.0/contribs/qecode/examples/optim2.cc
+- ext/gecode-2.2.0/contribs/qecode/examples/stress_test.cpp
+- ext/gecode-2.2.0/contribs/qecode/examples/NimFibo.cpp
+- ext/gecode-2.2.0/contribs/qecode/examples/network-pricing.cc
+- ext/gecode-2.2.0/contribs/qecode/examples/connect-5-3-3-3.cpp
+- ext/gecode-2.2.0/contribs/qecode/qsolver.hh
+- ext/gecode-2.2.0/contribs/qecode/Implicative.hh
+- ext/gecode-2.2.0/contribs/qecode/heap.cc
+- ext/gecode-2.2.0/contribs/qecode/Strategy.cc
+- ext/gecode-2.2.0/contribs/qecode/qecode.hh
+- ext/gecode-2.2.0/contribs/qecode/Implicative.cc
+- ext/gecode-2.2.0/contribs/qecode/shortdesc.ac
+- ext/gecode-2.2.0/contribs/qecode/myDom.cc
+- ext/gecode-2.2.0/contribs/qecode/OptVar.cc
+- ext/gecode-2.2.0/contribs/qecode/Doxyfile
+- ext/gecode-2.2.0/contribs/qecode/vartype.hh
+- ext/gecode-2.2.0/contribs/qecode/Makefile.in.in
+- ext/gecode-2.2.0/contribs/qecode/configure
+- ext/gecode-2.2.0/contribs/qecode/config.status
+- ext/gecode-2.2.0/contribs/qecode/config.log
+- ext/gecode-2.2.0/contribs/qecode/qsolver.cc
+- ext/gecode-2.2.0/contribs/qecode/autom4te.cache
+- ext/gecode-2.2.0/contribs/qecode/autom4te.cache/requests
+- ext/gecode-2.2.0/contribs/qecode/autom4te.cache/traces.0
+- ext/gecode-2.2.0/contribs/qecode/autom4te.cache/output.0
+- ext/gecode-2.2.0/contribs/qecode/myspace.cc
+- ext/gecode-2.2.0/contribs/qecode/Strategy.hh
+- ext/gecode-2.2.0/contribs/qecode/StrategyNode.hh
+- ext/gecode-2.2.0/contribs/qecode/OptVar.hh
+- ext/gecode-2.2.0/contribs/qecode/myspace.hh
+- ext/gecode-2.2.0/contribs/qecode/configure.ac
+- ext/gecode-2.2.0/variables.vsl
+- ext/gecode-2.2.0/Makefile.in
+- ext/gecode-2.2.0/misc
+- ext/gecode-2.2.0/misc/fixproperties.sh
+- ext/gecode-2.2.0/misc/svn-ignore.txt
+- ext/gecode-2.2.0/misc/genchangelog.perl
+- ext/gecode-2.2.0/misc/gecode-search.pc.in
+- ext/gecode-2.2.0/misc/gentxtchangelog.perl
+- ext/gecode-2.2.0/misc/genlcovmakefile.perl
+- ext/gecode-2.2.0/misc/AppleHelpbookInfo.plist
+- ext/gecode-2.2.0/misc/allexamples.perl
+- ext/gecode-2.2.0/misc/doxygen
+- ext/gecode-2.2.0/misc/doxygen/footer.html
+- ext/gecode-2.2.0/misc/doxygen/stylesheet.css
+- ext/gecode-2.2.0/misc/doxygen/back.png
+- ext/gecode-2.2.0/misc/doxygen/gecode-logo-100.png
+- ext/gecode-2.2.0/misc/doxygen/header.html
+- ext/gecode-2.2.0/misc/gecode-minimodel.pc.in
+- ext/gecode-2.2.0/misc/genregistry.perl
+- ext/gecode-2.2.0/misc/genvariables.perl
+- ext/gecode-2.2.0/misc/gecode.pc.in
+- ext/gecode-2.2.0/misc/gecode-serialization.pc.in
+- ext/gecode-2.2.0/misc/debian
+- ext/gecode-2.2.0/misc/debian/changelog
+- ext/gecode-2.2.0/misc/debian/gecode.info
+- ext/gecode-2.2.0/misc/debian/copyright
+- ext/gecode-2.2.0/misc/debian/gecode.install
+- ext/gecode-2.2.0/misc/debian/rules
+- ext/gecode-2.2.0/misc/debian/Makefile.am
+- ext/gecode-2.2.0/misc/debian/gecode.spec
+- ext/gecode-2.2.0/misc/debian/control
+- ext/gecode-2.2.0/misc/gecode-gist.pc.in
+- ext/gecode-2.2.0/misc/makedepend.perl
+- ext/gecode-2.2.0/misc/getrevision.perl
+- ext/gecode-2.2.0/misc/genlicense.perl
+- ext/gecode-2.2.0/misc/genstatistics.perl
+- ext/gecode-2.2.0/configure.ac.in
+- ext/gecode-2.2.0/configure.ac
+- ext/gecode-2.2.0/changelog.in
 has_rdoc: true
 homepage: http://gecoder.rubyforge.org
 post_install_message: 
@@ -932,6 +1068,7 @@ test_files:
 - specs/distribution.rb
 - specs/spec_helper.rb
 - specs/int_var.rb
+- specs/mixin.rb
 - specs/enum_wrapper.rb
 - specs/model.rb
 - specs/set_var.rb
@@ -976,7 +1113,7 @@ test_files:
 - specs/constraints/bool_enum/extensional.rb
 - specs/constraints/operands.rb
 - specs/constraints/set_enum/channel.rb
-- specs/constraints/set_enum/select.rb
 - specs/constraints/set_enum/distinct.rb
+- specs/constraints/set_enum/element.rb
 - specs/constraints/set_enum/operation.rb
 - specs/examples.rb