bitvectors, copy, experiments, integers, memcpy, memmove, memset, meta-data library, problem fingerprinting, SET, SMT, Theory of Arrays.
