2b63f58c92b9f4f77447433798808407891ee871
-rw-r--r-- 3069 Bit.java
-rw-r--r-- 11216 BitVector.java
-rw-r--r-- 1746 BitVectorFormatter.java
-rw-r--r-- 2251 LogicType.java
-rw-r--r-- 334 MutationOperation.java
-rw-r--r-- 421 StrictLogicType.java