title: Can I specify the order in which the possible values are tried for a variable?
body: <p>I'm performing clustering on Minizinc on huge dataset but my computational time is huge and I'm trying to reduce it.
  To do so, I would like to specify the order in which the possible values are tried for a variable.</p>
  <p>For example, a variable <code>v</code> as a domain <code>1..5</code>, but I know that 4 is more likely than 3, 3 is more likely than 2, ect.
  In this case, is there a way for me to say that I want 4 to be tried first, then 3, then 2, etc.?</p>