Version abc90215

1 files changed, 977 insertions, 133 deletions

diff --git a/abclib.dsp b/abclib.dsp
index df244f0f..acdf9bdb 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -32,16 +32,16 @@ RSC=rc.exe
 
 # PROP BASE Use_MFC 0
 # PROP BASE Use_Debug_Libraries 0
-# PROP BASE Output_Dir "abclib___Win32_Release"
-# PROP BASE Intermediate_Dir "abclib___Win32_Release"
+# PROP BASE Output_Dir "ReleaseLib"
+# PROP BASE Intermediate_Dir "ReleaseLib"
 # PROP BASE Target_Dir ""
 # PROP Use_MFC 0
 # PROP Use_Debug_Libraries 0
-# PROP Output_Dir "abclib\ReleaseLib"
-# PROP Intermediate_Dir "abclib\ReleaseLib"
+# PROP Output_Dir "ReleaseLib"
+# PROP Intermediate_Dir "ReleaseLib"
 # PROP Target_Dir ""
 # ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_MBCS" /D "_LIB" /YX /FD /c
-# ADD CPP /nologo /W3 /GX /O2 /I "src/base/abc" /I "src/base/abci" /I "src/base/cmd" /I "src/base/io" /I "src/base/main" /I "src/base/ver" /I "src/bdd/cudd" /I "src/bdd/dsd" /I "src/bdd/epd" /I "src/bdd/mtr" /I "src/bdd/parse" /I "src/bdd/reo" /I "src/bdd/cas" /I "src/map/fpga" /I "src/map/mapper" /I "src/map/mio" /I "src/map/super" /I "src/map/if" /I "src/map/pcm" /I "src/map/ply" /I "src/misc/extra" /I "src/misc/mvc" /I "src/misc/st" /I "src/misc/util" /I "src/misc/espresso" /I "src/misc/nm" /I "src/misc/vec" /I "src/misc/hash" /I "src/opt/cut" /I "src/opt/dec" /I "src/opt/fxu" /I "src/opt/rwr" /I "src/opt/sim" /I "src/opt/ret" /I "src/opt/res" /I "src/opt/lpk" /I "src/sat/bsat" /I "src/sat/csat" /I "src/sat/msat" /I "src/sat/fraig" /I "src/aig/ivy" /I "src/aig/hop" /I "src/aig/rwt" /I "src/aig/deco" /I "src/aig/mem" /I "src/aig/dar" /I "src/aig/fra" /I "src/aig/cnf" /I "src/aig/csw" /I "src/aig/ioa" /I "src/aig/aig" /I "src/aig/kit" /I "src/aig/bdc" /I "src/aig/bar" /D "WIN32" /D "NDEBUG" /D "_MBCS" /D "_LIB" /D "__STDC__" /D "HAVE_ASSERT_H" /FR /YX /FD /c
+# ADD CPP /nologo /W3 /GX /O2 /I "src/base/abc" /I "src/base/abci" /I "src/base/cmd" /I "src/base/io" /I "src/base/main" /I "src/base/ver" /I "src/bdd/cudd" /I "src/bdd/dsd" /I "src/bdd/epd" /I "src/bdd/mtr" /I "src/bdd/parse" /I "src/bdd/reo" /I "src/bdd/cas" /I "src/map/fpga" /I "src/map/mapper" /I "src/map/mio" /I "src/map/super" /I "src/map/if" /I "src/map/pcm" /I "src/map/ply" /I "src/misc/extra" /I "src/misc/mvc" /I "src/misc/st" /I "src/misc/util" /I "src/misc/espresso" /I "src/misc/nm" /I "src/misc/vec" /I "src/misc/hash" /I "src/misc/bzlib" /I "src/misc/zlib" /I "src/opt/cut" /I "src/opt/dec" /I "src/opt/fxu" /I "src/opt/rwr" /I "src/opt/sim" /I "src/opt/ret" /I "src/opt/res" /I "src/opt/lpk" /I "src/sat/bsat" /I "src/sat/csat" /I "src/sat/msat" /I "src/sat/fraig" /I "src/sat/nsat" /I "src/sat/psat" /I "src/aig/ivy" /I "src/aig/hop" /I "src/aig/rwt" /I "src/aig/deco" /I "src/aig/mem" /I "src/aig/dar" /I "src/aig/fra" /I "src/aig/cnf" /I "src/aig/csw" /I "src/aig/ioa" /I "src/aig/aig" /I "src/aig/kit" /I "src/aig/bdc" /I "src/aig/bar" /I "src/aig/ntl" /I "src/aig/nwk" /I "src/aig/tim" /I "src/opt/mfs" /I "src/aig/mfx" /I "src/aig/saig" /I "src/aig/bbr" /I "src/aig/int" /I "src/aig/dch" /I "src/aig/ssw" /I "src/sat/lsat" /I "src/aig/cec" /I "src/aig/cgt" /I "src/aig/sec" /I "src/map/amap" /I "src/aig/fsim" /I "src/aig/gia" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /FR /YX /FD /c
 # ADD BASE RSC /l 0x409 /d "NDEBUG"
 # ADD RSC /l 0x409 /d "NDEBUG"
 BSC32=bscmake.exe
