gecoder 0.6.0 → 0.6.1

data/specs/constraints/constraints.rb

@@ -33,7 +33,7 @@ describe Gecode::Constraints::Int::CompositeStub, ' (not subclassed)' do
 
   it 'should raise error when calling #constrain_equal' do
     lambda do 
-      @con.instance_eval{ constrain_equal(nil, {}) }
+      @con.instance_eval{ constrain_equal(nil, {}, false) }
     end.should raise_error(NoMethodError)
   end
 end
@@ -60,7 +60,7 @@ describe Gecode::Constraints::CompositeExpression do
   it 'should raise error if a method doesn\'t exist' do
     expression = Gecode::Constraints::CompositeExpression.new(
       Gecode::Constraints::Int::Expression, Gecode::FreeIntVar, 
-      Gecode::Model.new, {:lhs => nil, :negate => false}){}
+      lambda{ }, Gecode::Model.new, {:lhs => nil, :negate => false}){}
     lambda do
       expression.this_method_does_not_exist
     end.should raise_error(NoMethodError)

data/specs/constraints/count.rb

@@ -24,8 +24,8 @@ describe Gecode::Constraints::IntEnum::Count do
     # Creates an expectation corresponding to the specified input.
     @expect = lambda do |element, relation, target, strength, reif_var|
       @model.allow_space_access do
-        target = target.bind if target.respond_to? :bind
-        element = element.bind if element.respond_to? :bind
+        target = an_instance_of(Gecode::Raw::IntVar) if target.respond_to? :bind
+        element = an_instance_of(Gecode::Raw::IntVar) if element.respond_to? :bind
         if reif_var.nil?
           Gecode::Raw.should_receive(:count).once.with(
             an_instance_of(Gecode::Raw::Space), 
@@ -40,7 +40,7 @@ describe Gecode::Constraints::IntEnum::Count do
           Gecode::Raw.should_receive(:rel).once.with(
             an_instance_of(Gecode::Raw::Space), 
             an_instance_of(Gecode::Raw::IntVar), relation,
-            target, reif_var.bind, strength)
+            target, an_instance_of(Gecode::Raw::BoolVar), strength)
         end
       end
     end

data/specs/constraints/element.rb

@@ -10,9 +10,9 @@ class ElementSampleProblem < Gecode::Model
   def initialize
     prices = [17, 63, 45, 63]
     @fixnum_prices = wrap_enum(prices)
-    @prices = int_var_array(4, *prices)
+    @prices = int_var_array(4, prices)
     @store = int_var(0...prices.size)
-    @price = int_var(*prices)
+    @price = int_var(prices)
     branch_on wrap_enum([@store])
   end
 end
@@ -28,11 +28,11 @@ describe Gecode::Constraints::IntEnum::Element do
     # Creates an expectation corresponding to the specified input.
     @expect = lambda do |element, relation, target, strength, reif_var, negated|
       @model.allow_space_access do
-        target = target.bind if target.respond_to? :bind
-        element = element.bind if element.respond_to? :bind
+        target = an_instance_of(Gecode::Raw::IntVar) if target.respond_to? :bind
+        element = an_instance_of(Gecode::Raw::IntVar) if element.respond_to? :bind
         if reif_var.nil?
           if !negated and relation == Gecode::Raw::IRT_EQ and 
-              target.kind_of? Gecode::Raw::IntVar 
+              !target.kind_of? Fixnum
             Gecode::Raw.should_receive(:element).once.with( 
               an_instance_of(Gecode::Raw::Space), 
               an_instance_of(Gecode::Raw::IntVarArray), 

data/specs/constraints/int_domain.rb

@@ -19,11 +19,13 @@ describe Gecode::Constraints::Int::Domain do
         if reif_var.nil?
           Gecode::Raw.should_receive(:dom).once.with(
             an_instance_of(Gecode::Raw::Space), 
-            @x.bind, an_instance_of(Gecode::Raw::IntSet), strength)
+            an_instance_of(Gecode::Raw::IntVar), 
+            an_instance_of(Gecode::Raw::IntSet), strength)
         else
           Gecode::Raw.should_receive(:dom).once.with(
             an_instance_of(Gecode::Raw::Space), 
-            @x.bind, an_instance_of(Gecode::Raw::IntSet), 
+            an_instance_of(Gecode::Raw::IntVar), 
+            an_instance_of(Gecode::Raw::IntSet), 
             an_instance_of(Gecode::Raw::BoolVar), strength)
         end
       end

