example/magic_sequence.rb in gecoder-0.9.0 vs example/magic_sequence.rb in gecoder-0.9.1

- old
+ new

@@ -1,8 +1,10 @@ require File.dirname(__FILE__) + '/example_helper' # Solves the magic sequence problem. -class MagicSequence < Gecode::Model +class MagicSequence + include Gecode::Mixin + # n is the length of the sequence. def initialize(n) # The i:th variable represents the value of the i:th element in the # sequence. sequence_is_an int_var_array(n, 0...n)