constraint-programming - minizinc 语法指定值选择的随机分布

Question

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

var 0..100: X ; 

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

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

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

Answer 1

MiniZinc 没有任何语法来说明这种随机分布。

一种方法可能是更改 FlatZinc 求解器，以便在使用“indomain_random”时以这种方式运行。虽然这要求您可以访问 FlatZinc 求解器的源代码。

也就是说，您想要这个发行版的用例到底是什么？