data/specs/constraints/set_domain.rb

@@ -18,9 +18,11 @@ describe Gecode::Constraints::Set::Domain do
         if reif_var.nil? and !negated
           Gecode::Raw.should_receive(:dom).once.with(
             an_instance_of(Gecode::Raw::Space), 
-            @set.bind, relation_type, *expect_constant_set(rhs))
+            an_instance_of(Gecode::Raw::SetVar), relation_type, 
+            *expect_constant_set(rhs))
         else
-          params = [@model.active_space, @set.bind, relation_type]
+          params = [an_instance_of(Gecode::Raw::Space), 
+            an_instance_of(Gecode::Raw::SetVar), relation_type]
           params << expect_constant_set(rhs)
           params << an_instance_of(Gecode::Raw::BoolVar)
           Gecode::Raw.should_receive(:dom).once.with(*params.flatten)
@@ -98,9 +100,11 @@ describe Gecode::Constraints::Set::Domain, ' (equality)' do
         if reif_var.nil?
           Gecode::Raw.should_receive(:dom).once.with(
             an_instance_of(Gecode::Raw::Space), 
-            @set.bind, relation_type, *expect_constant_set(rhs))
+            an_instance_of(Gecode::Raw::SetVar), relation_type, 
+            *expect_constant_set(rhs))
         else
-          params = [@model.active_space, @set.bind, relation_type]
+          params = [an_instance_of(Gecode::Raw::Space), 
+            an_instance_of(Gecode::Raw::SetVar), relation_type]
           params << expect_constant_set(rhs)
           params << an_instance_of(Gecode::Raw::BoolVar)
           Gecode::Raw.should_receive(:dom).once.with(*params.flatten)

data/specs/constraints/set_relation.rb

@@ -14,11 +14,13 @@ describe Gecode::Constraints::Set::Relation do
         if reif_var.nil? and !negated
           Gecode::Raw.should_receive(:rel).once.with(
             an_instance_of(Gecode::Raw::Space), 
-            @set.bind, relation_type, @set2.bind)
+            an_instance_of(Gecode::Raw::SetVar), relation_type, 
+            an_instance_of(Gecode::Raw::SetVar))
         else
           Gecode::Raw.should_receive(:rel).once.with(
             an_instance_of(Gecode::Raw::Space), 
-            @set.bind, relation_type, @set2.bind, 
+            an_instance_of(Gecode::Raw::SetVar), relation_type, 
+            an_instance_of(Gecode::Raw::SetVar), 
             an_instance_of(Gecode::Raw::BoolVar))
         end
       end
@@ -65,11 +67,13 @@ describe Gecode::Constraints::Set::Relation, ' (equality)' do
         if reif_var.nil?
           Gecode::Raw.should_receive(:rel).once.with(
             an_instance_of(Gecode::Raw::Space), 
-            @set.bind, relation_type, @set2.bind)
+            an_instance_of(Gecode::Raw::SetVar), relation_type, 
+            an_instance_of(Gecode::Raw::SetVar))
         else
           Gecode::Raw.should_receive(:rel).once.with(
             an_instance_of(Gecode::Raw::Space), 
-            @set.bind, relation_type, @set2.bind, 
+            an_instance_of(Gecode::Raw::SetVar), relation_type, 
+            an_instance_of(Gecode::Raw::SetVar), 
             an_instance_of(Gecode::Raw::BoolVar))
         end
       end
@@ -134,7 +138,8 @@ describe Gecode::Constraints::Set::Relation, ' (elements)' do
         rhs = rhs.bind if rhs.respond_to? :bind
         Gecode::Raw.should_receive(:rel).once.with(
           an_instance_of(Gecode::Raw::Space), 
-          @set.bind, relation_type, rhs)
+          an_instance_of(Gecode::Raw::SetVar), relation_type, 
+          an_instance_of(Gecode::Raw::IntVar))
       end
     end
     

data/specs/int_var.rb

@@ -75,7 +75,7 @@ describe Gecode::FreeIntVar, ' (with non-range domain of size > 1)' do
   before do
     @domain = [-3, -2, -1, 1]
     model = Gecode::Model.new
