kdrag.smt.Consts

kdrag.smt.Consts(names: str, sort: SortRef | FuncRef) → list[ExprRef]

>>> n = Int("n")
>>> xs = Consts("x y z", Lambda([n], n >= 0))
>>> [x.assumes for x in xs]
[x >= 0, y >= 0, z >= 0]

Parameters:

Return type:

list[ExprRef]