nekomata_saren@tg says to YSITD
from constriants import * p = Problem p.addVariables('abcdefg', range(6)) p.addConstriant(lambda *args, sum(args) == 11) print(len(p.getSolutions()))