example/equation_system.rb in gecoder-0.9.0 vs example/equation_system.rb in gecoder-0.9.1
- old
+ new
@@ -1,7 +1,9 @@
require File.dirname(__FILE__) + '/example_helper'
-class EquationProblem < Gecode::Model
+class EquationProblem
+ include Gecode::Mixin
+
def initialize
x, y, z = vars_is_an int_var_array(3, 0..9)
(x + y).must == z
x.must == y - 3