gecoder 0.8.2 → 0.8.3

metadata

@@ -3,8 +3,8 @@ rubygems_version: 0.9.4
 specification_version: 1
 name: gecoder
 version: !ruby/object:Gem::Version 
-  version: 0.8.2
-date: 2008-05-08 00:00:00 +02:00
+  version: 0.8.3
+date: 2008-07-28 00:00:00 +02:00
 summary: Ruby interface to Gecode, an environment for constraint programming.
 require_paths: 
 - lib
@@ -29,212 +29,211 @@ post_install_message:
 authors: 
 - - Gecode/R Development Team
 files: 
-- Rakefile
-- CHANGES
-- COPYING
 - README
 - LGPL-LICENSE
-- lib/gecoder/interface/constraints/bool_enum/channel.rb
-- lib/gecoder/interface/constraints/bool_enum/extensional.rb
-- lib/gecoder/interface/constraints/bool_enum/relation.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
+- CHANGES
+- COPYING
+- Rakefile
+- lib/gecoder.rb
+- lib/gecoder/bindings.rb
+- lib/gecoder/interface/branch.rb
+- lib/gecoder/interface/enum_matrix.rb
+- lib/gecoder/interface/search.rb
+- lib/gecoder/interface/constraints.rb
+- lib/gecoder/interface/variables.rb
+- lib/gecoder/interface/enum_wrapper.rb
+- lib/gecoder/interface/model.rb
+- lib/gecoder/interface/constraints/set_var_constraints.rb
+- lib/gecoder/interface/constraints/extensional_regexp.rb
+- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/set/channel.rb
+- lib/gecoder/interface/constraints/set/cardinality.rb
+- lib/gecoder/interface/constraints/set/operation.rb
+- lib/gecoder/interface/constraints/set/connection.rb
+- lib/gecoder/interface/constraints/set/domain.rb
+- lib/gecoder/interface/constraints/set/relation.rb
+- lib/gecoder/interface/constraints/int/channel.rb
 - lib/gecoder/interface/constraints/int/arithmetic.rb
 - lib/gecoder/interface/constraints/int/linear.rb
-- lib/gecoder/interface/constraints/int/channel.rb
+- lib/gecoder/interface/constraints/int/domain.rb
+- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool/channel.rb
 - lib/gecoder/interface/constraints/bool/boolean.rb
 - lib/gecoder/interface/constraints/bool/linear.rb
-- lib/gecoder/interface/constraints/bool/channel.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/distinct.rb
 - lib/gecoder/interface/constraints/int_enum/element.rb
+- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
+- lib/gecoder/interface/constraints/int_enum/count.rb
 - lib/gecoder/interface/constraints/int_enum/extensional.rb
-- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/int_enum/equality.rb
+- lib/gecoder/interface/constraints/int_enum/sort.rb
+- lib/gecoder/interface/constraints/bool_var_constraints.rb
 - lib/gecoder/interface/constraints/bool_enum_constraints.rb
-- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool_enum/channel.rb
+- lib/gecoder/interface/constraints/bool_enum/extensional.rb
+- lib/gecoder/interface/constraints/bool_enum/relation.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/constraints/set_enum/channel.rb
+- lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/operation.rb
+- lib/gecoder/interface/constraints/set_enum/selection.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
+- lib/gecoder/interface.rb
+- lib/gecoder/bindings/bindings.rb
 - example/queens.rb
-- example/send_more_money.rb
 - example/send_most_money.rb
+- example/magic_sequence.rb
+- example/send_more_money.rb
 - example/sudoku-set.rb
-- example/raw_bindings.rb
+- example/sudoku.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/README
 - vendor/rust/rust
+- vendor/rust/rust/cwrapper.rb
+- vendor/rust/rust/bindings.rb
+- vendor/rust/rust/element.rb
+- vendor/rust/rust/cxxclass.rb
+- vendor/rust/rust/type.rb
+- vendor/rust/rust/class.rb
+- vendor/rust/rust/container.rb
 - vendor/rust/rust/templates
+- vendor/rust/rust/templates/ModuleDeclarations.rusttpl
+- vendor/rust/rust/templates/EnumDeclarations.rusttpl
+- vendor/rust/rust/templates/BindingsUnit.rusttpl
+- vendor/rust/rust/templates/ConstructorStub.rusttpl
+- vendor/rust/rust/templates/EnumDefinitions.rusttpl
 - 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/CxxStandaloneClassDefinitions.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/templates/MethodInitBinding.rusttpl
+- vendor/rust/rust/templates/ModuleDefinitions.rusttpl
+- vendor/rust/rust/templates/VariableFunctionCall.rusttpl
+- vendor/rust/rust/templates/AttributeInitBinding.rusttpl
+- vendor/rust/rust/templates/BindingsHeader.rusttpl
+- vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
+- vendor/rust/rust/templates/FunctionDefinition.rusttpl
+- vendor/rust/rust/templates/AttributeDefinition.rusttpl
+- vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
 - vendor/rust/rust/cppifaceparser.rb
