Fixed bugs in convertxor_cost:1. Assigning back edges from parent nodes and 2. Correct removal of edges from child to copy node
Fixed bugs in convertxor_cost:1. Assigning back edges from parent nodes and 2. Correct removal of edges from child to copy node
eclay42/cs220-galois-aig-rewriting,eclay42/cs220-galois-aig-rewriting