Setting constraint

[jaswanth_b]

Hi,

How to write a constraint for a variable ‘a’ which can take only values of powers of two.

Thanks

[svats]

Following Constraint would work:
constraint pow_2{$countones(a) == 1;}

Thanks