e928d5ce12b3cb798a2009e9b835940107ab3bca
-rw-r--r-- 2730 Bit.java
-rw-r--r-- 6979 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