@@ -49,22 +49,22 @@ BSC32=bscmake.exe
 # ADD BSC32 /nologo
 LIB32=link.exe -lib
 # ADD BASE LIB32 /nologo
-# ADD LIB32 /nologo /out:"abclib\abclib_release.lib"
+# ADD LIB32 /nologo /out:"lib\abcr.lib"
 
 !ELSEIF  "$(CFG)" == "abclib - Win32 Debug"
 
 # PROP BASE Use_MFC 0
 # PROP BASE Use_Debug_Libraries 1
-# PROP BASE Output_Dir "abclib___Win32_Debug"
-# PROP BASE Intermediate_Dir "abclib___Win32_Debug"
+# PROP BASE Output_Dir "DebugLib"
+# PROP BASE Intermediate_Dir "DebugLib"
 # PROP BASE Target_Dir ""
 # PROP Use_MFC 0
 # PROP Use_Debug_Libraries 1
-# PROP Output_Dir "abclib\DebugLib"
-# PROP Intermediate_Dir "abclib\DebugLib"
+# PROP Output_Dir "DebugLib"
+# PROP Intermediate_Dir "DebugLib"
 # PROP Target_Dir ""
 # ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_MBCS" /D "_LIB" /YX /FD /GZ /c
-# ADD CPP /nologo /W3 /Gm /GX /ZI /Od /I "src/base/abc" /I "src/base/abci" /I "src/base/cmd" /I "src/base/io" /I "src/base/main" /I "src/base/ver" /I "src/bdd/cudd" /I "src/bdd/dsd" /I "src/bdd/epd" /I "src/bdd/mtr" /I "src/bdd/parse" /I "src/bdd/reo" /I "src/bdd/cas" /I "src/map/fpga" /I "src/map/mapper" /I "src/map/mio" /I "src/map/super" /I "src/map/if" /I "src/map/pcm" /I "src/map/ply" /I "src/misc/extra" /I "src/misc/mvc" /I "src/misc/st" /I "src/misc/util" /I "src/misc/espresso" /I "src/misc/nm" /I "src/misc/vec" /I "src/misc/hash" /I "src/opt/cut" /I "src/opt/dec" /I "src/opt/fxu" /I "src/opt/rwr" /I "src/opt/sim" /I "src/opt/ret" /I "src/opt/res" /I "src/opt/lpk" /I "src/sat/bsat" /I "src/sat/csat" /I "src/sat/msat" /I "src/sat/fraig" /I "src/aig/ivy" /I "src/aig/hop" /I "src/aig/rwt" /I "src/aig/deco" /I "src/aig/mem" /I "src/aig/dar" /I "src/aig/fra" /I "src/aig/cnf" /I "src/aig/csw" /I "src/aig/ioa" /I "src/aig/aig" /I "src/aig/kit" /I "src/aig/bdc" /I "src/aig/bar" /D "WIN32" /D "_DEBUG" /D "_MBCS" /D "_LIB" /D "__STDC__" /D "HAVE_ASSERT_H" /FR /YX /FD /GZ /c
+# ADD CPP /nologo /W3 /Gm /GX /ZI /Od /I "src/base/abc" /I "src/base/abci" /I "src/base/cmd" /I "src/base/io" /I "src/base/main" /I "src/base/ver" /I "src/bdd/cudd" /I "src/bdd/dsd" /I "src/bdd/epd" /I "src/bdd/mtr" /I "src/bdd/parse" /I "src/bdd/reo" /I "src/bdd/cas" /I "src/map/fpga" /I "src/map/mapper" /I "src/map/mio" /I "src/map/super" /I "src/map/if" /I "src/map/pcm" /I "src/map/ply" /I "src/misc/extra" /I "src/misc/mvc" /I "src/misc/st" /I "src/misc/util" /I "src/misc/espresso" /I "src/misc/nm" /I "src/misc/vec" /I "src/misc/hash" /I "src/misc/bzlib" /I "src/misc/zlib" /I "src/opt/cut" /I "src/opt/dec" /I "src/opt/fxu" /I "src/opt/rwr" /I "src/opt/sim" /I "src/opt/ret" /I "src/opt/res" /I "src/opt/lpk" /I "src/sat/bsat" /I "src/sat/csat" /I "src/sat/msat" /I "src/sat/fraig" /I "src/sat/nsat" /I "src/sat/psat" /I "src/aig/ivy" /I "src/aig/hop" /I "src/aig/rwt" /I "src/aig/deco" /I "src/aig/mem" /I "src/aig/dar" /I "src/aig/fra" /I "src/aig/cnf" /I "src/aig/csw" /I "src/aig/ioa" /I "src/aig/aig" /I "src/aig/kit" /I "src/aig/bdc" /I "src/aig/bar" /I "src/aig/ntl" /I "src/aig/nwk" /I "src/aig/tim" /I "src/opt/mfs" /I "src/aig/mfx" /I "src/aig/saig" /I "src/aig/bbr" /I "src/aig/int" /I "src/aig/dch" /I "src/aig/ssw" /I "src/sat/lsat" /I "src/aig/cec" /I "src/aig/cgt" /I "src/aig/sec" /I "src/map/amap" /I "src/aig/fsim" /I "src/aig/gia" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /FR /YX /FD /GZ /c
 # ADD BASE RSC /l 0x409 /d "_DEBUG"
 # ADD RSC /l 0x409 /d "_DEBUG"
 BSC32=bscmake.exe
