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)