changed data structure from array to vector, removed unnecessary variable
changed data structure from array to vector, removed unnecessary variable
eclay42/cs220-galois-aig-rewriting,eclay42/cs220-galois-aig-rewriting