@@ -72,7 +72,7 @@ BSC32=bscmake.exe
 # ADD BSC32 /nologo
 LIB32=link.exe -lib
 # ADD BASE LIB32 /nologo
-# ADD LIB32 /nologo /out:"abclib\abclib_debug.lib"
+# ADD LIB32 /nologo /out:"lib\abcd.lib"
 
 !ENDIF 
 
@@ -179,6 +179,10 @@ SOURCE=.\src\base\abci\abc.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcAbc8.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcAttach.c
 # End Source File
 # Begin Source File
@@ -191,6 +195,10 @@ SOURCE=.\src\base\abci\abcBalance.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcBidec.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcBmc.c
 # End Source File
 # Begin Source File
@@ -219,15 +227,15 @@ SOURCE=.\src\base\abci\abcDebug.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\base\abci\abcDress.c
+SOURCE=.\src\base\abci\abcDelay.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\base\abci\abcDsd.c
+SOURCE=.\src\base\abci\abcDress.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\base\abci\abcEspresso.c
+SOURCE=.\src\base\abci\abcDsd.c
 # End Source File
 # Begin Source File
 
@@ -279,6 +287,10 @@ SOURCE=.\src\base\abci\abcMeasure.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcMerge.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcMini.c
 # End Source File
 # Begin Source File
@@ -327,7 +339,7 @@ SOURCE=.\src\base\abci\abcQuant.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\base\abci\abcRec.c
+SOURCE=.\src\base\abci\abcReach.c
 # End Source File
 # Begin Source File
 
@@ -367,6 +379,10 @@ SOURCE=.\src\base\abci\abcSat.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcSense.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcStrash.c
 # End Source File
 # Begin Source File
@@ -443,7 +459,7 @@ SOURCE=.\src\base\io\io.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\base\io\io.h
+SOURCE=.\src\base\io\ioabc.h
 # End Source File
 # Begin Source File
 
@@ -519,6 +535,10 @@ SOURCE=.\src\base\io\ioWriteBlifMv.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\io\ioWriteBook.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\io\ioWriteCnf.c
 # End Source File
 # Begin Source File
@@ -555,10 +575,6 @@ SOURCE=.\src\base\main\libSupport.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\base\main\main.c
-# End Source File
-# Begin Source File
-
 SOURCE=.\src\base\main\main.h
 # End Source File
 # Begin Source File
@@ -975,6 +991,10 @@ SOURCE=.\src\bdd\reo\reoProfile.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\bdd\reo\reoShuffle.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\bdd\reo\reoSift.c
 # End Source File
 # Begin Source File
@@ -1163,6 +1183,18 @@ SOURCE=.\src\sat\bsat\satInter.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\sat\bsat\satInterA.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\sat\bsat\satInterB.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\sat\bsat\satInterP.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\sat\bsat\satMem.c
 # End Source File
 # Begin Source File
