minizinc是否有任何语法来指定变量值选择的分布。例如。
var 0..100: X ;
我想指定X在90％的时间内取值范围0..50，并在10％的时间内取值51..100。语法
int_search( [X], first_fail, **indomain_random**, complete ) satisfy;
指定X可以以相同的概率获得0..100中的任何值。
答案 0 :(得分：0)
MiniZinc没有任何语法来陈述这样的随机分布。
一种方法可能是更改FlatZinc解算器，使其在＆＃34; indomain_random＆＃34;用来。虽然这要求您可以访问FlatZinc解算器的来源。
那就是说，你想要这个发行版的用例究竟是什么？