-    @var = model.int_var(*@domain)
+    @var = model.int_var(@domain)
   end
 
   it_should_behave_like 'non-empty int variable'
@@ -113,7 +113,7 @@ end
 
 describe Gecode::FreeIntVar, ' (assigned)' do
   before do
-    @domain = [1]
+    @domain = 1
     model = Gecode::Model.new
     @var = model.int_var(*@domain)
   end
@@ -131,7 +131,7 @@ describe Gecode::FreeIntVar, ' (not assigned)' do
   before do
     @domain = 1..2
     model = Gecode::Model.new
-    @var = model.int_var(*@domain)
+    @var = model.int_var(@domain)
   end
 
   it 'should not be assigned' do

data/specs/model.rb

@@ -10,10 +10,16 @@ describe Gecode::Model, ' (integer creation)' do
     @model.int_var(range).should have_domain(range)
   end
   
-  # This currently fails, see specs/int_var for an explanation.
+  it 'should allow the creation of int variables without specified domain' do
+    var = @model.int_var
+    var.should be_range
+    var.min.should == Gecode::Raw::Limits::Int::INT_MIN
+    var.max.should == Gecode::Raw::Limits::Int::INT_MAX
+  end
+
   it 'should allow the creation of int variables with non-range domains' do
     domain = [1, 3, 5]
-    @model.int_var(*domain).should have_domain(domain)
+    @model.int_var(domain).should have_domain(domain)
   end
   
   it 'should allow the creation of int variables with single element domains' do
@@ -21,11 +27,6 @@ describe Gecode::Model, ' (integer creation)' do
     @model.int_var(domain).should have_domain([domain])
   end
   
-  it 'should not accept empty domains' do
-    lambda{ @model.int_var }.should raise_error(ArgumentError)
-    lambda{ @model.int_var_array(1) }.should raise_error(ArgumentError)
-  end
-  
   it 'should allow the creation of int-var arrays with range domains' do
     range = 0..3
     count = 5
@@ -37,7 +38,7 @@ describe Gecode::Model, ' (integer creation)' do
   it 'should allow the creation of int-var arrays with non-range domains' do
     domain = [1,3,5]
     count = 5
-    vars = @model.int_var_array(count, *domain)
+    vars = @model.int_var_array(count, domain)
     vars.size.should equal(count)
     vars.each{ |var| var.should have_domain(domain) }
   end
@@ -56,7 +57,7 @@ describe Gecode::Model, ' (integer creation)' do
     domain = [1,3,5]
     rows = 5
     columns = 4
-    vars = @model.int_var_matrix(rows, columns, *domain)
+    vars = @model.int_var_matrix(rows, columns, domain)
     vars.row_size.should equal(rows)
     vars.column_size.should equal(columns)
     vars.each{ |var| var.should have_domain(domain) }

data/specs/search.rb

@@ -33,6 +33,26 @@ class SampleOptimizationProblem < Gecode::Model
   end
 end
 
+class SampleOptimizationProblem2 < Gecode::Model
+  attr :money
+  
+  def initialize
+    @money = int_var_array(3, 0..9)
+    @money.must_be.distinct
+    @money.to_number.must < 500 # Otherwise it takes some time.
+    
+    branch_on @money, :variable => :smallest_size, :value => :min
+  end
+end
+
+class Array
+  # Computes a number of the specified base using the array's elements as 
+  # digits.
+  def to_number(base = 10)
+    inject{ |result, variable| variable + result * base }
+  end
+end
+
 describe Gecode::Model, ' (with multiple solutions)' do
   before do
     @domain = 0..3
@@ -175,12 +195,8 @@ describe Gecode::Model, ' (without constraints)' do
 end
 
 describe Gecode::Model, '(optimization search)' do
-  before do
-    @model = SampleOptimizationProblem.new
-  end
-  
   it 'should optimize the solution' do
-    solution = @model.optimize! do |model, best_so_far|
+    solution = SampleOptimizationProblem.new.optimize! do |model, best_so_far|
       model.z.must > best_so_far.z.value
     end
     solution.should_not be_nil
@@ -189,9 +205,42 @@ describe Gecode::Model, '(optimization search)' do
     solution.z.value.should == 25
   end
   