@@ -1210,6 +1242,30 @@ SOURCE=.\src\sat\proof\pr.c
 SOURCE=.\src\sat\proof\pr.h
 # End Source File
 # End Group
+# Begin Group "psat"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\sat\psat\m114p.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\sat\psat\m114p_types.h
+# End Source File
+# End Group
+# Begin Group "nsat"
+
+# PROP Default_Filter ""
+# End Group
+# Begin Group "lsat"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\sat\lsat\solver.h
+# End Source File
+# End Group
 # End Group
 # Begin Group "opt"
 
@@ -1578,6 +1634,54 @@ SOURCE=.\src\opt\lpk\lpkMux.c
 SOURCE=.\src\opt\lpk\lpkSets.c
 # End Source File
 # End Group
+# Begin Group "fret"
+
+# PROP Default_Filter ""
+# End Group
+# Begin Group "mfs"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\mfs\mfs.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\mfs\mfsCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\mfs\mfsDiv.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\mfs\mfsInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\mfs\mfsInter.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\mfs\mfsMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\mfs\mfsResub.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\mfs\mfsSat.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\mfs\mfsStrash.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\mfs\mfsWin.c
+# End Source File
+# End Group
 # End Group
 # Begin Group "map"
 
@@ -1807,19 +1911,19 @@ SOURCE=.\src\map\if\ifCut.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\map\if\ifMan.c
+SOURCE=.\src\map\if\ifLib.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\map\if\ifMap.c
+SOURCE=.\src\map\if\ifMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\map\if\ifReduce.c
+SOURCE=.\src\map\if\ifMap.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\map\if\ifSeq.c
+SOURCE=.\src\map\if\ifReduce.c
 # End Source File
 # Begin Source File
 
@@ -1834,6 +1938,78 @@ SOURCE=.\src\map\if\ifTruth.c
 SOURCE=.\src\map\if\ifUtil.c
 # End Source File
 # End Group
+# Begin Group "ply"
+
+# PROP Default_Filter ""
+# End Group
+# Begin Group "pcm"
+
+# PROP Default_Filter ""
+# End Group
+# Begin Group "amap"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\map\amap\amap.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapGraph.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapLib.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapLiberty.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapMatch.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapMerge.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapOutput.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapParse.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapPerm.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapRead.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapRule.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\amap\amapUniq.c
+# End Source File
+# End Group
 # End Group
 # Begin Group "misc"
 
@@ -1855,6 +2031,10 @@ SOURCE=.\src\misc\extra\extraBddCas.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\extra\extraBddImage.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\extra\extraBddKmap.c
 # End Source File
 # Begin Source File
@@ -1926,14 +2106,6 @@ SOURCE=.\src\misc\st\stmm.c
 SOURCE=.\src\misc\st\stmm.h
 # End Source File
 # End Group
-# Begin Group "util"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\misc\util\util_hack.h
-# End Source File
-# End Group
 # Begin Group "mvc"
 
 # PROP Default_Filter ""
@@ -2038,228 +2210,188 @@ SOURCE=.\src\misc\vec\vecStr.h
 SOURCE=.\src\misc\vec\vecVec.h
 # End Source File
 # End Group
-# Begin Group "espresso"
+# Begin Group "util"
 
 # PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\cofactor.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\espresso\cols.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\espresso\compl.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\espresso\contain.c
+SOURCE=.\src\misc\util\abc_global.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\cubehack.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\espresso\cubestr.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\espresso\cvrin.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\espresso\cvrm.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\espresso\cvrmisc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\espresso\cvrout.c
+SOURCE=.\src\misc\util\util_hack.h
 # End Source File
-# Begin Source File
+# End Group
+# Begin Group "nm"
 
-SOURCE=.\src\misc\espresso\dominate.c
-# End Source File
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\equiv.c
+SOURCE=.\src\misc\nm\nm.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\espresso.c
+SOURCE=.\src\misc\nm\nmApi.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\espresso.h
+SOURCE=.\src\misc\nm\nmInt.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\essen.c
+SOURCE=.\src\misc\nm\nmTable.c
 # End Source File
-# Begin Source File
+# End Group
+# Begin Group "hash"
 
-SOURCE=.\src\misc\espresso\exact.c
-# End Source File
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\expand.c
+SOURCE=.\src\misc\hash\hash.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\gasp.c
+SOURCE=.\src\misc\hash\hashFlt.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\gimpel.c
+SOURCE=.\src\misc\hash\hashInt.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\globals.c
+SOURCE=.\src\misc\hash\hashPtr.h
 # End Source File
