netlist conversion: track equivalent nodes#1604

kroening merged 1 commit into

maindiffblue/hw-cbmc:mainfrom

aig-plus-equivalencesdiffblue/hw-cbmc:aig-plus-equivalencesCopy head branch name to clipboard