create constraints生成: create; generate; produce约束: keep within bounds; restrain ...条件: condition; term; factor自动生成约束条件: automatic constraint creation约束条件约束条件: invariants下载手机词典可随时随地查词查翻译
