Welcome to

BitConstraint

---

10 types of bits. All types require constraints.