File list (Check if you may need any files):
abc61225
........\abc.dsp
........\abc.dsw
........\abc.ncb
........\abc.rc
........\abc.sln
........\abc.suo
........\abc.vcproj
........\abc1.ncb
........\depends.sh
........\Makefile
........\regtest.script
........\src
........\...\aig
........\...\...\deco
........\...\...\....\deco.h
........\...\...\....\module.make
........\...\...\ec
........\...\...\..\module.make
........\...\...\hop
........\...\...\...\cudd2.c
........\...\...\...\cudd2.h
........\...\...\...\hop.h
........\...\...\...\hopBalance.c
........\...\...\...\hopCheck.c
........\...\...\...\hopDfs.c
........\...\...\...\hopMan.c
........\...\...\...\hopMem.c
........\...\...\...\hopObj.c
........\...\...\...\hopOper.c
........\...\...\...\hopTable.c
........\...\...\...\hopUtil.c
........\...\...\...\hop_.c
........\...\...\...\module.make
........\...\...\ivy
........\...\...\...\attr.h
........\...\...\...\ivy.h
........\...\...\...\ivyBalance.c
........\...\...\...\ivyCanon.c
........\...\...\...\ivyCheck.c
........\...\...\...\ivyCut.c
........\...\...\...\ivyCutTrav.c
........\...\...\...\ivyDfs.c
........\...\...\...\ivyDsd.c
........\...\...\...\ivyFanout.c
........\...\...\...\ivyFastMap.c
........\...\...\...\ivyFraig.c
........\...\...\...\ivyHaig.c
........\...\...\...\ivyMan.c
........\...\...\...\ivyMem.c
........\...\...\...\ivyMulti.c
........\...\...\...\ivyMulti8.c
........\...\...\...\ivyObj.c
........\...\...\...\ivyOper.c
........\...\...\...\ivyResyn.c
........\...\...\...\ivyRwr.c
........\...\...\...\ivyRwrAlg.c
........\...\...\...\ivySeq.c
........\...\...\...\ivyShow.c
........\...\...\...\ivyTable.c
........\...\...\...\ivyUtil.c
........\...\...\...\ivy_.c
........\...\...\...\module.make
........\...\...\mem
........\...\...\...\mem.c
........\...\...\...\mem.h
........\...\...\...\module.make
........\...\...\rwt
........\...\...\...\module.make
........\...\...\...\rwt.h
........\...\...\...\rwtDec.c
........\...\...\...\rwtMan.c
........\...\...\...\rwtUtil.c
........\...\base
........\...\....\abc
........\...\....\abci
........\...\....\....\abc.c
........\...\....\....\abcAttach.c
........\...\....\....\abcAuto.c
........\...\....\....\abcBalance.c
........\...\....\....\abcBmc.c
........\...\....\....\abcClpBdd.c
........\...\....\....\abcClpSop.c
........\...\....\....\abcCut.c
........\...\....\....\abcDebug.c
........\...\....\....\abcDress.c
........\...\....\....\abcDsd.c
........\...\....\....\abcEspresso.c
........\...\....\....\abcExtract.c
........\...\....\....\abcFpga.c
........\...\....\....\abcFpga.c~
........\...\....\....\abcFpgaFast.c
........\...\....\....\abcFpga_backup.c
........\...\....\....\abcFraig.c
........\...\....\....\abcFxu.c
........\...\....\....\abcGen.c
........\...\....\....\abcIf.c
........\...\....\....\abcIvy.c
........\...\....\....\abcLut.c
........\...\....\....\abcMap.c