-# Begin Source File
+# End Group
+# Begin Group "bzlib"
 
-SOURCE=.\src\misc\espresso\hack.c
-# End Source File
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\indep.c
+SOURCE=.\src\misc\bzlib\blocksort.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\irred.c
+SOURCE=.\src\misc\bzlib\bzlib.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\map.c
+SOURCE=.\src\misc\bzlib\bzlib.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\matrix.c
+SOURCE=.\src\misc\bzlib\bzlib_private.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\mincov.c
+SOURCE=.\src\misc\bzlib\compress.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\mincov.h
+SOURCE=.\src\misc\bzlib\crctable.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\mincov_int.h
+SOURCE=.\src\misc\bzlib\decompress.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\opo.c
+SOURCE=.\src\misc\bzlib\huffman.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\pair.c
+SOURCE=.\src\misc\bzlib\randtable.c
 # End Source File
-# Begin Source File
+# End Group
+# Begin Group "zlib"
 
-SOURCE=.\src\misc\espresso\part.c
-# End Source File
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\primes.c
+SOURCE=.\src\misc\zlib\adler32.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\reduce.c
+SOURCE=.\src\misc\zlib\compress_.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\rows.c
+SOURCE=.\src\misc\zlib\crc32.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\set.c
+SOURCE=.\src\misc\zlib\crc32.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\setc.c
+SOURCE=.\src\misc\zlib\deflate.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\sharp.c
+SOURCE=.\src\misc\zlib\deflate.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\sminterf.c
+SOURCE=.\src\misc\zlib\gzio.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\solution.c
+SOURCE=.\src\misc\zlib\infback.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\sparse.c
+SOURCE=.\src\misc\zlib\inffast.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\sparse.h
+SOURCE=.\src\misc\zlib\inffast.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\sparse_int.h
+SOURCE=.\src\misc\zlib\inffixed.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\unate.c
+SOURCE=.\src\misc\zlib\inflate.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\util_old.h
+SOURCE=.\src\misc\zlib\inflate.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\espresso\verify.c
+SOURCE=.\src\misc\zlib\inftrees.c
 # End Source File
-# End Group
-# Begin Group "nm"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\misc\nm\nm.h
+SOURCE=.\src\misc\zlib\inftrees.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\nm\nmApi.c
+SOURCE=.\src\misc\zlib\trees.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\nm\nmInt.h
+SOURCE=.\src\misc\zlib\trees.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\nm\nmTable.c
+SOURCE=.\src\misc\zlib\uncompr.c
 # End Source File
-# End Group
-# Begin Group "hash"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\misc\hash\hash.h
+SOURCE=.\src\misc\zlib\zconf.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\hash\hashFlt.h
+SOURCE=.\src\misc\zlib\zlib.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\hash\hashInt.h
+SOURCE=.\src\misc\zlib\zutil.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\hash\hashPtr.h
+SOURCE=.\src\misc\zlib\zutil.h
 # End Source File
 # End Group
 # End Group
@@ -2307,6 +2439,10 @@ SOURCE=.\src\aig\hop\hopTable.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\hop\hopTruth.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\hop\hopUtil.c
 # End Source File
 # End Group
@@ -2539,6 +2675,14 @@ SOURCE=.\src\aig\fra\fraClass.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\fra\fraClau.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\fra\fraClaus.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\fra\fraCnf.c
 # End Source File
 # Begin Source File
@@ -2547,6 +2691,10 @@ SOURCE=.\src\aig\fra\fraCore.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\fra\fraHot.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\fra\fraImp.c
 # End Source File
 # Begin Source File
@@ -2555,6 +2703,10 @@ SOURCE=.\src\aig\fra\fraInd.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\fra\fraIndVer.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\fra\fraLcr.c
 # End Source File
 # Begin Source File
@@ -2695,6 +2847,10 @@ SOURCE=.\src\aig\kit\kitIsop.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\kit\kitPla.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\kit\kitSop.c
 # End Source File
 # Begin Source File
@@ -2735,18 +2891,38 @@ SOURCE=.\src\aig\aig\aig.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\aig\aigCanon.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\aig\aigCheck.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\aig\aigCuts.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\aig\aigDfs.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\aig\aigDup.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\aig\aigFanout.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\aig\aigFrames.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\aig\aigInter.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\aig\aigMan.c
 # End Source File
 # Begin Source File
