if you run
from docplex.mp.model import Model
mdl = Model(name='buses')
nbbus40 = mdl.integer_var(name='nbBus40')
nbbus30 = mdl.integer_var(name='nbBus30')
mdl.add_constraint(nbbus40*40 + nbbus30*30 >= 300, 'kids')
mdl.minimize(nbbus40*500 + nbbus30*400)
mdl.solve(log_output=True,)
from the zoo example you ll see the cplex version
Example:
Version identifier: 12.10.0.0 | 2019-11-26 | 843d4de2ae
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…