--- !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: []