Is there any Distribution Constraint sv equivalent in boolector?

[gsingla21]

As there is a dist contraint in SystemVerilog, is there a function equivalent to that in boolector?
Or let say a variable z equal to a||b||c, is there a way to set the probability each of a,b,c (e:g. prob of z=a is 0.1, z=b is 0.5 and prob of z=c is 0.4)? Is there any direct API for that?

[mpreiner]

There is no such function supported by Boolector.