def testMaximization(self):
model = NativeModel()
var1, var2 = (Variable(0,4) for x in range(0,2))
var3 = Variable(0,10)
model << (var1 + var2 == var3)
solver = Solver(model)
assert( solver.maximise(var3) )
def testMaximization(self):
model = NativeModel()
var1, var2 = (Variable(0, 4) for x in range(0, 2))
var3 = Variable(0, 10)
model << (var1 + var2 == var3)
solver = Solver(model)
assert (solver.maximise(var3))