-- vendor/rust/rust/cxxclass.rb
-- vendor/rust/rust/element.rb
 - vendor/rust/rust/constants.rb
+- vendor/rust/rust/attribute.rb
 - vendor/rust/rust/namespace.rb
+- vendor/rust/rust/enum.rb
+- vendor/rust/rust/function.rb
+- vendor/rust/test
+- vendor/rust/test/cppclass.rb
+- vendor/rust/test/cwrapper.h
+- vendor/rust/test/test-constants.rb
+- vendor/rust/test/cwrapper.rb
+- vendor/rust/test/operators.hh
+- vendor/rust/test/cppclass.cc
+- vendor/rust/test/Makefile
+- vendor/rust/test/test-cppclass.rb
+- vendor/rust/test/operators.rb
+- vendor/rust/test/cppclass.hh
+- vendor/rust/test/dummyclass.hh
+- vendor/rust/test/operators.cc
+- vendor/rust/test/constants.rb
+- vendor/rust/test/test-cwrapper.rb
+- vendor/rust/test/cwrapper.c
+- vendor/rust/test/lib
+- vendor/rust/test/lib/extension-test.rb
+- vendor/rust/test/test-operators.rb
+- vendor/rust/include
+- vendor/rust/include/rust_checks.hh
+- vendor/rust/include/rust_conversions.hh
 - vendor/rust/rust.rb
-- vendor/rust/README
-- tasks/all_tasks.rb
-- tasks/distribution.rake
 - tasks/website.rake
+- tasks/specs.rake
 - tasks/svn.rake
 - tasks/rcov.rake
-- tasks/specs.rake
+- tasks/all_tasks.rb
 - tasks/dependencies.txt
+- tasks/distribution.rake
+- specs/logging.rb
+- specs/branch.rb
+- specs/enum_matrix.rb
+- specs/search.rb
+- specs/bool_var.rb
+- specs/distribution.rb
+- specs/spec_helper.rb
+- specs/int_var.rb
+- specs/enum_wrapper.rb
+- specs/model.rb
+- specs/set_var.rb
 - specs/constraints
-- specs/constraints/boolean.rb
 - specs/constraints/channel.rb
-- specs/constraints/int_domain.rb
+- specs/constraints/bool_enum_relation.rb
 - specs/constraints/distinct.rb
+- specs/constraints/set_operation.rb
+- specs/constraints/element.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/arithmetic.rb
+- specs/constraints/constraints.rb
 - specs/constraints/count.rb
+- specs/constraints/cardinality.rb
 - specs/constraints/set_relation.rb
-- specs/constraints/element.rb
-- specs/constraints/arithmetic.rb
-- specs/constraints/reification_sugar.rb
+- specs/constraints/extensional.rb
 - specs/constraints/equality.rb
+- specs/constraints/boolean.rb
+- specs/constraints/int_relation.rb
+- specs/constraints/sort.rb
+- specs/constraints/constraint_helper.rb
+- specs/constraints/int_domain.rb
+- specs/constraints/reification_sugar.rb
+- specs/constraints/selection.rb
 - specs/constraints/connection.rb
-- specs/constraints/cardinality.rb
-- specs/constraints/constraints.rb
 - specs/constraints/linear.rb
-- specs/constraints/set_operation.rb
-- specs/constraints/extensional.rb
-- specs/constraints/bool_enum_relation.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
 - specs/examples.rb
-- ext/missing.cpp
+- ext/gecoder.cpp
 - ext/vararray.cpp
-- ext/missing.h
+- ext/gecoder.h
 - ext/vararray.h
 - ext/extconf.rb
 test_files: 
-- specs/constraints/boolean.rb
+- specs/logging.rb
+- specs/branch.rb
+- specs/enum_matrix.rb
+- specs/search.rb
+- specs/bool_var.rb
+- specs/distribution.rb
+- specs/spec_helper.rb
+- specs/int_var.rb
+- specs/enum_wrapper.rb
+- specs/model.rb
+- specs/set_var.rb
 - specs/constraints/channel.rb
-- specs/constraints/int_domain.rb
+- specs/constraints/bool_enum_relation.rb
 - specs/constraints/distinct.rb
+- specs/constraints/set_operation.rb
+- specs/constraints/element.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/arithmetic.rb
+- specs/constraints/constraints.rb
 - specs/constraints/count.rb
+- specs/constraints/cardinality.rb
 - specs/constraints/set_relation.rb
-- specs/constraints/element.rb
-- specs/constraints/arithmetic.rb
-- specs/constraints/reification_sugar.rb
+- specs/constraints/extensional.rb
 - specs/constraints/equality.rb
+- specs/constraints/boolean.rb
+- specs/constraints/int_relation.rb
+- specs/constraints/sort.rb
+- specs/constraints/constraint_helper.rb
+- specs/constraints/int_domain.rb
+- specs/constraints/reification_sugar.rb
+- specs/constraints/selection.rb
 - specs/constraints/connection.rb
-- specs/constraints/cardinality.rb
-- specs/constraints/constraints.rb
 - specs/constraints/linear.rb
