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))