gecoder-with-gecode 0.7.1

data/vendor/rust/test/test-operators.rb

@@ -0,0 +1,42 @@
+# Copyright (c) 2007 Diego Pettenò <flameeyes@gmail.com>
+# 
+# Permission is hereby granted, free of charge, to any person obtaining
+# a copy of this software and associated documentation files (the
+# "Software"), to deal in the Software without restriction, including
+# without limitation the rights to use, copy, modify, merge,
+# publish, distribute, sublicense, and/or sell copies of the Software,
+# and to permit persons to whom the Software is furnished to do so,
+# subject to the following conditions:
+# 
+# The above copyright notice and this permission notice shall be
+# included in all copies or substantial portions of the Software.
+# 
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+# BE LIABLE
+# FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
+# CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+# WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+require 'lib/extension-test'
+
+module Rust::Test
+
+  class CppClassTest < Test::Unit::TestCase
+    include ExtensionTest
+
+    def setup
+      extension_setup("operators", "cc")
+
+      @instance = RustTestOperators::Operators.new
+    end
+
+    def test_at
+      v = @instance.at(3)
+      assert(v == 3, "must be 3")
+    end
+  end
+
+end

metadata

@@ -0,0 +1,826 @@
+--- !ruby/object:Gem::Specification 
+rubygems_version: 0.9.4
+specification_version: 1
+name: gecoder-with-gecode
+version: !ruby/object:Gem::Version 
+  version: 0.7.1
+date: 2008-01-04 00:00:00 +01:00
+summary: Ruby interface to Gecode, an environment for constraint programming.
+require_paths: 
+- lib
+email: gecoder-users@rubyforge.org
+homepage: http://gecoder.rubyforge.org
+rubyforge_project: gecoder
+description: Gecode/R is a Ruby interface to the Gecode constraint programming library.  Gecode/R is intended for people with no previous experience of constraint  programming, aiming to be easy to pick up and use.
+autorequire: gecoder
+default_executable: 
+bindir: bin
+has_rdoc: true
+required_ruby_version: !ruby/object:Gem::Version::Requirement 
+  requirements: 
+  - - ">"
+    - !ruby/object:Gem::Version 
+      version: 0.0.0
+  version: 
+platform: ruby
+signing_key: 
+cert_chain: 
+post_install_message: 
+authors: 
+- - Gecode/R Development Team
+files: 
+- Rakefile
+- CHANGES
+- COPYING
+- README
+- LGPL-LICENSE
+- lib/gecoder/interface/constraints/bool_enum/boolean.rb
+- lib/gecoder/interface/constraints/set_enum/operation.rb
+- lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/selection.rb
+- lib/gecoder/interface/constraints/set_enum/channel.rb
+- lib/gecoder/interface/constraints/int/domain.rb
+- lib/gecoder/interface/constraints/int/arithmetic.rb
+- lib/gecoder/interface/constraints/int/linear.rb
+- lib/gecoder/interface/constraints/bool/boolean.rb
+- lib/gecoder/interface/constraints/bool/linear.rb
+- lib/gecoder/interface/constraints/set/relation.rb
+- lib/gecoder/interface/constraints/set/connection.rb
+- lib/gecoder/interface/constraints/set/operation.rb
+- lib/gecoder/interface/constraints/set/cardinality.rb
+- lib/gecoder/interface/constraints/set/domain.rb
+- lib/gecoder/interface/constraints/int_enum/equality.rb
+- lib/gecoder/interface/constraints/int_enum/distinct.rb
+- lib/gecoder/interface/constraints/int_enum/sort.rb
+- lib/gecoder/interface/constraints/int_enum/channel.rb
+- lib/gecoder/interface/constraints/int_enum/count.rb
+- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
+- lib/gecoder/interface/constraints/int_enum/element.rb
+- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool_enum_constraints.rb
+- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/int_var_constraints.rb
+- lib/gecoder/interface/constraints/reifiable_constraints.rb
+- lib/gecoder/interface/constraints/bool_var_constraints.rb
+- lib/gecoder/interface/constraints/set_var_constraints.rb
+- lib/gecoder/interface/branch.rb
+- lib/gecoder/interface/model.rb
+- lib/gecoder/interface/binding_changes.rb
+- lib/gecoder/interface/enum_wrapper.rb
+- lib/gecoder/interface/search.rb
+- lib/gecoder/interface/constraints.rb
+- lib/gecoder/interface/enum_matrix.rb
+- lib/gecoder/interface/variables.rb
+- lib/gecoder/bindings/bindings.rb
+- lib/gecoder/bindings.rb
+- lib/gecoder/interface.rb
+- lib/gecoder/version.rb
+- lib/gecoder.rb
+- example/queens.rb
+- example/send_more_money.rb
+- example/send_most_money.rb
+- example/sudoku-set.rb
+- example/raw_bindings.rb
+- example/square_tiling.rb
+- example/magic_sequence.rb
+- example/example_helper.rb
+- example/sudoku.rb
+- vendor/rust
+- vendor/rust/test
+- vendor/rust/test/lib
+- vendor/rust/test/lib/extension-test.rb
+- vendor/rust/test/dummyclass.hh
+- vendor/rust/test/operators.rb
+- vendor/rust/test/cwrapper.rb
+- vendor/rust/test/test-cppclass.rb
+- vendor/rust/test/test-constants.rb
+- vendor/rust/test/cppclass.cc
+- vendor/rust/test/test-operators.rb
+- vendor/rust/test/operators.cc
+- vendor/rust/test/test-cwrapper.rb
+- vendor/rust/test/cwrapper.c
+- vendor/rust/test/cppclass.hh
+- vendor/rust/test/cwrapper.h
+- vendor/rust/test/cppclass.rb
+- vendor/rust/test/operators.hh
+- vendor/rust/test/Makefile
+- vendor/rust/test/constants.rb
+- vendor/rust/include
+- vendor/rust/include/rust_conversions.hh
+- vendor/rust/include/rust_checks.hh
+- vendor/rust/bin
+- vendor/rust/bin/cxxgenerator.rb
+- vendor/rust/rust
+- vendor/rust/rust/templates
+- vendor/rust/rust/templates/FunctionInitBinding.rusttpl
+- vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
+- vendor/rust/rust/templates/BindingsHeader.rusttpl
+- vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
+- vendor/rust/rust/templates/AttributeDefinition.rusttpl
+- vendor/rust/rust/templates/ModuleDeclarations.rusttpl
+- vendor/rust/rust/templates/ModuleDefinitions.rusttpl
+- vendor/rust/rust/templates/AttributeInitBinding.rusttpl
+- vendor/rust/rust/templates/FunctionInitAlias.rusttpl
+- vendor/rust/rust/templates/ConstructorStub.rusttpl
+- vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
+- vendor/rust/rust/templates/ClassInitialize.rusttpl
+- vendor/rust/rust/templates/VariableFunctionCall.rusttpl
+- vendor/rust/rust/templates/EnumDeclarations.rusttpl
+- vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
+- vendor/rust/rust/templates/BindingsUnit.rusttpl
+- vendor/rust/rust/templates/FunctionDefinition.rusttpl
+- vendor/rust/rust/templates/ClassDeclarations.rusttpl
+- vendor/rust/rust/templates/MethodInitBinding.rusttpl
+- vendor/rust/rust/templates/EnumDefinitions.rusttpl
+- vendor/rust/rust/templates/CxxMethodStub.rusttpl
+- vendor/rust/rust/bindings.rb
+- vendor/rust/rust/type.rb
+- vendor/rust/rust/container.rb
+- vendor/rust/rust/attribute.rb
+- vendor/rust/rust/cwrapper.rb
+- vendor/rust/rust/enum.rb
+- vendor/rust/rust/class.rb
+- vendor/rust/rust/function.rb
+- vendor/rust/rust/cppifaceparser.rb
+- vendor/rust/rust/cxxclass.rb
+- vendor/rust/rust/element.rb
+- vendor/rust/rust/constants.rb
+- vendor/rust/rust/namespace.rb
+- vendor/rust/rust.rb
+- vendor/rust/README
+- tasks/all_tasks.rb
+- tasks/distribution.rake
+- tasks/website.rake
+- tasks/svn.rake
+- tasks/rcov.rake
+- tasks/specs.rake
+- specs/constraints
+- specs/constraints/boolean.rb
+- specs/constraints/bool_enum.rb
+- specs/constraints/int_domain.rb
+- specs/constraints/distinct.rb
+- specs/constraints/set_domain.rb
+- specs/constraints/constraint_helper.rb
+- specs/constraints/selection.rb
+- specs/constraints/int_relation.rb
+- specs/constraints/sort.rb
+- specs/constraints/count.rb
+- specs/constraints/set_relation.rb
+- specs/constraints/element.rb
+- specs/constraints/arithmetic.rb
+- specs/constraints/reification_sugar.rb
+- specs/constraints/equality.rb
+- specs/constraints/connection.rb
+- specs/constraints/cardinality.rb
+- specs/constraints/constraints.rb
+- specs/constraints/channel.rb
+- specs/constraints/linear.rb
+- specs/constraints/set_operation.rb
+- specs/branch.rb
+- specs/model.rb
+- specs/binding_changes.rb
+- specs/int_var.rb
+- specs/bool_var.rb
+- specs/set_var.rb
+- specs/enum_wrapper.rb
+- specs/search.rb
+- specs/logging.rb
+- specs/enum_matrix.rb
+- specs/spec_helper.rb
+- ext/extconf.rb
+- ext/missing.h
+- ext/gecode-1.3.1
+- ext/vararray.cpp
+- ext/missing.cpp
+- ext/vararray.h
+- ext/gecode-1.3.1/test
+- ext/gecode-1.3.1/test/log.hh
+- ext/gecode-1.3.1/test/set.cc
+- ext/gecode-1.3.1/test/stress.hh
+- ext/gecode-1.3.1/test/stress
+- ext/gecode-1.3.1/test/stress/minsort.cc
+- ext/gecode-1.3.1/test/stress/distinct.cc
+- ext/gecode-1.3.1/test/stress/regular.cc
+- ext/gecode-1.3.1/test/stress/exec.cc
+- ext/gecode-1.3.1/test/stress/domain.cc
+- ext/gecode-1.3.1/test/test.cc
+- ext/gecode-1.3.1/test/log.cc
+- ext/gecode-1.3.1/test/stress.cc
+- ext/gecode-1.3.1/test/int.hh
+- ext/gecode-1.3.1/test/set.hh
+- ext/gecode-1.3.1/test/int
+- ext/gecode-1.3.1/test/int/bool.cc
+- ext/gecode-1.3.1/test/int/gcc.cc
+- ext/gecode-1.3.1/test/int/minimodel.cc
+- ext/gecode-1.3.1/test/int/dom.cc
+- ext/gecode-1.3.1/test/int/basic.cc
+- ext/gecode-1.3.1/test/int/distinct.cc
+- ext/gecode-1.3.1/test/int/regular.cc
+- ext/gecode-1.3.1/test/int/rel.cc
+- ext/gecode-1.3.1/test/int/scheduling.cc
+- ext/gecode-1.3.1/test/int/channel.cc
+- ext/gecode-1.3.1/test/int/count.cc
+- ext/gecode-1.3.1/test/int/arithmetic.cc
+- ext/gecode-1.3.1/test/int/element.cc
+- ext/gecode-1.3.1/test/int/sortedness.cc
+- ext/gecode-1.3.1/test/int/linear.cc
+- ext/gecode-1.3.1/test/intset.cc
+- ext/gecode-1.3.1/test/set
+- ext/gecode-1.3.1/test/set/projection.cc
+- ext/gecode-1.3.1/test/set/rel-op.cc
+- ext/gecode-1.3.1/test/set/dom.cc
+- ext/gecode-1.3.1/test/set/select.cc
+- ext/gecode-1.3.1/test/set/distinct.cc
+- ext/gecode-1.3.1/test/set/convex.cc
+- ext/gecode-1.3.1/test/set/rel.cc
+- ext/gecode-1.3.1/test/set/sequence.cc
+- ext/gecode-1.3.1/test/set/int.cc
+- ext/gecode-1.3.1/test/test.hh
+- ext/gecode-1.3.1/test/int.cc
+- ext/gecode-1.3.1/doxygen.hh.in
+- ext/gecode-1.3.1/configure
+- ext/gecode-1.3.1/Makefile.in
+- ext/gecode-1.3.1/LICENSE
+- ext/gecode-1.3.1/contribs
+- ext/gecode-1.3.1/contribs/graph
+- ext/gecode-1.3.1/contribs/graph/graphutils.icc
+- ext/gecode-1.3.1/contribs/graph/shortdesc.ac
+- ext/gecode-1.3.1/contribs/graph/configure
+- ext/gecode-1.3.1/contribs/graph/LICENSE
+- ext/gecode-1.3.1/contribs/graph/stlutility.icc
+- ext/gecode-1.3.1/contribs/graph/var.icc
+- ext/gecode-1.3.1/contribs/graph/Makefile.in.in
+- ext/gecode-1.3.1/contribs/graph/path.icc
+- ext/gecode-1.3.1/contribs/graph/path.hh
+- ext/gecode-1.3.1/contribs/graph/binarysimple.icc
+- ext/gecode-1.3.1/contribs/graph/misc
+- ext/gecode-1.3.1/contribs/graph/misc/doxygen
+- ext/gecode-1.3.1/contribs/graph/misc/doxygen/footer.html
+- ext/gecode-1.3.1/contribs/graph/binarysimple.hh
+- ext/gecode-1.3.1/contribs/graph/path
+- ext/gecode-1.3.1/contribs/graph/path/pathdegree.icc
+- ext/gecode-1.3.1/contribs/graph/path/path.icc
+- ext/gecode-1.3.1/contribs/graph/path/pathgraphs.icc
+- ext/gecode-1.3.1/contribs/graph/branch
+- ext/gecode-1.3.1/contribs/graph/branch/branch.icc
+- ext/gecode-1.3.1/contribs/graph/graph.hh
+- ext/gecode-1.3.1/contribs/graph/doxygen.conf
+- ext/gecode-1.3.1/contribs/graph/configure.ac
+- ext/gecode-1.3.1/contribs/graph/TODO
+- ext/gecode-1.3.1/contribs/graph/INSTALL
+- ext/gecode-1.3.1/contribs/graph/view.icc
+- ext/gecode-1.3.1/contribs/graph/graphutils.h
+- ext/gecode-1.3.1/contribs/graph/view
+- ext/gecode-1.3.1/contribs/graph/view/arcnode.cc
+- ext/gecode-1.3.1/contribs/graph/view/iter.icc
+- ext/gecode-1.3.1/contribs/graph/view/outadjsets.icc
+- ext/gecode-1.3.1/contribs/graph/view/constant.icc
+- ext/gecode-1.3.1/contribs/graph/view/nodearcsets.icc
+- ext/gecode-1.3.1/contribs/graph/view/arcnode.hh
+- ext/gecode-1.3.1/contribs/graph/view/boundsgraphs.icc
+- ext/gecode-1.3.1/contribs/graph/view/prop.icc
+- ext/gecode-1.3.1/contribs/graph/view/nodeset.icc
+- ext/gecode-1.3.1/contribs/graph/doxygen.hh
+- ext/gecode-1.3.1/contribs/graph/Makefile
+- ext/gecode-1.3.1/contribs/graph/examples
+- ext/gecode-1.3.1/contribs/graph/examples/cpgraph-path.cc
+- ext/gecode-1.3.1/contribs/graph/examples/cpgraph-path2.cc
+- ext/gecode-1.3.1/contribs/graph/examples/g1.txt
+- ext/gecode-1.3.1/contribs/graph/examples/g2.txt
+- ext/gecode-1.3.1/contribs/graph/examples/cpgraph-basic.cc
+- ext/gecode-1.3.1/contribs/graph/examples/cpgraph-complement.cc
+- ext/gecode-1.3.1/contribs/graph/examples/cpgraph-instUB.cc
+- ext/gecode-1.3.1/contribs/graph/examples/cpgraph-pathcost.cc
+- ext/gecode-1.3.1/contribs/README
+- ext/gecode-1.3.1/contribs/map
+- ext/gecode-1.3.1/contribs/map/shortdesc.ac
+- ext/gecode-1.3.1/contribs/map/COMPILING
+- ext/gecode-1.3.1/contribs/map/configure
+- ext/gecode-1.3.1/contribs/map/doxygen.conf
+- ext/gecode-1.3.1/contribs/map/LICENSE
+- ext/gecode-1.3.1/contribs/map/configure.ac
+- ext/gecode-1.3.1/contribs/map/constraints.icc
+- ext/gecode-1.3.1/contribs/map/constraints.hh
+- ext/gecode-1.3.1/contribs/map/var.icc
+- ext/gecode-1.3.1/contribs/map/Makefile.in.in
+- ext/gecode-1.3.1/contribs/map/var
+- ext/gecode-1.3.1/contribs/map/var/imp.icc
+- ext/gecode-1.3.1/contribs/map/var/imp.cc
+- ext/gecode-1.3.1/contribs/map/matching
+- ext/gecode-1.3.1/contribs/map/matching/mono.icc
+- ext/gecode-1.3.1/contribs/map/matching/mono.hh
+- ext/gecode-1.3.1/contribs/map/doxygen.hh
+- ext/gecode-1.3.1/contribs/map/map.hh
+- ext/gecode-1.3.1/contribs/map/examples
+- ext/gecode-1.3.1/contribs/map/examples/graph-examples.tgz
+- ext/gecode-1.3.1/contribs/map/examples/map.cc
+- ext/gecode-1.3.1/contribs/map/examples/g1.txt
+- ext/gecode-1.3.1/contribs/map/examples/g2.txt
+- ext/gecode-1.3.1/contribs/map/examples/subgraphmonomorphism.cc
+- ext/gecode-1.3.1/contribs/map/examples/approximateMatching.cc
+- ext/gecode-1.3.1/contribs/map/examples/isomorphism.cc
+- ext/gecode-1.3.1/contribs/map/examples/map
+- ext/gecode-1.3.1/Makefile.dep
+- ext/gecode-1.3.1/gecode
+- ext/gecode-1.3.1/gecode/limits.hh
+- ext/gecode-1.3.1/gecode/kernel
+- ext/gecode-1.3.1/gecode/kernel/macros.icc
+- ext/gecode-1.3.1/gecode/kernel/exception.cc
+- ext/gecode-1.3.1/gecode/kernel/memory-manager.cc
+- ext/gecode-1.3.1/gecode/kernel/core.icc
+- ext/gecode-1.3.1/gecode/kernel/memory.icc
+- ext/gecode-1.3.1/gecode/kernel/view.icc
+- ext/gecode-1.3.1/gecode/kernel/branching.icc
+- ext/gecode-1.3.1/gecode/kernel/array.icc
+- ext/gecode-1.3.1/gecode/kernel/exception.icc
+- ext/gecode-1.3.1/gecode/kernel/propagator.icc
+- ext/gecode-1.3.1/gecode/kernel/core.cc
+- ext/gecode-1.3.1/gecode/kernel/memory-manager.icc
+- ext/gecode-1.3.1/gecode/kernel/modevent.icc
+- ext/gecode-1.3.1/gecode/iter.hh
+- ext/gecode-1.3.1/gecode/iter
+- ext/gecode-1.3.1/gecode/iter/virtual-ranges-inter.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-append.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-diff.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-size.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-compl.icc
+- ext/gecode-1.3.1/gecode/iter/virtual-ranges-union.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-array.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-inter.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-operations.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-offset.icc
+- ext/gecode-1.3.1/gecode/iter/virtual-ranges.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-scale.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-union.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-add.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-minmax.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-minus.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-empty.icc
+- ext/gecode-1.3.1/gecode/iter/virtual-ranges-compl.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-values.icc
+- ext/gecode-1.3.1/gecode/iter/values-ranges.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-singleton.icc
+- ext/gecode-1.3.1/gecode/iter/ranges-cache.icc
+- ext/gecode-1.3.1/gecode/search.hh
+- ext/gecode-1.3.1/gecode/search
+- ext/gecode-1.3.1/gecode/search/lds.icc
+- ext/gecode-1.3.1/gecode/search/dfs.cc
+- ext/gecode-1.3.1/gecode/search/bab.icc
+- ext/gecode-1.3.1/gecode/search/restart.icc
+- ext/gecode-1.3.1/gecode/search/stop.icc
+- ext/gecode-1.3.1/gecode/search/engine-ctrl.icc
+- ext/gecode-1.3.1/gecode/search/lds.cc
+- ext/gecode-1.3.1/gecode/search/statistics.icc
+- ext/gecode-1.3.1/gecode/search/bab.cc
+- ext/gecode-1.3.1/gecode/search/reco-stack.icc
+- ext/gecode-1.3.1/gecode/search/dfs.icc
+- ext/gecode-1.3.1/gecode/search/stop.cc
+- ext/gecode-1.3.1/gecode/config.icc.in
+- ext/gecode-1.3.1/gecode/int.hh
+- ext/gecode-1.3.1/gecode/set.hh
+- ext/gecode-1.3.1/gecode/int
+- ext/gecode-1.3.1/gecode/int/distinct.hh
+- ext/gecode-1.3.1/gecode/int/gcc.cc
+- ext/gecode-1.3.1/gecode/int/int-set.icc
+- ext/gecode-1.3.1/gecode/int/rel.hh
+- ext/gecode-1.3.1/gecode/int/distinct
+- ext/gecode-1.3.1/gecode/int/distinct/val.icc
+- ext/gecode-1.3.1/gecode/int/distinct/bnd.icc
+- ext/gecode-1.3.1/gecode/int/distinct/edge.icc
+- ext/gecode-1.3.1/gecode/int/distinct/node.icc
+- ext/gecode-1.3.1/gecode/int/distinct/combptr.icc
+- ext/gecode-1.3.1/gecode/int/distinct/ter-dom.icc
+- ext/gecode-1.3.1/gecode/int/distinct/bilink.icc
+- ext/gecode-1.3.1/gecode/int/distinct/dom.icc
+- ext/gecode-1.3.1/gecode/int/branch.cc
+- ext/gecode-1.3.1/gecode/int/element.hh
+- ext/gecode-1.3.1/gecode/int/count
+- ext/gecode-1.3.1/gecode/int/count/rel.icc
+- ext/gecode-1.3.1/gecode/int/count/int.icc
+- ext/gecode-1.3.1/gecode/int/count/view.icc
+- ext/gecode-1.3.1/gecode/int/element
+- ext/gecode-1.3.1/gecode/int/element/int.icc
+- ext/gecode-1.3.1/gecode/int/element/view.icc
+- ext/gecode-1.3.1/gecode/int/bool.hh
+- ext/gecode-1.3.1/gecode/int/exception.icc
+- ext/gecode-1.3.1/gecode/int/bool
+- ext/gecode-1.3.1/gecode/int/bool/eq.icc
+- ext/gecode-1.3.1/gecode/int/bool/base.icc
+- ext/gecode-1.3.1/gecode/int/bool/eqv.icc
+- ext/gecode-1.3.1/gecode/int/bool/or.icc
+- ext/gecode-1.3.1/gecode/int/gcc
+- ext/gecode-1.3.1/gecode/int/gcc/val.icc
+- ext/gecode-1.3.1/gecode/int/gcc/bnd.icc
+- ext/gecode-1.3.1/gecode/int/gcc/gccbndsup.icc
+- ext/gecode-1.3.1/gecode/int/gcc/graphsup.icc
+- ext/gecode-1.3.1/gecode/int/gcc/ubc.icc
+- ext/gecode-1.3.1/gecode/int/gcc/occur.icc
+- ext/gecode-1.3.1/gecode/int/gcc/dom.icc
+- ext/gecode-1.3.1/gecode/int/gcc/lbc.icc
+- ext/gecode-1.3.1/gecode/int/linear.cc
+- ext/gecode-1.3.1/gecode/int/cumulatives.hh
+- ext/gecode-1.3.1/gecode/int/regular.hh
+- ext/gecode-1.3.1/gecode/int/cumulatives
+- ext/gecode-1.3.1/gecode/int/cumulatives/val.icc
+- ext/gecode-1.3.1/gecode/int/regular
+- ext/gecode-1.3.1/gecode/int/regular/reg.cc
+- ext/gecode-1.3.1/gecode/int/regular/dfa.icc
+- ext/gecode-1.3.1/gecode/int/regular/dom.icc
+- ext/gecode-1.3.1/gecode/int/regular/dfa.cc
+- ext/gecode-1.3.1/gecode/int/distinct.cc
+- ext/gecode-1.3.1/gecode/int/channel.hh
+- ext/gecode-1.3.1/gecode/int/rel.cc
+- ext/gecode-1.3.1/gecode/int/int-set.cc
+- ext/gecode-1.3.1/gecode/int/view.icc
+- ext/gecode-1.3.1/gecode/int/linear
+- ext/gecode-1.3.1/gecode/int/linear/bool-int.icc
+- ext/gecode-1.3.1/gecode/int/linear/bool-view.icc
+- ext/gecode-1.3.1/gecode/int/linear/binary.icc
+- ext/gecode-1.3.1/gecode/int/linear/ternary.icc
+- ext/gecode-1.3.1/gecode/int/linear/noview.icc
+- ext/gecode-1.3.1/gecode/int/linear/nary.icc
+- ext/gecode-1.3.1/gecode/int/linear/post.cc
+- ext/gecode-1.3.1/gecode/int/linear/dom.icc
+- ext/gecode-1.3.1/gecode/int/view
+- ext/gecode-1.3.1/gecode/int/view/iter.icc
+- ext/gecode-1.3.1/gecode/int/view/print.cc
+- ext/gecode-1.3.1/gecode/int/view/offset.icc
+- ext/gecode-1.3.1/gecode/int/view/scale.icc
+- ext/gecode-1.3.1/gecode/int/view/int.icc
+- ext/gecode-1.3.1/gecode/int/view/bool.icc
+- ext/gecode-1.3.1/gecode/int/view/minus.icc
+- ext/gecode-1.3.1/gecode/int/view/constint.icc
+- ext/gecode-1.3.1/gecode/int/view/rtest.icc
+- ext/gecode-1.3.1/gecode/int/element.cc
+- ext/gecode-1.3.1/gecode/int/dom.hh
+- ext/gecode-1.3.1/gecode/int/dom
+- ext/gecode-1.3.1/gecode/int/dom/spec.icc
+- ext/gecode-1.3.1/gecode/int/dom/range.icc
+- ext/gecode-1.3.1/gecode/int/bool.cc
+- ext/gecode-1.3.1/gecode/int/rel
+- ext/gecode-1.3.1/gecode/int/rel/eq.icc
+- ext/gecode-1.3.1/gecode/int/rel/lex.icc
+- ext/gecode-1.3.1/gecode/int/rel/lq-le.icc
+- ext/gecode-1.3.1/gecode/int/rel/nq.icc
+- ext/gecode-1.3.1/gecode/int/cumulatives.cc
+- ext/gecode-1.3.1/gecode/int/regular.cc
+- ext/gecode-1.3.1/gecode/int/var.icc
+- ext/gecode-1.3.1/gecode/int/count.hh
+- ext/gecode-1.3.1/gecode/int/arithmetic.hh
+- ext/gecode-1.3.1/gecode/int/sortedness.hh
+- ext/gecode-1.3.1/gecode/int/var
+- ext/gecode-1.3.1/gecode/int/var/imp.icc
+- ext/gecode-1.3.1/gecode/int/var/int.icc
+- ext/gecode-1.3.1/gecode/int/var/bool.icc
+- ext/gecode-1.3.1/gecode/int/var/imp.cc
+- ext/gecode-1.3.1/gecode/int/var/imp-body.icc
+- ext/gecode-1.3.1/gecode/int/var/imp-hdr.icc
+- ext/gecode-1.3.1/gecode/int/var/int.cc
+- ext/gecode-1.3.1/gecode/int/arithmetic
+- ext/gecode-1.3.1/gecode/int/arithmetic/abs.icc
+- ext/gecode-1.3.1/gecode/int/arithmetic/max.icc
+- ext/gecode-1.3.1/gecode/int/arithmetic/mult.icc
+- ext/gecode-1.3.1/gecode/int/sortedness
+- ext/gecode-1.3.1/gecode/int/sortedness/narrowing.icc
+- ext/gecode-1.3.1/gecode/int/sortedness/sortedness.icc
+- ext/gecode-1.3.1/gecode/int/sortedness/matching.icc
+- ext/gecode-1.3.1/gecode/int/sortedness/order.icc
+- ext/gecode-1.3.1/gecode/int/sortedness/sortsup.icc
+- ext/gecode-1.3.1/gecode/int/gcc.hh
+- ext/gecode-1.3.1/gecode/int/branch.hh
+- ext/gecode-1.3.1/gecode/int/channel.cc
+- ext/gecode-1.3.1/gecode/int/branch
+- ext/gecode-1.3.1/gecode/int/branch/assign.icc
+- ext/gecode-1.3.1/gecode/int/branch/select-view.icc
+- ext/gecode-1.3.1/gecode/int/branch/assign.cc
+- ext/gecode-1.3.1/gecode/int/branch/select-val.icc
+- ext/gecode-1.3.1/gecode/int/array.cc
+- ext/gecode-1.3.1/gecode/int/dom.cc
+- ext/gecode-1.3.1/gecode/int/channel
+- ext/gecode-1.3.1/gecode/int/channel/val.icc
+- ext/gecode-1.3.1/gecode/int/channel/stack.icc
+- ext/gecode-1.3.1/gecode/int/channel/base.icc
+- ext/gecode-1.3.1/gecode/int/channel/dom.icc
+- ext/gecode-1.3.1/gecode/int/linear.hh
+- ext/gecode-1.3.1/gecode/int/array.icc
+- ext/gecode-1.3.1/gecode/int/propagator.icc
+- ext/gecode-1.3.1/gecode/int/var-imp.vis
+- ext/gecode-1.3.1/gecode/int/count.cc
+- ext/gecode-1.3.1/gecode/int/arithmetic.cc
+- ext/gecode-1.3.1/gecode/int/sortedness.cc
+- ext/gecode-1.3.1/gecode/minimodel.hh
+- ext/gecode-1.3.1/gecode/set
+- ext/gecode-1.3.1/gecode/set/select
+- ext/gecode-1.3.1/gecode/set/select/disjoint.icc
+- ext/gecode-1.3.1/gecode/set/select/idxarray.icc
+- ext/gecode-1.3.1/gecode/set/select/idxarray.hh
+- ext/gecode-1.3.1/gecode/set/select/disjoint.cc
+- ext/gecode-1.3.1/gecode/set/select/inter.icc
+- ext/gecode-1.3.1/gecode/set/distinct.hh
+- ext/gecode-1.3.1/gecode/set/rel.hh
+- ext/gecode-1.3.1/gecode/set/branch.cc
+- ext/gecode-1.3.1/gecode/set/distinct
+- ext/gecode-1.3.1/gecode/set/distinct/distinct.cc
+- ext/gecode-1.3.1/gecode/set/distinct/atmostOne.icc
+- ext/gecode-1.3.1/gecode/set/distinct/binomial.icc
+- ext/gecode-1.3.1/gecode/set/distinct/atmostOne.cc
+- ext/gecode-1.3.1/gecode/set/distinct/binomial.cc
+- ext/gecode-1.3.1/gecode/set/distinct/distinct.icc
+- ext/gecode-1.3.1/gecode/set/convex.cc
+- ext/gecode-1.3.1/gecode/set/cardinality.cc
+- ext/gecode-1.3.1/gecode/set/projectors
+- ext/gecode-1.3.1/gecode/set/projectors/projector-set.cc
+- ext/gecode-1.3.1/gecode/set/projectors/projector.icc
+- ext/gecode-1.3.1/gecode/set/projectors/set-expr.icc
+- ext/gecode-1.3.1/gecode/set/projectors/projector.cc
+- ext/gecode-1.3.1/gecode/set/projectors/set-expr.cc
+- ext/gecode-1.3.1/gecode/set/projectors/propagator.hh
+- ext/gecode-1.3.1/gecode/set/projectors/projector-set.icc
+- ext/gecode-1.3.1/gecode/set/projectors/compiler.cc
+- ext/gecode-1.3.1/gecode/set/projectors/propagator
+- ext/gecode-1.3.1/gecode/set/projectors/propagator/re-nary.cc
+- ext/gecode-1.3.1/gecode/set/projectors/propagator/card.icc
+- ext/gecode-1.3.1/gecode/set/projectors/propagator/nary.icc
+- ext/gecode-1.3.1/gecode/set/projectors/propagator/re-nary.icc
+- ext/gecode-1.3.1/gecode/set/int
+- ext/gecode-1.3.1/gecode/set/int/match.cc
+- ext/gecode-1.3.1/gecode/set/int/channel.icc
+- ext/gecode-1.3.1/gecode/set/int/card.icc
+- ext/gecode-1.3.1/gecode/set/int/minmax.icc
+- ext/gecode-1.3.1/gecode/set/int/weights.icc
+- ext/gecode-1.3.1/gecode/set/int/match.icc
+- ext/gecode-1.3.1/gecode/set/int/channel.cc
+- ext/gecode-1.3.1/gecode/set/int/card.cc
+- ext/gecode-1.3.1/gecode/set/int/minmax.cc
+- ext/gecode-1.3.1/gecode/set/int/weights.cc
+- ext/gecode-1.3.1/gecode/set/exception.icc
+- ext/gecode-1.3.1/gecode/set/rel-op.hh
+- ext/gecode-1.3.1/gecode/set/sequence.cc
+- ext/gecode-1.3.1/gecode/set/projectors-compiler.hh
+- ext/gecode-1.3.1/gecode/set/convex
+- ext/gecode-1.3.1/gecode/set/convex/hull.icc
+- ext/gecode-1.3.1/gecode/set/convex/conv.icc
+- ext/gecode-1.3.1/gecode/set/convex/hull.cc
+- ext/gecode-1.3.1/gecode/set/convex/conv.cc
+- ext/gecode-1.3.1/gecode/set/select.cc
+- ext/gecode-1.3.1/gecode/set/distinct.cc
+- ext/gecode-1.3.1/gecode/set/rel.cc
+- ext/gecode-1.3.1/gecode/set/rel-op-const.cc
+- ext/gecode-1.3.1/gecode/set/view.icc
+- ext/gecode-1.3.1/gecode/set/sequence
+- ext/gecode-1.3.1/gecode/set/sequence/common.icc
+- ext/gecode-1.3.1/gecode/set/sequence/seq.icc
+- ext/gecode-1.3.1/gecode/set/sequence/seq-u.icc
+- ext/gecode-1.3.1/gecode/set/sequence/seq.cc
+- ext/gecode-1.3.1/gecode/set/sequence/seq-u.cc
+- ext/gecode-1.3.1/gecode/set/view
+- ext/gecode-1.3.1/gecode/set/view/singleton.icc
+- ext/gecode-1.3.1/gecode/set/view/complement.icc
+- ext/gecode-1.3.1/gecode/set/view/print.cc
+- ext/gecode-1.3.1/gecode/set/view/const.icc
+- ext/gecode-1.3.1/gecode/set/view/set.icc
+- ext/gecode-1.3.1/gecode/set/rel-op.cc
+- ext/gecode-1.3.1/gecode/set/rel
+- ext/gecode-1.3.1/gecode/set/rel/nosubset.icc
+- ext/gecode-1.3.1/gecode/set/rel/eq.icc
+- ext/gecode-1.3.1/gecode/set/rel/subset.icc
+- ext/gecode-1.3.1/gecode/set/rel/common.icc
+- ext/gecode-1.3.1/gecode/set/rel/re-eq.icc
+- ext/gecode-1.3.1/gecode/set/rel/re-subset.icc
+- ext/gecode-1.3.1/gecode/set/rel/nq.icc
+- ext/gecode-1.3.1/gecode/set/var.icc
+- ext/gecode-1.3.1/gecode/set/projectors.hh
+- ext/gecode-1.3.1/gecode/set/int.hh
+- ext/gecode-1.3.1/gecode/set/var
+- ext/gecode-1.3.1/gecode/set/var/set.cc
+- ext/gecode-1.3.1/gecode/set/var/iter.icc
+- ext/gecode-1.3.1/gecode/set/var/imp.icc
+- ext/gecode-1.3.1/gecode/set/var/integerset.icc
+- ext/gecode-1.3.1/gecode/set/var/set.icc
+- ext/gecode-1.3.1/gecode/set/var/imp.cc
+- ext/gecode-1.3.1/gecode/set/var/imp-body.icc
+- ext/gecode-1.3.1/gecode/set/var/imp-hdr.icc
+- ext/gecode-1.3.1/gecode/set/var/integerset.cc
+- ext/gecode-1.3.1/gecode/set/branch.hh
+- ext/gecode-1.3.1/gecode/set/branch
+- ext/gecode-1.3.1/gecode/set/branch/select-view.icc
+- ext/gecode-1.3.1/gecode/set/branch/select-val.icc
+- ext/gecode-1.3.1/gecode/set/rel-op
+- ext/gecode-1.3.1/gecode/set/rel-op/post.icc
+- ext/gecode-1.3.1/gecode/set/rel-op/superofinter.icc
+- ext/gecode-1.3.1/gecode/set/rel-op/subofunion.icc
+- ext/gecode-1.3.1/gecode/set/rel-op/common.icc
+- ext/gecode-1.3.1/gecode/set/rel-op/union.icc
+- ext/gecode-1.3.1/gecode/set/rel-op/partition.icc
+- ext/gecode-1.3.1/gecode/set/rel-op/inter.icc
+- ext/gecode-1.3.1/gecode/set/convex.hh
+- ext/gecode-1.3.1/gecode/set/array.cc
+- ext/gecode-1.3.1/gecode/set/dom.cc
+- ext/gecode-1.3.1/gecode/set/sequence.hh
+- ext/gecode-1.3.1/gecode/set/propagator.icc
+- ext/gecode-1.3.1/gecode/set/array.icc
+- ext/gecode-1.3.1/gecode/set/var-imp.vis
+- ext/gecode-1.3.1/gecode/set/select.hh
+- ext/gecode-1.3.1/gecode/set/projectors.cc
+- ext/gecode-1.3.1/gecode/set/int.cc
+- ext/gecode-1.3.1/gecode/support
+- ext/gecode-1.3.1/gecode/support/shared-array.hh
+- ext/gecode-1.3.1/gecode/support/dynamic-stack.hh
+- ext/gecode-1.3.1/gecode/support/sort.hh
+- ext/gecode-1.3.1/gecode/support/block-allocator.hh
+- ext/gecode-1.3.1/gecode/support/static-pqueue.hh
+- ext/gecode-1.3.1/gecode/support/static-stack.hh
+- ext/gecode-1.3.1/gecode/support/dynamic-array.hh
+- ext/gecode-1.3.1/gecode/support/random.hh
+- ext/gecode-1.3.1/gecode/minimodel
+- ext/gecode-1.3.1/gecode/minimodel/lin-rel.icc
+- ext/gecode-1.3.1/gecode/minimodel/matrix.icc
+- ext/gecode-1.3.1/gecode/minimodel/lin-expr.cc
+- ext/gecode-1.3.1/gecode/minimodel/bool-expr.icc
+- ext/gecode-1.3.1/gecode/minimodel/bool-rel.icc
+- ext/gecode-1.3.1/gecode/minimodel/scheduling.cc
+- ext/gecode-1.3.1/gecode/minimodel/bool-expr.cc
+- ext/gecode-1.3.1/gecode/minimodel/exception.icc
+- ext/gecode-1.3.1/gecode/minimodel/lin-expr.icc
+- ext/gecode-1.3.1/gecode/minimodel/arithmetic.cc
+- ext/gecode-1.3.1/gecode/kernel.hh
+- ext/gecode-1.3.1/misc
+- ext/gecode-1.3.1/misc/gecode-search.pc.in
+- ext/gecode-1.3.1/misc/getrevision.perl
+- ext/gecode-1.3.1/misc/debian
+- ext/gecode-1.3.1/misc/debian/gecode.spec
+- ext/gecode-1.3.1/misc/debian/control
+- ext/gecode-1.3.1/misc/debian/gecode.info
+- ext/gecode-1.3.1/misc/debian/changelog
+- ext/gecode-1.3.1/misc/debian/copyright
+- ext/gecode-1.3.1/misc/debian/Makefile.am
+- ext/gecode-1.3.1/misc/debian/rules
+- ext/gecode-1.3.1/misc/debian/gecode.install
+- ext/gecode-1.3.1/misc/genchangelog.perl
+- ext/gecode-1.3.1/misc/gentxtchangelog.perl
+- ext/gecode-1.3.1/misc/genstatistics.perl
+- ext/gecode-1.3.1/misc/gecode-minimodel.pc.in
+- ext/gecode-1.3.1/misc/genvarimp.perl
+- ext/gecode-1.3.1/misc/fixproperties.sh
+- ext/gecode-1.3.1/misc/gecode.pc.in
+- ext/gecode-1.3.1/misc/doxygen
+- ext/gecode-1.3.1/misc/doxygen/stylesheet.css
+- ext/gecode-1.3.1/misc/doxygen/footer.html
+- ext/gecode-1.3.1/misc/doxygen/back.png
+- ext/gecode-1.3.1/misc/doxygen/gecode-logo-100.png
+- ext/gecode-1.3.1/misc/doxygen/header.html
+- ext/gecode-1.3.1/misc/genlicense.perl
+- ext/gecode-1.3.1/misc/makedepend.perl
+- ext/gecode-1.3.1/changelog.in
+- ext/gecode-1.3.1/Makefile.contribs
+- ext/gecode-1.3.1/configure.ac
+- ext/gecode-1.3.1/gecode.m4
+- ext/gecode-1.3.1/doxygen.conf.in
+- ext/gecode-1.3.1/extconf.rb
+- ext/gecode-1.3.1/configure.ac.in
+- ext/gecode-1.3.1/install-sh
+- ext/gecode-1.3.1/examples
+- ext/gecode-1.3.1/examples/queen-armies.cc
+- ext/gecode-1.3.1/examples/queens.cc
+- ext/gecode-1.3.1/examples/ortho-latin.cc
+- ext/gecode-1.3.1/examples/bibd.cc
+- ext/gecode-1.3.1/examples/donald.cc
+- ext/gecode-1.3.1/examples/ind-set.cc
+- ext/gecode-1.3.1/examples/stress-min.cc
+- ext/gecode-1.3.1/examples/stress-exec.cc
+- ext/gecode-1.3.1/examples/steiner.cc
+- ext/gecode-1.3.1/examples/grocery.cc
+- ext/gecode-1.3.1/examples/sudoku.cc
+- ext/gecode-1.3.1/examples/packing.cc
+- ext/gecode-1.3.1/examples/langfordnum.cc
+- ext/gecode-1.3.1/examples/graph-color.cc
+- ext/gecode-1.3.1/examples/magic-square.cc
+- ext/gecode-1.3.1/examples/golomb.cc
+- ext/gecode-1.3.1/examples/hamming.cc
+- ext/gecode-1.3.1/examples/timer.cc
+- ext/gecode-1.3.1/examples/baseline.cc
+- ext/gecode-1.3.1/examples/sudoku.icc
+- ext/gecode-1.3.1/examples/alpha.cc
+- ext/gecode-1.3.1/examples/magic-sequence.cc
+- ext/gecode-1.3.1/examples/stress-search.cc
+- ext/gecode-1.3.1/examples/support.hh
+- ext/gecode-1.3.1/examples/golf.cc
+- ext/gecode-1.3.1/examples/sports-league.cc
+- ext/gecode-1.3.1/examples/all-interval.cc
+- ext/gecode-1.3.1/examples/crowded-chess.cc
+- ext/gecode-1.3.1/examples/crew.cc
+- ext/gecode-1.3.1/examples/black-hole.cc
+- ext/gecode-1.3.1/examples/picture-puzzle.cc
+- ext/gecode-1.3.1/examples/sudoku-set.cc
+- ext/gecode-1.3.1/examples/knights.cc
+- ext/gecode-1.3.1/examples/eq20.cc
+- ext/gecode-1.3.1/examples/partition.cc
+- ext/gecode-1.3.1/examples/stress-element.cc
+- ext/gecode-1.3.1/examples/support.cc
+- ext/gecode-1.3.1/examples/sudoku-mixed.cc
+- ext/gecode-1.3.1/examples/all-interval-sort.cc
+- ext/gecode-1.3.1/examples/magic-sequence-gcc.cc
+- ext/gecode-1.3.1/examples/support.icc
+- ext/gecode-1.3.1/examples/warehouses.cc
+- ext/gecode-1.3.1/examples/money.cc
+- ext/gecode-1.3.1/examples/cars.cc
+- ext/gecode-1.3.1/examples/stress-domain.cc
+- ext/gecode-1.3.1/examples/photo.cc
+- ext/gecode-1.3.1/examples/timer.hh
+test_files: 
+- specs/constraints/boolean.rb
+- specs/constraints/bool_enum.rb
+- specs/constraints/int_domain.rb
+- specs/constraints/distinct.rb
+- specs/constraints/set_domain.rb
+- specs/constraints/constraint_helper.rb
+- specs/constraints/selection.rb
+- specs/constraints/int_relation.rb
+- specs/constraints/sort.rb
+- specs/constraints/count.rb
+- specs/constraints/set_relation.rb
+- specs/constraints/element.rb
+- specs/constraints/arithmetic.rb
+- specs/constraints/reification_sugar.rb
+- specs/constraints/equality.rb
+- specs/constraints/connection.rb
+- specs/constraints/cardinality.rb
+- specs/constraints/constraints.rb
+- specs/constraints/channel.rb
+- specs/constraints/linear.rb
+- specs/constraints/set_operation.rb
+- specs/branch.rb
+- specs/model.rb
+- specs/binding_changes.rb
+- specs/int_var.rb
+- specs/bool_var.rb
+- specs/set_var.rb
+- specs/enum_wrapper.rb
+- specs/search.rb
+- specs/logging.rb
+- specs/enum_matrix.rb
+- specs/spec_helper.rb
+rdoc_options: 
+- --title
+- Gecode/R
+- --line-numbers
+- --inline-source
+- --accessor
+- delegate
+- --main
+- README
+extra_rdoc_files: 
+- README
+- CHANGES
+- LGPL-LICENSE
+- lib/gecoder/interface/constraints/bool_enum/boolean.rb
+- lib/gecoder/interface/constraints/set_enum/operation.rb
+- lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/selection.rb
+- lib/gecoder/interface/constraints/set_enum/channel.rb
+- lib/gecoder/interface/constraints/int/domain.rb
+- lib/gecoder/interface/constraints/int/arithmetic.rb
+- lib/gecoder/interface/constraints/int/linear.rb
+- lib/gecoder/interface/constraints/bool/boolean.rb
+- lib/gecoder/interface/constraints/bool/linear.rb
+- lib/gecoder/interface/constraints/set/relation.rb
+- lib/gecoder/interface/constraints/set/connection.rb
+- lib/gecoder/interface/constraints/set/operation.rb
+- lib/gecoder/interface/constraints/set/cardinality.rb
+- lib/gecoder/interface/constraints/set/domain.rb
+- lib/gecoder/interface/constraints/int_enum/equality.rb
+- lib/gecoder/interface/constraints/int_enum/distinct.rb
+- lib/gecoder/interface/constraints/int_enum/sort.rb
+- lib/gecoder/interface/constraints/int_enum/channel.rb
+- lib/gecoder/interface/constraints/int_enum/count.rb
+- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
+- lib/gecoder/interface/constraints/int_enum/element.rb
+- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool_enum_constraints.rb
+- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/int_var_constraints.rb
+- lib/gecoder/interface/constraints/reifiable_constraints.rb
+- lib/gecoder/interface/constraints/bool_var_constraints.rb
+- lib/gecoder/interface/constraints/set_var_constraints.rb
+- lib/gecoder/interface/branch.rb
+- lib/gecoder/interface/model.rb
+- lib/gecoder/interface/binding_changes.rb
+- lib/gecoder/interface/enum_wrapper.rb
+- lib/gecoder/interface/search.rb
+- lib/gecoder/interface/constraints.rb
+- lib/gecoder/interface/enum_matrix.rb
+- lib/gecoder/interface/variables.rb
+- lib/gecoder/bindings/bindings.rb
+- lib/gecoder/bindings.rb
+- lib/gecoder/interface.rb
+- lib/gecoder/version.rb
+- lib/gecoder.rb
+executables: []
+
+extensions: 
+- ext/gecode-1.3.1/extconf.rb
+- ext/extconf.rb
+requirements: []
+
+dependencies: []
+