minizinc语法，用于指定值选择的随机分布

Question

minizinc是否有任何语法来指定变量值选择的分布。例如。

var 0..100: X ; 

我想指定X在90％的时间内取值范围0..50，并在10％的时间内取值51..100。语法

int_search( [X], first_fail, **indomain_random**, complete ) satisfy;

指定X可以以相同的概率获得0..100中的任何值。

Answer 1

MiniZinc没有任何语法来陈述这样的随机分布。

一种方法可能是更改FlatZinc解算器，使其在＆＃34; indomain_random＆＃34;用来。虽然这要求您可以访问FlatZinc解算器的来源。

那就是说，你想要这个发行版的用例究竟是什么？