--- !ruby/object:Gem::Specification 
rubygems_version: 0.9.4
specification_version: 1
name: gecoder-with-gecode
version: !ruby/object:Gem::Version 
  version: 0.8.0
date: 2008-04-10 00:00:00 +02: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/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
- tasks/dependencies.txt
- 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
- specs/distribution.rb
- ext/missing.cpp
- ext/vararray.cpp
- ext/missing.h
- ext/vararray.h
- ext/extconf.rb
- ext/gecode-2.1.1/Makefile.contribs
- ext/gecode-2.1.1/configure
- ext/gecode-2.1.1/LICENSE
- ext/gecode-2.1.1/Makefile.in
- ext/gecode-2.1.1/configure.ac
- ext/gecode-2.1.1/contribs
- ext/gecode-2.1.1/contribs/qecode
- ext/gecode-2.1.1/contribs/qecode/qsolver.cc
- ext/gecode-2.1.1/contribs/qecode/shortdesc.ac
- ext/gecode-2.1.1/contribs/qecode/configure
- ext/gecode-2.1.1/contribs/qecode/warner.cc
- ext/gecode-2.1.1/contribs/qecode/Doxyfile
- ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc
- ext/gecode-2.1.1/contribs/qecode/myspace.cc
- ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc
- ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc
- ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc
- ext/gecode-2.1.1/contribs/qecode/Makefile.in.in
- ext/gecode-2.1.1/contribs/qecode/vartype.hh
- ext/gecode-2.1.1/contribs/qecode/qsolver.hh
- ext/gecode-2.1.1/contribs/qecode/implicative.cc
- ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh
- ext/gecode-2.1.1/contribs/qecode/warner.hh
- ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh
- ext/gecode-2.1.1/contribs/qecode/qecode.hh
- ext/gecode-2.1.1/contribs/qecode/myspace.hh
- ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh
- ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh
- ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh
- ext/gecode-2.1.1/contribs/qecode/heap.cc
- ext/gecode-2.1.1/contribs/qecode/qecore.cc
- ext/gecode-2.1.1/contribs/qecode/configure.ac
- ext/gecode-2.1.1/contribs/qecode/implicative.hh
- ext/gecode-2.1.1/contribs/qecode/myDom.cc
- ext/gecode-2.1.1/contribs/qecode/qecore.hh
- ext/gecode-2.1.1/contribs/qecode/examples
- ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp
- ext/gecode-2.1.1/contribs/qecode/examples/COMPILING
- 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/README
- ext/gecode-2.1.1/Makefile.dep
- ext/gecode-2.1.1/gecode.m4
- ext/gecode-2.1.1/gecode
- ext/gecode-2.1.1/gecode/kernel
- ext/gecode-2.1.1/gecode/kernel/shared-array.icc
- ext/gecode-2.1.1/gecode/kernel/macros.icc
- ext/gecode-2.1.1/gecode/kernel/core.icc
- ext/gecode-2.1.1/gecode/kernel/var.icc
- ext/gecode-2.1.1/gecode/kernel/var-map.cc
- ext/gecode-2.1.1/gecode/kernel/reflection.icc
- ext/gecode-2.1.1/gecode/kernel/branching.icc
- ext/gecode-2.1.1/gecode/kernel/var-traits.icc
- ext/gecode-2.1.1/gecode/kernel/exception.icc
- ext/gecode-2.1.1/gecode/kernel/var-type.cc
- ext/gecode-2.1.1/gecode/kernel/var-map.icc
- ext/gecode-2.1.1/gecode/kernel/memory-manager.cc
- ext/gecode-2.1.1/gecode/kernel/advisor.icc
- ext/gecode-2.1.1/gecode/kernel/var-type.icc
- ext/gecode-2.1.1/gecode/kernel/view.icc
- ext/gecode-2.1.1/gecode/kernel/var-imp.icc
- ext/gecode-2.1.1/gecode/kernel/propagator.icc
- ext/gecode-2.1.1/gecode/kernel/array.icc
- ext/gecode-2.1.1/gecode/kernel/core.cc
- ext/gecode-2.1.1/gecode/kernel/memory-manager.icc
- ext/gecode-2.1.1/gecode/kernel/reflection.cc
- ext/gecode-2.1.1/gecode/kernel/modevent.icc
- ext/gecode-2.1.1/gecode/int.hh
- ext/gecode-2.1.1/gecode/set.hh
- ext/gecode-2.1.1/gecode/int
- ext/gecode-2.1.1/gecode/int/distinct.hh
- ext/gecode-2.1.1/gecode/int/gcc.cc
- ext/gecode-2.1.1/gecode/int/int-set.icc
- ext/gecode-2.1.1/gecode/int/rel.hh
- ext/gecode-2.1.1/gecode/int/distinct
- ext/gecode-2.1.1/gecode/int/distinct/val.icc
- ext/gecode-2.1.1/gecode/int/distinct/bnd.icc
- ext/gecode-2.1.1/gecode/int/distinct/edge.icc
- ext/gecode-2.1.1/gecode/int/distinct/node.icc
- ext/gecode-2.1.1/gecode/int/distinct/combptr.icc
- ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc
- ext/gecode-2.1.1/gecode/int/distinct/bilink.icc
- ext/gecode-2.1.1/gecode/int/distinct/dom.icc
- ext/gecode-2.1.1/gecode/int/branch.cc
- ext/gecode-2.1.1/gecode/int/sorted.cc
- ext/gecode-2.1.1/gecode/int/circuit.cc
- ext/gecode-2.1.1/gecode/int/element.hh
- ext/gecode-2.1.1/gecode/int/linear-bool.cc
- ext/gecode-2.1.1/gecode/int/count
- ext/gecode-2.1.1/gecode/int/count/rel.icc
- 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/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.hh
- ext/gecode-2.1.1/gecode/int/unshare.cc
- ext/gecode-2.1.1/gecode/int/bool
- ext/gecode-2.1.1/gecode/int/bool/eq.icc
- ext/gecode-2.1.1/gecode/int/bool/base.icc
- ext/gecode-2.1.1/gecode/int/bool/eqv.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/exception.icc
- ext/gecode-2.1.1/gecode/int/gcc
- 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/gccbndsup.icc
- ext/gecode-2.1.1/gecode/int/gcc/graphsup.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/dom.icc
- ext/gecode-2.1.1/gecode/int/gcc/lbc.icc
- ext/gecode-2.1.1/gecode/int/cumulatives.hh
- ext/gecode-2.1.1/gecode/int/sorted
- ext/gecode-2.1.1/gecode/int/sorted/propagate.icc
- ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc
- ext/gecode-2.1.1/gecode/int/sorted/matching.icc
- ext/gecode-2.1.1/gecode/int/sorted/order.icc
- ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc
- 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/circuit
- 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/circuit/dom.icc
- ext/gecode-2.1.1/gecode/int/distinct.cc
- ext/gecode-2.1.1/gecode/int/channel.hh
- ext/gecode-2.1.1/gecode/int/rel.cc
- 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.icc
- ext/gecode-2.1.1/gecode/int/linear
- 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-view.icc
- ext/gecode-2.1.1/gecode/int/linear/int-post.cc
- ext/gecode-2.1.1/gecode/int/linear/bool-post.cc
- ext/gecode-2.1.1/gecode/int/linear/post.icc
- ext/gecode-2.1.1/gecode/int/linear/int-dom.icc
- ext/gecode-2.1.1/gecode/int/linear/int-noview.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/int-nary.icc
- ext/gecode-2.1.1/gecode/int/view
- ext/gecode-2.1.1/gecode/int/view/iter.icc
- ext/gecode-2.1.1/gecode/int/view/print.cc
- ext/gecode-2.1.1/gecode/int/view/offset.icc
- ext/gecode-2.1.1/gecode/int/view/scale.icc
- ext/gecode-2.1.1/gecode/int/view/int.icc
- ext/gecode-2.1.1/gecode/int/view/bool.icc
- ext/gecode-2.1.1/gecode/int/view/minus.icc
- ext/gecode-2.1.1/gecode/int/view/zero.icc
- ext/gecode-2.1.1/gecode/int/view/constint.icc
- ext/gecode-2.1.1/gecode/int/view/rtest.icc
- ext/gecode-2.1.1/gecode/int/var-imp
- ext/gecode-2.1.1/gecode/int/var-imp/bool.cc
- ext/gecode-2.1.1/gecode/int/var-imp/delta.icc
- ext/gecode-2.1.1/gecode/int/var-imp/int.icc
- ext/gecode-2.1.1/gecode/int/var-imp/bool.icc
- ext/gecode-2.1.1/gecode/int/var-imp/int.vis
- ext/gecode-2.1.1/gecode/int/var-imp/bool.vis
- ext/gecode-2.1.1/gecode/int/var-imp/int.cc
- ext/gecode-2.1.1/gecode/int/element.cc
- ext/gecode-2.1.1/gecode/int/dom.hh
- ext/gecode-2.1.1/gecode/int/dom
- ext/gecode-2.1.1/gecode/int/dom/spec.icc
- ext/gecode-2.1.1/gecode/int/dom/range.icc
- ext/gecode-2.1.1/gecode/int/bool.cc
- ext/gecode-2.1.1/gecode/int/rel
- 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/rel/lq-le.icc
- ext/gecode-2.1.1/gecode/int/rel/nq.icc
- ext/gecode-2.1.1/gecode/int/cumulatives.cc
- ext/gecode-2.1.1/gecode/int/count.hh
- ext/gecode-2.1.1/gecode/int/linear-int.cc
- ext/gecode-2.1.1/gecode/int/arithmetic.hh
- ext/gecode-2.1.1/gecode/int/extensional.hh
- ext/gecode-2.1.1/gecode/int/var
- ext/gecode-2.1.1/gecode/int/var/bool.cc
- ext/gecode-2.1.1/gecode/int/var/int.icc
- ext/gecode-2.1.1/gecode/int/var/bool.icc
- ext/gecode-2.1.1/gecode/int/var/int.cc
- ext/gecode-2.1.1/gecode/int/arithmetic
- ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc
- ext/gecode-2.1.1/gecode/int/arithmetic/max.icc
- ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc
- ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc
- ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc
- ext/gecode-2.1.1/gecode/int/extensional
- ext/gecode-2.1.1/gecode/int/extensional/tuple-set.icc
- ext/gecode-2.1.1/gecode/int/extensional/layered-graph.icc
- ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc
- ext/gecode-2.1.1/gecode/int/extensional/base.icc
- 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/basic.icc
- ext/gecode-2.1.1/gecode/int/extensional/dfa.cc
- ext/gecode-2.1.1/gecode/int/extensional/incremental.icc
- ext/gecode-2.1.1/gecode/int/gcc.hh
- ext/gecode-2.1.1/gecode/int/branch.hh
- ext/gecode-2.1.1/gecode/int/channel.cc
- 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/int/limits.icc
- ext/gecode-2.1.1/gecode/int/sorted.hh
- ext/gecode-2.1.1/gecode/int/circuit.hh
- ext/gecode-2.1.1/gecode/int/array.cc
- ext/gecode-2.1.1/gecode/int/dom.cc
- ext/gecode-2.1.1/gecode/int/channel
- ext/gecode-2.1.1/gecode/int/channel/val.icc
- ext/gecode-2.1.1/gecode/int/channel/link-single.cc
- ext/gecode-2.1.1/gecode/int/channel/link-multi.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-single.icc
- ext/gecode-2.1.1/gecode/int/channel/dom.icc
- ext/gecode-2.1.1/gecode/int/linear.hh
- 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/count.cc
- ext/gecode-2.1.1/gecode/int/arithmetic.cc
- ext/gecode-2.1.1/gecode/int/extensional.cc
- ext/gecode-2.1.1/gecode/set
- ext/gecode-2.1.1/gecode/set/select
- ext/gecode-2.1.1/gecode/set/select/disjoint.icc
- ext/gecode-2.1.1/gecode/set/select/idxarray.icc
- ext/gecode-2.1.1/gecode/set/select/idxarray.hh
- ext/gecode-2.1.1/gecode/set/select/union.icc
- ext/gecode-2.1.1/gecode/set/select/disjoint.cc
- ext/gecode-2.1.1/gecode/set/select/unionConst.icc
- ext/gecode-2.1.1/gecode/set/select/inter.icc
- ext/gecode-2.1.1/gecode/set/distinct.hh
- 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/distinct
- ext/gecode-2.1.1/gecode/set/distinct/atmostOne.icc
- ext/gecode-2.1.1/gecode/set/distinct/atmostOne.cc
- ext/gecode-2.1.1/gecode/set/convex.cc
- ext/gecode-2.1.1/gecode/set/cardinality.cc
- ext/gecode-2.1.1/gecode/set/projectors
- ext/gecode-2.1.1/gecode/set/projectors/formula.icc
- ext/gecode-2.1.1/gecode/set/projectors/projector-set.cc
- ext/gecode-2.1.1/gecode/set/projectors/projector.icc
- ext/gecode-2.1.1/gecode/set/projectors/set-expr.icc
- ext/gecode-2.1.1/gecode/set/projectors/formula.cc
- ext/gecode-2.1.1/gecode/set/projectors/projector.cc
- ext/gecode-2.1.1/gecode/set/projectors/set-expr.cc
- ext/gecode-2.1.1/gecode/set/projectors/propagator.hh
- ext/gecode-2.1.1/gecode/set/projectors/projector-set.icc
- ext/gecode-2.1.1/gecode/set/projectors/compiler.cc
- ext/gecode-2.1.1/gecode/set/projectors/propagator
- 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/propagator/re-nary.icc
- ext/gecode-2.1.1/gecode/set/int
- ext/gecode-2.1.1/gecode/set/int/card.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/match.icc
- ext/gecode-2.1.1/gecode/set/int/channel-int.icc
- ext/gecode-2.1.1/gecode/set/int/channel-bool.icc
- ext/gecode-2.1.1/gecode/set/exception.icc
- ext/gecode-2.1.1/gecode/set/rel-op.hh
- ext/gecode-2.1.1/gecode/set/sequence.cc
- ext/gecode-2.1.1/gecode/set/projectors-compiler.hh
- ext/gecode-2.1.1/gecode/set/convex
- ext/gecode-2.1.1/gecode/set/convex/hull.icc
- ext/gecode-2.1.1/gecode/set/convex/conv.icc
- ext/gecode-2.1.1/gecode/set/convex/hull.cc
- ext/gecode-2.1.1/gecode/set/convex/conv.cc
- ext/gecode-2.1.1/gecode/set/select.cc
- ext/gecode-2.1.1/gecode/set/distinct.cc
- ext/gecode-2.1.1/gecode/set/rel.cc
- ext/gecode-2.1.1/gecode/set/rel-op-const.cc
- ext/gecode-2.1.1/gecode/set/view.icc
- ext/gecode-2.1.1/gecode/set/sequence
- ext/gecode-2.1.1/gecode/set/sequence/common.icc
- ext/gecode-2.1.1/gecode/set/sequence/seq.icc
- ext/gecode-2.1.1/gecode/set/sequence/seq-u.icc
- ext/gecode-2.1.1/gecode/set/sequence/seq.cc
- ext/gecode-2.1.1/gecode/set/sequence/seq-u.cc
- ext/gecode-2.1.1/gecode/set/var-imp.icc
- ext/gecode-2.1.1/gecode/set/view
- ext/gecode-2.1.1/gecode/set/view/singleton.icc
- ext/gecode-2.1.1/gecode/set/view/complement.icc
- 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/offset.icc
- ext/gecode-2.1.1/gecode/set/view/set.icc
- ext/gecode-2.1.1/gecode/set/var-imp
- ext/gecode-2.1.1/gecode/set/var-imp/set.cc
- ext/gecode-2.1.1/gecode/set/var-imp/iter.icc
- 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/var-imp/integerset.cc
- ext/gecode-2.1.1/gecode/set/rel-op.cc
- ext/gecode-2.1.1/gecode/set/rel
- ext/gecode-2.1.1/gecode/set/rel/nosubset.icc
- ext/gecode-2.1.1/gecode/set/rel/eq.icc
- ext/gecode-2.1.1/gecode/set/rel/subset.icc
- ext/gecode-2.1.1/gecode/set/rel/common.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/nq.icc
- ext/gecode-2.1.1/gecode/set/projectors.hh
- ext/gecode-2.1.1/gecode/set/int.hh
- 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/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/set/rel-op
- ext/gecode-2.1.1/gecode/set/rel-op/post.icc
- ext/gecode-2.1.1/gecode/set/rel-op/superofinter.icc
- ext/gecode-2.1.1/gecode/set/rel-op/subofunion.icc
- ext/gecode-2.1.1/gecode/set/rel-op/common.icc
- ext/gecode-2.1.1/gecode/set/rel-op/union.icc
- ext/gecode-2.1.1/gecode/set/rel-op/partition.icc
- ext/gecode-2.1.1/gecode/set/rel-op/inter.icc
- ext/gecode-2.1.1/gecode/set/limits.icc
- ext/gecode-2.1.1/gecode/set/convex.hh
- ext/gecode-2.1.1/gecode/set/array.cc
- ext/gecode-2.1.1/gecode/set/dom.cc
- ext/gecode-2.1.1/gecode/set/sequence.hh
- ext/gecode-2.1.1/gecode/set/propagator.icc
- ext/gecode-2.1.1/gecode/set/array.icc
- ext/gecode-2.1.1/gecode/set/select.hh
- ext/gecode-2.1.1/gecode/set/projectors.cc
- ext/gecode-2.1.1/gecode/set/int.cc
- ext/gecode-2.1.1/gecode/iter.hh
- ext/gecode-2.1.1/gecode/search.hh
- ext/gecode-2.1.1/gecode/iter
- ext/gecode-2.1.1/gecode/iter/virtual-ranges-inter.icc
- ext/gecode-2.1.1/gecode/iter/values-offset.icc
- ext/gecode-2.1.1/gecode/iter/ranges-singleton-append.icc
- ext/gecode-2.1.1/gecode/iter/ranges-append.icc
- ext/gecode-2.1.1/gecode/iter/ranges-diff.icc
- ext/gecode-2.1.1/gecode/iter/ranges-size.icc
- ext/gecode-2.1.1/gecode/iter/ranges-compl.icc
- ext/gecode-2.1.1/gecode/iter/values-minus.icc
- ext/gecode-2.1.1/gecode/iter/virtual-ranges-union.icc
- ext/gecode-2.1.1/gecode/iter/ranges-array.icc
- ext/gecode-2.1.1/gecode/iter/ranges-inter.icc
- ext/gecode-2.1.1/gecode/iter/values-singleton.icc
- ext/gecode-2.1.1/gecode/iter/ranges-operations.icc
- ext/gecode-2.1.1/gecode/iter/ranges-offset.icc
- ext/gecode-2.1.1/gecode/iter/values-unique.icc
- ext/gecode-2.1.1/gecode/iter/virtual-ranges.icc
- ext/gecode-2.1.1/gecode/iter/ranges-scale.icc
- ext/gecode-2.1.1/gecode/iter/ranges-add.icc
- ext/gecode-2.1.1/gecode/iter/ranges-union.icc
- ext/gecode-2.1.1/gecode/iter/ranges-minmax.icc
- ext/gecode-2.1.1/gecode/iter/ranges-minus.icc
- ext/gecode-2.1.1/gecode/iter/ranges-empty.icc
- ext/gecode-2.1.1/gecode/iter/values-array.icc
- ext/gecode-2.1.1/gecode/iter/virtual-ranges-compl.icc
- ext/gecode-2.1.1/gecode/iter/ranges-values.icc
- ext/gecode-2.1.1/gecode/iter/values-ranges.icc
- ext/gecode-2.1.1/gecode/iter/ranges-singleton.icc
- ext/gecode-2.1.1/gecode/iter/ranges-cache.icc
- ext/gecode-2.1.1/gecode/gist.hh
- ext/gecode-2.1.1/gecode/search
- ext/gecode-2.1.1/gecode/search/lds.icc
- ext/gecode-2.1.1/gecode/search/options.cc
- ext/gecode-2.1.1/gecode/search/dfs.cc
- ext/gecode-2.1.1/gecode/search/bab.icc
- ext/gecode-2.1.1/gecode/search/restart.icc
- ext/gecode-2.1.1/gecode/search/stop.icc
- ext/gecode-2.1.1/gecode/search/engine-ctrl.icc
- ext/gecode-2.1.1/gecode/search/lds.cc
- ext/gecode-2.1.1/gecode/search/statistics.icc
- ext/gecode-2.1.1/gecode/search/bab.cc
- ext/gecode-2.1.1/gecode/search/options.icc
- ext/gecode-2.1.1/gecode/search/reco-stack.icc
- ext/gecode-2.1.1/gecode/search/dfs.icc
- ext/gecode-2.1.1/gecode/search/stop.cc
- ext/gecode-2.1.1/gecode/gist
- 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/addchild.cc
- ext/gecode-2.1.1/gecode/gist/nodecursor.hh
- ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.hh
- ext/gecode-2.1.1/gecode/gist/preferences.cc
- ext/gecode-2.1.1/gecode/gist/config.cc
- ext/gecode-2.1.1/gecode/gist/textoutput.cc
- ext/gecode-2.1.1/gecode/gist/treecanvas.hh
- ext/gecode-2.1.1/gecode/gist/shapelist.hh
- ext/gecode-2.1.1/gecode/gist/visualisation
- ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh
- ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.hh
- ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh
- ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh
- ext/gecode-2.1.1/gecode/gist/visualisation/vararrayviewt.hh
- ext/gecode-2.1.1/gecode/gist/visualisation/varitem.hh
- ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.cc
- ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.cc
- ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.cc
- ext/gecode-2.1.1/gecode/gist/visualisation/varitem.cc
- ext/gecode-2.1.1/gecode/gist/visualnode.cc
- ext/gecode-2.1.1/gecode/gist/postscript.cc
- ext/gecode-2.1.1/gecode/gist/spacenode.hh
- ext/gecode-2.1.1/gecode/gist/nodevisitor.icc
- ext/gecode-2.1.1/gecode/gist/nodevisitor.hh
- ext/gecode-2.1.1/gecode/gist/analysiscursor.cc
- ext/gecode-2.1.1/gecode/gist/nodecursor.cc
- ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.cc
- ext/gecode-2.1.1/gecode/gist/mainwindow.hh
- ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh
- ext/gecode-2.1.1/gecode/gist/treecanvas.cc
- ext/gecode-2.1.1/gecode/gist/shapelist.cc
- ext/gecode-2.1.1/gecode/gist/node.hh
- ext/gecode-2.1.1/gecode/gist/better.hh
- ext/gecode-2.1.1/gecode/gist/spacenode.cc
- ext/gecode-2.1.1/gecode/gist/drawingcursor.hh
- ext/gecode-2.1.1/gecode/gist/ui_addchild.hh
- ext/gecode-2.1.1/gecode/gist/addchild.hh
- ext/gecode-2.1.1/gecode/gist/gist.cc
- ext/gecode-2.1.1/gecode/gist/preferences.hh
- ext/gecode-2.1.1/gecode/gist/mainwindow.cc
- ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc
- ext/gecode-2.1.1/gecode/gist/config.hh
- ext/gecode-2.1.1/gecode/gist/gist.icc
- ext/gecode-2.1.1/gecode/gist/test.cc
- ext/gecode-2.1.1/gecode/gist/textoutput.hh
- ext/gecode-2.1.1/gecode/gist/gecodelogo.icc
- ext/gecode-2.1.1/gecode/gist/visualnode.hh
- ext/gecode-2.1.1/gecode/gist/postscript.hh
- ext/gecode-2.1.1/gecode/gist/node.cc
- ext/gecode-2.1.1/gecode/gist/drawingcursor.cc
- ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh
- ext/gecode-2.1.1/gecode/support.hh
- ext/gecode-2.1.1/gecode/serialization.hh
- ext/gecode-2.1.1/gecode/minimodel.hh
- ext/gecode-2.1.1/gecode/cpltset.hh
- ext/gecode-2.1.1/gecode/support
- ext/gecode-2.1.1/gecode/support/sentinel-stack.icc
- ext/gecode-2.1.1/gecode/support/macros.icc
- ext/gecode-2.1.1/gecode/support/exception.cc
- ext/gecode-2.1.1/gecode/support/sort.icc
- ext/gecode-2.1.1/gecode/support/dynamic-stack.icc
- ext/gecode-2.1.1/gecode/support/static-pqueue.icc
- ext/gecode-2.1.1/gecode/support/cast.icc
- ext/gecode-2.1.1/gecode/support/static-stack.icc
- ext/gecode-2.1.1/gecode/support/symbol.cc
- ext/gecode-2.1.1/gecode/support/exception.icc
- ext/gecode-2.1.1/gecode/support/dynamic-array.icc
- ext/gecode-2.1.1/gecode/support/symbol.icc
- ext/gecode-2.1.1/gecode/support/memory.icc
- ext/gecode-2.1.1/gecode/support/block-allocator.icc
- ext/gecode-2.1.1/gecode/support/config.icc.in
- ext/gecode-2.1.1/gecode/support/buddy
- ext/gecode-2.1.1/gecode/support/buddy/bdd.h
- ext/gecode-2.1.1/gecode/support/buddy/tree.c
- ext/gecode-2.1.1/gecode/support/buddy/fdd.h
- ext/gecode-2.1.1/gecode/support/buddy/reorder.c
- ext/gecode-2.1.1/gecode/support/buddy/cache.c
- ext/gecode-2.1.1/gecode/support/buddy/AUTHORS
- ext/gecode-2.1.1/gecode/support/buddy/cppext.cc
- ext/gecode-2.1.1/gecode/support/buddy/ChangeLog
- ext/gecode-2.1.1/gecode/support/buddy/cache.h
- ext/gecode-2.1.1/gecode/support/buddy/config.h
- ext/gecode-2.1.1/gecode/support/buddy/README
- ext/gecode-2.1.1/gecode/support/buddy/prime.c
- ext/gecode-2.1.1/gecode/support/buddy/imatrix.c
- ext/gecode-2.1.1/gecode/support/buddy/bddtree.h
- ext/gecode-2.1.1/gecode/support/buddy/pairs.c
- ext/gecode-2.1.1/gecode/support/buddy/bvec.c
- ext/gecode-2.1.1/gecode/support/buddy/kernel.c
- ext/gecode-2.1.1/gecode/support/buddy/bddio.c
- ext/gecode-2.1.1/gecode/support/buddy/prime.h
- ext/gecode-2.1.1/gecode/support/buddy/imatrix.h
- ext/gecode-2.1.1/gecode/support/buddy/bvec.h
- ext/gecode-2.1.1/gecode/support/buddy/kernel.h
- ext/gecode-2.1.1/gecode/support/buddy/bddop.c
- ext/gecode-2.1.1/gecode/support/buddy/NEWS
- ext/gecode-2.1.1/gecode/support/buddy/fdd.c
- ext/gecode-2.1.1/gecode/support/map.icc
- ext/gecode-2.1.1/gecode/support/random.icc
- ext/gecode-2.1.1/gecode/support/marked-pointer.icc
- ext/gecode-2.1.1/gecode/serialization
- ext/gecode-2.1.1/gecode/serialization/boost.icc
- ext/gecode-2.1.1/gecode/serialization/javascript.hh
- ext/gecode-2.1.1/gecode/serialization/register.cc
- ext/gecode-2.1.1/gecode/serialization/boost.cc
- ext/gecode-2.1.1/gecode/serialization/javascript.cc
- ext/gecode-2.1.1/gecode/serialization/flatzinc.cc
- ext/gecode-2.1.1/gecode/minimodel
- ext/gecode-2.1.1/gecode/minimodel/lin-rel.icc
- ext/gecode-2.1.1/gecode/minimodel/matrix.icc
- ext/gecode-2.1.1/gecode/minimodel/reg.cc
- ext/gecode-2.1.1/gecode/minimodel/bool-expr.icc
- ext/gecode-2.1.1/gecode/minimodel/bool-rel.icc
- ext/gecode-2.1.1/gecode/minimodel/bool-expr.cc
- ext/gecode-2.1.1/gecode/minimodel/exception.icc
- ext/gecode-2.1.1/gecode/minimodel/lin-expr.icc
- ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc
- ext/gecode-2.1.1/gecode/kernel.hh
- ext/gecode-2.1.1/gecode/cpltset
- ext/gecode-2.1.1/gecode/cpltset/branch.cc
- ext/gecode-2.1.1/gecode/cpltset/bddmanager.icc
- 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/exception.icc
- ext/gecode-2.1.1/gecode/cpltset/branch.hh
- 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/cpltset/propagators.hh
- ext/gecode-2.1.1/gecode/cpltset/support.cc
- ext/gecode-2.1.1/gecode/cpltset/propagators
- ext/gecode-2.1.1/gecode/cpltset/propagators/singleton.icc
- ext/gecode-2.1.1/gecode/cpltset/propagators/narytwo.icc
- ext/gecode-2.1.1/gecode/cpltset/propagators/binary.icc
- ext/gecode-2.1.1/gecode/cpltset/propagators/nary.icc
- ext/gecode-2.1.1/gecode/cpltset/propagators/naryone.icc
- ext/gecode-2.1.1/gecode/cpltset/propagators/unary.icc
- ext/gecode-2.1.1/gecode/cpltset/array.cc
- 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/select.cc
- ext/gecode-2.1.1/gecode/cpltset/constraints/distinct.cc
- ext/gecode-2.1.1/gecode/cpltset/constraints/rel.cc
- ext/gecode-2.1.1/gecode/cpltset/constraints/singleton.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/constraints/atmost.cc
- ext/gecode-2.1.1/gecode/cpltset/constraints/partition.cc
- ext/gecode-2.1.1/gecode/cpltset/view.icc
- ext/gecode-2.1.1/gecode/cpltset/var-imp.icc
- ext/gecode-2.1.1/gecode/cpltset/bddmanager.cc
- ext/gecode-2.1.1/gecode/cpltset/support.icc
- 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/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/array.icc
- ext/gecode-2.1.1/configure.ac.in
- ext/gecode-2.1.1/misc
- ext/gecode-2.1.1/misc/gentxtchangelog.perl
- ext/gecode-2.1.1/misc/genchangelog.perl
- ext/gecode-2.1.1/misc/debian
- ext/gecode-2.1.1/misc/debian/gecode.spec
- ext/gecode-2.1.1/misc/debian/control
- ext/gecode-2.1.1/misc/debian/gecode.info
- ext/gecode-2.1.1/misc/debian/changelog
- ext/gecode-2.1.1/misc/debian/copyright
- ext/gecode-2.1.1/misc/debian/Makefile.am
- ext/gecode-2.1.1/misc/debian/rules
- ext/gecode-2.1.1/misc/debian/gecode.install
- ext/gecode-2.1.1/misc/genstatistics.perl
- ext/gecode-2.1.1/misc/AppleHelpbookInfo.plist
- ext/gecode-2.1.1/misc/genlcovmakefile.perl
- ext/gecode-2.1.1/misc/gecode.pc.in
- ext/gecode-2.1.1/misc/makedepend.perl
- ext/gecode-2.1.1/misc/gecode-search.pc.in
- ext/gecode-2.1.1/misc/getrevision.perl
- ext/gecode-2.1.1/misc/gecode-gist.pc.in
- ext/gecode-2.1.1/misc/genregistry.perl
- ext/gecode-2.1.1/misc/genvariables.perl
- ext/gecode-2.1.1/misc/svn-ignore.txt
- ext/gecode-2.1.1/misc/gecode-serialization.pc.in
- ext/gecode-2.1.1/misc/gecode-minimodel.pc.in
- ext/gecode-2.1.1/misc/allexamples.perl
- ext/gecode-2.1.1/misc/fixproperties.sh
- ext/gecode-2.1.1/misc/genlicense.perl
- ext/gecode-2.1.1/misc/doxygen
- ext/gecode-2.1.1/misc/doxygen/stylesheet.css
- ext/gecode-2.1.1/misc/doxygen/footer.html
- 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/variables.vsl
- ext/gecode-2.1.1/changelog.in
- ext/gecode-2.1.1/doxygen
- ext/gecode-2.1.1/doxygen/doxygen.hh.in
- ext/gecode-2.1.1/doxygen/doxygen.conf.in
- ext/gecode-2.1.1/doxygen/reflection.hh
- ext/gecode-2.1.1/install-sh
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
- specs/distribution.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-2.1.1/configure
- ext/extconf.rb
requirements: []

dependencies: []