In reply to szy0014:
That’s correct! But the problem here is, as Srini explained, function call inside constraint will force dependent variables to be solved first and this can generate conflicting conditions.
There won’t be parallelism if functions are used in constraint… So, that restricts the use i guess.
Best way is,
constraint c1{
$countones(numb) == 1;
}