weighted distribution

In short: The dist keyword in a constraint makes some random values appear more often than others. Two operators set the weights. := gives the stated weight to each value in a range, so a wider range gets more total probability. :/ gives the stated weight to the range as a whole, split evenly across…