+  it 'should not be bothered by garbage collecting' do
+    # This goes through 400+ spaces.
+    solution = SampleOptimizationProblem2.new.optimize! do |model, best_so_far|
+      model.money.to_number.must > best_so_far.money.values.to_number
+    end
+    solution.should_not be_nil
+    solution.money.values.to_number.should == 498
+  end
+  
   it 'should raise error if no constrain proc has been defined' do
     lambda do 
       Gecode::Model.constrain(nil, nil) 
     end.should raise_error(NotImplementedError)
   end
+  
+  it 'should not have problems with variables being created in the optimization block' do
+    solution = SampleOptimizationProblem.new.optimize! do |model, best_so_far|
+      tmp = model.int_var(0..25)
+      tmp.must == model.z
+      tmp.must > best_so_far.z.value
+    end
+    solution.should_not be_nil
+    solution.x.value.should == 5
+    solution.y.value.should == 5
+    solution.z.value.should == 25
+  end
+
+  it 'should not have problems with variables being created in the optimization block (2)' do
+    solution = SampleOptimizationProblem.new.optimize! do |model, best_so_far|
+      tmp = model.int_var(0..25)
+      tmp.must == model.z
+      (tmp + tmp).must > best_so_far.z.value*2
+    end
+    solution.should_not be_nil
+    solution.x.value.should == 5
+    solution.y.value.should == 5
+    solution.z.value.should == 25
+  end
 end

data/specs/spec_helper.rb

@@ -1,3 +1,5 @@
+require 'rubygems'
+require 'spec'
 require File.dirname(__FILE__) + '/../lib/gecoder'
 
 module CustomVarMatchers

data/tasks/distribution.rake

@@ -15,6 +15,11 @@ spec = Gem::Specification.new do |s|
   s.name = PKG_NAME
   s.version = GecodeR::VERSION
   s.summary = 'Ruby interface to Gecode, an environment for constraint programming.'
+  s.description = <<-end_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.
+  end_description
 
   s.files = FileList[
     '[A-Z]*',
@@ -28,14 +33,16 @@ spec = Gem::Specification.new do |s|
   ].to_a
   s.require_path = 'lib'
   s.extensions << 'ext/extconf.rb'
+  s.requirements << 'Gecode 1.3.1'
 
   s.has_rdoc = true
   s.rdoc_options = rd.options
   s.extra_rdoc_files = rd.rdoc_files
+  s.test_files = FileList['specs/**/*.rb']
 
   s.autorequire = 'gecoder'
   s.author = ["Gecode/R Development Team"]
-  s.email = "gecoder-devel@rubyforge.org"
+  s.email = "gecoder-users@rubyforge.org"
   s.homepage = "http://gecoder.rubyforge.org"
   s.rubyforge_project = "gecoder"
 end

data/tasks/specs.rake

@@ -4,7 +4,6 @@ spec_files = FileList['specs/**/*.rb']
 
 desc 'Run all specs'
 Spec::Rake::SpecTask.new('specs') do |t|
-  t.spec_opts = ["--format", "specdoc"]
   t.libs = ['lib']
   t.spec_files = spec_files
 end

data/vendor/rust/rust/class.rb

@@ -28,8 +28,9 @@ require 'rust/type'
 module Rust
   class Class < Container
     attr_accessor :bindname
+    attr_accessor :function_mark
     attr_reader :name, :cname
-    attr_reader :varname, :varcname, :ptrmap, :function_free, :parent_varname
+    attr_reader :varname, :varcname, :ptrmap, :function_free, :function_map_free, :parent_varname
 
     # Rust::Namespace object for the class, used to get the proper C++
     # name.
@@ -52,6 +53,8 @@ module Rust
       
       @ptrmap = "#{type.valid_name}Map"
       @function_free = "#{varname}_free"
+      @function_map_free = "#{varname}_free_map_entry"
+      @function_mark = "#{varname}_mark"
 
       @cname = @namespace.cname ? "#{@namespace.cname}::#{@name}" : @name
       
@@ -69,6 +72,8 @@ module Rust
       add_expansion 'bind_name', '@bindname'
       add_expansion 'class_ptrmap', 'ptrmap'
       add_expansion 'class_free_function', '@function_free'
+      add_expansion 'class_map_free_function', '@function_map_free'
+      add_expansion 'class_mark_function', '@function_mark'
       add_expansion 'parent_varname', '@parent_varname'
     end
 

data/vendor/rust/rust/templates/CxxClassDefinitions.rusttpl

