文章目录 权重分布soft随机化的先后顺序 权重分布 dist可以在约束中产生随机数值的权重分布 := 表示值范围内的每个值权重一样 (: /) 表示权重平均分到值范围内的每一个值 soft soft关键字用于软约束。软约束是指参数在编译时可以有一个默认值,但在运行时可以通过实例化或命令行选项进行修改 随机化的先后顺序 添加下面这条语句,可以在随机化burst后再随机number constraint cstr{ slove burst before number; if (burst == 1) number == 1 }