Hacker News new | ask | show | jobs
by klyrs 2184 days ago
That "popcnt1" is also known as a 1-hot constraint.

https://en.m.wikipedia.org/wiki/One-hot