@@ -2775,6 +2951,14 @@ SOURCE=.\src\aig\aig\aigPart.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\aig\aigPartReg.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\aig\aigPartSat.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\aig\aigRepr.c
 # End Source File
 # Begin Source File
@@ -2783,11 +2967,11 @@ SOURCE=.\src\aig\aig\aigRet.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigScl.c
+SOURCE=.\src\aig\aig\aigRetF.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigSeq.c
+SOURCE=.\src\aig\aig\aigScl.c
 # End Source File
 # Begin Source File
 
@@ -2799,10 +2983,6 @@ SOURCE=.\src\aig\aig\aigTable.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigTime.c
-# End Source File
-# Begin Source File
-
 SOURCE=.\src\aig\aig\aigTiming.c
 # End Source File
 # Begin Source File
@@ -2834,6 +3014,670 @@ SOURCE=.\src\aig\bar\bar.c
 SOURCE=.\src\aig\bar\bar.h
 # End Source File
 # End Group
+# Begin Group "ntl"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntl.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlCheck.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlEc.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlExtract.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlFraig.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlInsert.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlMap.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlObj.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlReadBlif.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlSweep.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlTable.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlTime.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlUtil.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ntl\ntlWriteBlif.c
+# End Source File
+# End Group
+# Begin Group "tim"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\tim\tim.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\tim\tim.h
+# End Source File
+# End Group
+# Begin Group "nwk"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwk.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkAig.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkBidec.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkCheck.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkDfs.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkFanio.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkFlow.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkMap.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkMerge.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkMerge.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkObj.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkSpeedup.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkStrash.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkTiming.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\nwk\nwkUtil.c
+# End Source File
+# End Group
+# Begin Group "mfx"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\mfx\mfx.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\mfx\mfxCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\mfx\mfxDiv.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\mfx\mfxInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\mfx\mfxInter.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\mfx\mfxMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\mfx\mfxResub.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\mfx\mfxSat.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\mfx\mfxStrash.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\mfx\mfxWin.c
+# End Source File
+# End Group
+# Begin Group "bbr"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\bbr\bbr.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\bbr\bbrCex.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\bbr\bbrImage.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\bbr\bbrNtbdd.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\bbr\bbrReach.c
+# End Source File
+# End Group
+# Begin Group "saig"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saig.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigAbs.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigBmc.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigBmc2.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigCone.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigDup.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigHaig.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigInd.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigIoa.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigMiter.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigPhase.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigRetFwd.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigRetMin.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigRetStep.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigScl.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigSimExt.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigSimFast.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigSimMv.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigSimSeq.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigStrSim.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigSwitch.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigSynch.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigTrans.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\saig\saigWnd.c
+# End Source File
+# End Group
+# Begin Group "int"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\int\int.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intContain.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intCtrex.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intDup.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intFrames.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intInter.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intM114.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intM114p.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\int\intUtil.c
+# End Source File
+# End Group
+# Begin Group "dch"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dch.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchAig.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchChoice.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchClass.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchCnf.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchSat.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchSim.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchSimSat.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dch\dchSweep.c
+# End Source File
+# End Group
+# Begin Group "ssw"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\ssw.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswAig.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswBmc.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswClass.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswCnf.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswDyn.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswIslands.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswLcorr.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswPairs.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswPart.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswSat.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswSemi.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswSim.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswSimSat.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswSweep.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\ssw\sswUnique.c
+# End Source File
+# End Group
+# Begin Group "cec"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\cec\cec.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cec\cecClass.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cec\cecCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cec\cecInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cec\cecMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cec\cecPat.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cec\cecSolve.c
+# End Source File
+# End Group
+# Begin Group "cgt"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\cgt\cgt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cgt\cgtAig.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cgt\cgtCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cgt\cgtDecide.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cgt\cgtInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cgt\cgtMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\cgt\cgtSat.c
+# End Source File
+# End Group
+# Begin Group "sec"
+
+# PROP Default_Filter ""
+# End Group
+# Begin Group "nal"
+
+# PROP Default_Filter ""
+# End Group
+# Begin Group "fsim"
+
+# PROP Default_Filter ""
+# End Group
+# Begin Group "gia"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\gia\gia.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\gia.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaAig.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaAiger.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaCof.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaDfs.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaDup.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaFanout.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaForce.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaFrames.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaFront.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaGlitch.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaHash.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaLogic.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaScl.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaSim.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaSolver.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaSwitch.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaTsim.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaUtil.c
+# End Source File
+# End Group
 # End Group
 # End Group
 # Begin Group "Header Files"