@@ -69,11 +69,11 @@ VALUE cxx2ruby(!c_class_name!* instance, bool free) {
       VALUE rval;
       if( !free )
       {
-        rval = Data_Wrap_Struct(klass, 0, 0, (void*)instance);
+        rval = Data_Wrap_Struct(klass, 0, !class_map_free_function!, (void*)instance);
       }
       else
       {
-        rval = Data_Wrap_Struct(klass, 0, !class_free_function!, (void*)instance);
+        rval = Data_Wrap_Struct(klass, !class_mark_function!, !class_free_function!, (void*)instance);
       }
       
       !class_ptrmap![rval] = instance;
@@ -87,5 +87,5 @@ VALUE cxx2ruby(!c_class_name!* instance, bool free) {
 }
 
 static VALUE !class_varname!_alloc(VALUE self) {
-   return Data_Wrap_Struct(self, 0, !class_free_function!, 0);
+   return Data_Wrap_Struct(self, !class_mark_function!, !class_free_function!, 0);
 }

data/vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl

@@ -3,10 +3,24 @@
 T!class_ptrmap! !class_ptrmap!;
 
 static void !class_varname!_free(void *p) {
+	!class_map_free_function!(p);
+  delete (!c_class_name!*)p;
+}
+
+static void !class_varname!_free_map_entry(void *p) {
+#ifdef DEBUG      
+  fprintf(stderr, "rust: Freeing %p (!class_varname!) \\n", p);
+#endif
+
   T!class_ptrmap!::iterator it, eend = !class_ptrmap!.end();
   for(it = !class_ptrmap!.begin(); it != eend; it++)
      if ( (*it).second == (!c_class_name!*)p ) {
         !class_ptrmap!.erase(it); break;
      }
-  delete (!c_class_name!*)p;
+}
+
+static void !class_varname!_mark(void *p) {
+#ifdef DEBUG      
+  fprintf(stderr, "rust: Marking %p (!class_varname!) \\n", p);
+#endif
 }

data/vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl

@@ -3,3 +3,5 @@
 typedef std::map<VALUE, !c_class_name!*> T!class_ptrmap!;
 extern T!class_ptrmap! !class_ptrmap!;
 static void !class_varname!_free(void *p);
+static void !class_varname!_mark(void *p);
+static void !class_varname!_free_map_entry(void *p);

metadata

@@ -1,17 +1,17 @@
 --- !ruby/object:Gem::Specification 
-rubygems_version: 0.9.0
+rubygems_version: 0.9.4
 specification_version: 1
 name: gecoder
 version: !ruby/object:Gem::Version 
-  version: 0.6.0
-date: 2007-07-18 00:00:00 +02:00
+  version: 0.6.1
+date: 2007-07-23 00:00:00 +02:00
 summary: Ruby interface to Gecode, an environment for constraint programming.
 require_paths: 
 - lib
-email: gecoder-devel@rubyforge.org
+email: gecoder-users@rubyforge.org
 homepage: http://gecoder.rubyforge.org
 rubyforge_project: gecoder
-description: 
+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
@@ -51,8 +51,8 @@ files:
 - lib/gecoder/interface/constraints/int_var_constraints.rb
 - lib/gecoder/interface/constraints/int_enum_constraints.rb
 - lib/gecoder/interface/constraints/bool_enum_constraints.rb
-- lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/bool/boolean.rb
 - lib/gecoder/interface/constraints/int/linear.rb
 - lib/gecoder/interface/constraints/int/domain.rb
@@ -65,12 +65,12 @@ files:
 - lib/gecoder/interface/constraints/int_enum/sort.rb
 - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
 - lib/gecoder/interface/constraints/bool_enum/boolean.rb
-- lib/gecoder/interface/constraints/set/domain.rb
-- lib/gecoder/interface/constraints/set/relation.rb
-- lib/gecoder/interface/constraints/set/connection.rb
-- lib/gecoder/interface/constraints/set/cardinality.rb
 - lib/gecoder/interface/constraints/set_enum/distinct.rb
 - lib/gecoder/interface/constraints/set_enum/channel.rb
+- lib/gecoder/interface/constraints/set/connection.rb
+- lib/gecoder/interface/constraints/set/relation.rb
+- lib/gecoder/interface/constraints/set/cardinality.rb
+- lib/gecoder/interface/constraints/set/domain.rb
 - lib/gecoder/bindings/bindings.rb
 - example/example_helper.rb
 - example/raw_bindings.rb
@@ -78,6 +78,7 @@ files:
 - example/queens.rb
 - example/sudoku.rb
 - example/magic_sequence.rb
+- example/send_most_money.rb
 - vendor/rust
 - vendor/rust/test
 - vendor/rust/include
@@ -160,22 +161,22 @@ files:
 - specs/set_var.rb
 - specs/logging.rb
 - specs/constraints/linear.rb
-- specs/constraints/set_relation.rb
 - specs/constraints/distinct.rb
 - specs/constraints/constraint_helper.rb
 - specs/constraints/constraints.rb
 - specs/constraints/boolean.rb
 - specs/constraints/reification_sugar.rb
+- specs/constraints/bool_enum.rb
 - specs/constraints/equality.rb
 - specs/constraints/channel.rb
 - specs/constraints/element.rb
 - specs/constraints/count.rb
 - specs/constraints/sort.rb
 - specs/constraints/arithmetic.rb
-- specs/constraints/bool_enum.rb
 - specs/constraints/int_domain.rb
 - specs/constraints/set_domain.rb
 - specs/constraints/int_relation.rb
+- specs/constraints/set_relation.rb
 - specs/constraints/connection.rb
 - specs/constraints/cardinality.rb
 - ext/missing.h
@@ -183,8 +184,37 @@ files:
 - ext/vararray.cpp
 - ext/missing.cpp
 - ext/vararray.h
-test_files: []
-
+test_files: 
+- specs/search.rb
+- specs/model.rb
+- specs/branch.rb
+- specs/binding_changes.rb
+- specs/spec_helper.rb
+- specs/enum_wrapper.rb
+- specs/int_var.rb
+- specs/bool_var.rb
+- specs/enum_matrix.rb
+- specs/set_var.rb
+- specs/logging.rb
+- specs/constraints/linear.rb
+- specs/constraints/distinct.rb
+- specs/constraints/constraint_helper.rb
+- specs/constraints/constraints.rb
+- specs/constraints/boolean.rb
+- specs/constraints/reification_sugar.rb
+- specs/constraints/bool_enum.rb
+- specs/constraints/equality.rb
+- specs/constraints/channel.rb
+- specs/constraints/element.rb
+- specs/constraints/count.rb
+- specs/constraints/sort.rb
+- specs/constraints/arithmetic.rb
+- specs/constraints/int_domain.rb
+- specs/constraints/set_domain.rb
+- specs/constraints/int_relation.rb
+- specs/constraints/set_relation.rb
+- specs/constraints/connection.rb
+- specs/constraints/cardinality.rb
 rdoc_options: 
 - --title
 - Gecode/R
@@ -211,8 +241,8 @@ extra_rdoc_files:
 - lib/gecoder/interface/constraints/int_var_constraints.rb
 - lib/gecoder/interface/constraints/int_enum_constraints.rb
 - lib/gecoder/interface/constraints/bool_enum_constraints.rb
-- lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/bool/boolean.rb
 - lib/gecoder/interface/constraints/int/linear.rb
 - lib/gecoder/interface/constraints/int/domain.rb
@@ -225,18 +255,18 @@ extra_rdoc_files:
 - lib/gecoder/interface/constraints/int_enum/sort.rb
 - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
 - lib/gecoder/interface/constraints/bool_enum/boolean.rb
-- lib/gecoder/interface/constraints/set/domain.rb
-- lib/gecoder/interface/constraints/set/relation.rb
-- lib/gecoder/interface/constraints/set/connection.rb
-- lib/gecoder/interface/constraints/set/cardinality.rb
 - lib/gecoder/interface/constraints/set_enum/distinct.rb
 - lib/gecoder/interface/constraints/set_enum/channel.rb
+- lib/gecoder/interface/constraints/set/connection.rb
+- lib/gecoder/interface/constraints/set/relation.rb
+- lib/gecoder/interface/constraints/set/cardinality.rb
+- lib/gecoder/interface/constraints/set/domain.rb
 - lib/gecoder/bindings/bindings.rb
 executables: []
 
 extensions: 
 - ext/extconf.rb
-requirements: []
-
+requirements: 
+- Gecode 1.3.1
 dependencies: []