-- specs/constraints/set_operation.rb
-- specs/constraints/extensional.rb
-- specs/constraints/bool_enum_relation.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
 - specs/examples.rb
 rdoc_options: 
 - --title
@@ -249,53 +248,55 @@ extra_rdoc_files:
 - README
 - CHANGES
 - LGPL-LICENSE
-- lib/gecoder/interface/constraints/bool_enum/channel.rb
-- lib/gecoder/interface/constraints/bool_enum/extensional.rb
-- lib/gecoder/interface/constraints/bool_enum/relation.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.rb
+- lib/gecoder/bindings.rb
+- lib/gecoder/interface/branch.rb
+- lib/gecoder/interface/enum_matrix.rb
+- lib/gecoder/interface/search.rb
+- lib/gecoder/interface/constraints.rb
+- lib/gecoder/interface/variables.rb
+- lib/gecoder/interface/enum_wrapper.rb
+- lib/gecoder/interface/model.rb
+- lib/gecoder/interface/constraints/set_var_constraints.rb
+- lib/gecoder/interface/constraints/extensional_regexp.rb
+- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/set/channel.rb
+- lib/gecoder/interface/constraints/set/cardinality.rb
+- lib/gecoder/interface/constraints/set/operation.rb
+- lib/gecoder/interface/constraints/set/connection.rb
+- lib/gecoder/interface/constraints/set/domain.rb
+- lib/gecoder/interface/constraints/set/relation.rb
+- lib/gecoder/interface/constraints/int/channel.rb
 - lib/gecoder/interface/constraints/int/arithmetic.rb
 - lib/gecoder/interface/constraints/int/linear.rb
-- lib/gecoder/interface/constraints/int/channel.rb
+- lib/gecoder/interface/constraints/int/domain.rb
+- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool/channel.rb
 - lib/gecoder/interface/constraints/bool/boolean.rb
 - lib/gecoder/interface/constraints/bool/linear.rb
-- lib/gecoder/interface/constraints/bool/channel.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/distinct.rb
 - lib/gecoder/interface/constraints/int_enum/element.rb
+- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
+- lib/gecoder/interface/constraints/int_enum/count.rb
 - lib/gecoder/interface/constraints/int_enum/extensional.rb
-- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/int_enum/equality.rb
+- lib/gecoder/interface/constraints/int_enum/sort.rb
+- lib/gecoder/interface/constraints/bool_var_constraints.rb
 - lib/gecoder/interface/constraints/bool_enum_constraints.rb
-- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool_enum/channel.rb
+- lib/gecoder/interface/constraints/bool_enum/extensional.rb
+- lib/gecoder/interface/constraints/bool_enum/relation.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/constraints/set_enum/channel.rb
+- lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/operation.rb
+- lib/gecoder/interface/constraints/set_enum/selection.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
+- lib/gecoder/interface.rb
+- lib/gecoder/bindings/bindings.rb
 executables: []
 
 extensions: 

data/example/raw_bindings.rb

@@ -1,44 +0,0 @@
-require File.dirname(__FILE__) + '/example_helper'
-
-# An example of using the raw bindings. Solves the send+more=money problem.
-
-# Variables
-space = Gecode::Raw::Space.new
-letters = Gecode::Raw::IntVarArray.new(space, 8, 0, 9)
-space.own(letters, 'letters')
-s, e, n, d, m, o, r, y = (0..7).to_a.map{ |i| letters.at(i) }
-
-# Constraints
-Gecode::Raw::post(space, (s * 1000 + e * 100 + n * 10  + d   + 
-                     m * 1000 + o * 100 + r * 10  + e).
-            equal(m * 10000 + o * 1000 + n * 100 + e * 10  + y ), 
-            Gecode::Raw::ICL_DEF, Gecode::Raw::PK_DEF)
-Gecode::Raw::rel(space, s, Gecode::Raw::IRT_NQ, 0, Gecode::Raw::ICL_DEF, 
-  Gecode::Raw::PK_DEF)
-Gecode::Raw::rel(space, m, Gecode::Raw::IRT_NQ, 0, Gecode::Raw::ICL_DEF, 
-  Gecode::Raw::PK_DEF)
-Gecode::Raw::distinct(space, letters, Gecode::Raw::ICL_DEF, Gecode::Raw::PK_DEF)
-
-# Branching.
-Gecode::Raw::branch(space, letters, 
-  Gecode::Raw::INT_VAR_SIZE_MIN, Gecode::Raw::INT_VAL_MIN)
-
-# Search
-COPY_DIST = 16
-ADAPTATION_DIST = 4 
-dfs = Gecode::Raw::DFS.new(space, COPY_DIST, ADAPTATION_DIST, 
-  Gecode::Raw::Search::Stop.new)
-
-space = dfs.next
-if space.nil?
-  puts 'Failed'
-else
-  puts 'Solution:'
-  correct_letters = space.intVarArray('letters')
-  arr = []
-  correct_letters.size.times do |i|
-    arr << correct_letters.at(i).val
-  end
-  puts arr.join(' ')
-end
-