def stol_shkaf():
from z3 import Optimize
S = Optimize()
t, k, P = Reals("t, k, P")
Eq = [
t >= 0, k >= 0,
t * 1.2 + k * 1.5 <= 371.4 ,
t * 0.2 + k * 0.1 <= 40,
t * 0.1 + k * 0.3 <= 60,
P == t * 6 + k * 8,
]
S.add( Eq )
S.maximize( P )
S.check()
print (S.model())
[t, = 102, k, = 166, P = 1940]
Регистрирани потребители: Google Adsense [Bot], Google [Bot]