1ea635e716a585d8f754e794cb8da6495c31e760
-rw-r--r-- 2730 Bit.java
-rw-r--r-- 7060 BitVector.java
-rw-r--r-- 1725 BitVectorFormatter.java
-rw-r--r-- 2251 LogicType.java
-rw-r--r-- 334 MutationOperation.java
-rw-r--r-- 421 StrictLogicType.java