2 bit hot encoding using SV constraints

In reply to dave_59:

Hi Dave, any method other than $countones.