Major restructuring of the code.

1 files changed, 610 insertions, 674 deletions

diff --git a/abclib.dsp b/abclib.dsp
index 064206a3..41b1c77d 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -41,7 +41,7 @@ RSC=rc.exe
 # 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 /MD /W3 /GX /O2 /I "src/sat/pdr" /I "src/ext/ext" /I "src/misc/ext" /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/cov" /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" /I "src/aig/bbl" /I "src/aig/llb" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /FR /YX /FD /c
+# ADD CPP /nologo /MD /W3 /GX /O2 /I "C:/_projects/abc_niklas/" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /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
@@ -64,7 +64,7 @@ LIB32=link.exe -lib
 # 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 /MDd /W3 /Gm /GX /ZI /Od /I "src/sat/pdr" /I "src/ext/ext" /I "src/misc/ext" /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/cov" /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" /I "src/aig/bbl" /I "src/aig/llb" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /FR /YX /FD /GZ /c
+# ADD CPP /nologo /MDd /W3 /Gm /GX /ZI /Od /I "C:/_projects/abc_niklas/" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /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
@@ -187,10 +187,6 @@ 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
@@ -1174,70 +1170,6 @@ SOURCE=.\src\sat\msat\msatSort.c
 SOURCE=.\src\sat\msat\msatVec.c
 # End Source File
 # End Group
-# Begin Group "fraig"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraig.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigApi.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigCanon.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigChoice.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigFanout.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigFeed.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigMan.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigMem.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigNode.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigPrime.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigSat.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigTable.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigUtil.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\fraig\fraigVec.c
-# End Source File
-# End Group
 # Begin Group "csat"
 
 # PROP Default_Filter ""
@@ -1362,48 +1294,48 @@ SOURCE=.\src\sat\psat\m114p_types.h
 SOURCE=.\src\sat\lsat\solver.h
 # End Source File
 # End Group
-# Begin Group "pdr"
+# Begin Group "cnf"
 
 # PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\sat\pdr\pdr.h
+SOURCE=.\src\sat\cnf\cnf.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\pdr\pdrClass.c
+SOURCE=.\src\sat\cnf\cnfCore.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\pdr\pdrCnf.c
+SOURCE=.\src\sat\cnf\cnfCut.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\pdr\pdrCore.c
+SOURCE=.\src\sat\cnf\cnfData.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\pdr\pdrInt.h
+SOURCE=.\src\sat\cnf\cnfFast.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\pdr\pdrInv.c
+SOURCE=.\src\sat\cnf\cnfMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\pdr\pdrMan.c
+SOURCE=.\src\sat\cnf\cnfMap.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\pdr\pdrSat.c
+SOURCE=.\src\sat\cnf\cnfPost.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\pdr\pdrTsim.c
+SOURCE=.\src\sat\cnf\cnfUtil.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\pdr\pdrUtil.c
+SOURCE=.\src\sat\cnf\cnfWrite.c
 # End Source File
 # End Group
 # End Group
@@ -1566,34 +1498,6 @@ SOURCE=.\src\opt\cut\cutSeq.c
 SOURCE=.\src\opt\cut\cutTruth.c
 # End Source File
 # End Group
-# Begin Group "dec"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\opt\dec\dec.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\dec\decAbc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\dec\decFactor.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\dec\decMan.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\dec\decPrint.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\dec\decUtil.c
-# End Source File
-# End Group
 # Begin Group "sim"
 
 # PROP Default_Filter ""
@@ -1774,10 +1678,6 @@ 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 ""
@@ -1822,6 +1722,214 @@ SOURCE=.\src\opt\mfs\mfsStrash.c
 SOURCE=.\src\opt\mfs\mfsWin.c
 # End Source File
 # End Group
+# Begin Group "cgt"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\cgt\cgt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\cgt\cgtAig.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\cgt\cgtCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\cgt\cgtDecide.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\cgt\cgtInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\cgt\cgtMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\cgt\cgtSat.c
+# End Source File
+# End Group
+# Begin Group "csw"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\csw\csw.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\csw\cswCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\csw\cswCut.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\csw\cswInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\csw\cswMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\csw\cswTable.c
+# End Source File
+# End Group
+# Begin Group "dar"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\dar\dar.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darBalance.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darCut.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darData.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darLib.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darPrec.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darRefact.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darResub.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dar\darScript.c
+# End Source File
+# End Group
+# Begin Group "rwt"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\rwt\rwt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\rwt\rwtDec.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\rwt\rwtMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\rwt\rwtUtil.c
+# End Source File
+# End Group
+# Begin Group "nwk"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\ntlnwk.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwk.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwk_.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkAig.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkBidec.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkCheck.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkDfs.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkFanio.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkFlow.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkMap.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkMerge.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkMerge.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkObj.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkSpeedup.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkStrash.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkTiming.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\nwk\nwkUtil.c
+# End Source File
+# End Group
 # End Group
 # Begin Group "map"
 
@@ -2227,6 +2335,10 @@ SOURCE=.\src\misc\extra\extra.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\extra\extraBdd.h
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\extra\extraBddAuto.c
 # End Source File
 # Begin Source File
@@ -2399,6 +2511,10 @@ SOURCE=.\src\misc\vec\vecAtt.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\vec\vecBit.h
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\vec\vecFlt.h
 # End Source File
 # Begin Source File
@@ -2467,6 +2583,10 @@ SOURCE=.\src\misc\util\utilSignal.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\util\utilSignal.h
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\util\utilSort.c
 # End Source File
 # End Group
@@ -2658,6 +2778,54 @@ SOURCE=.\src\misc\zlib\zutil.c
 SOURCE=.\src\misc\zlib\zutil.h
 # End Source File
 # End Group
+# Begin Group "bar"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\misc\bar\bar.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\misc\bar\bar.h
+# End Source File
+# End Group
+# Begin Group "bbl"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\misc\bbl\bblif.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\misc\bbl\bblif.h
+# End Source File
+# End Group
+# Begin Group "mem"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\misc\mem\mem.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\misc\mem\mem.h
+# End Source File
+# End Group
+# Begin Group "tim"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\misc\tim\tim.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\misc\tim\tim.h
+# End Source File
+# End Group
 # End Group
 # Begin Group "ai"
 
@@ -2806,46 +2974,6 @@ SOURCE=.\src\aig\ivy\ivyTable.c
 SOURCE=.\src\aig\ivy\ivyUtil.c
 # End Source File
 # End Group
-# Begin Group "rwt"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\aig\rwt\rwt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\rwt\rwtDec.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\rwt\rwtMan.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\rwt\rwtUtil.c
-# End Source File
-# End Group
-# Begin Group "deco"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\aig\deco\deco.h
-# End Source File
-# End Group
-# Begin Group "mem"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\aig\mem\mem.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\mem\mem.h
-# End Source File
-# End Group
 # Begin Group "ioa"
 
 # PROP Default_Filter ""
@@ -2866,892 +2994,728 @@ SOURCE=.\src\aig\ioa\ioaUtil.c
 SOURCE=.\src\aig\ioa\ioaWriteAig.c
 # End Source File
 # End Group
-# Begin Group "dar"
+# Begin Group "aig"
 
 # PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\dar\dar.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\dar\darBalance.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\dar\darCore.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\dar\darCut.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\dar\darData.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\dar\darInt.h
+SOURCE=.\src\aig\aig\aig.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dar\darLib.c
+SOURCE=.\src\aig\aig\aigCanon.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dar\darMan.c
+SOURCE=.\src\aig\aig\aigCheck.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dar\darPrec.c
+SOURCE=.\src\aig\aig\aigCuts.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dar\darRefact.c
+SOURCE=.\src\aig\aig\aigDfs.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dar\darResub.c
+SOURCE=.\src\aig\aig\aigDoms.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dar\darScript.c
+SOURCE=.\src\aig\aig\aigDup.c
 # End Source File
-# End Group
-# Begin Group "fra"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fra.h
+SOURCE=.\src\aig\aig\aigFact.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraBmc.c
+SOURCE=.\src\aig\aig\aigFanout.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraCec.c
+SOURCE=.\src\aig\aig\aigFrames.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraClass.c
+SOURCE=.\src\aig\aig\aigInter.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraClau.c
+SOURCE=.\src\aig\aig\aigJust.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraClaus.c
+SOURCE=.\src\aig\aig\aigMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraCnf.c
+SOURCE=.\src\aig\aig\aigMem.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraCore.c
+SOURCE=.\src\aig\aig\aigMffc.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraHot.c
+SOURCE=.\src\aig\aig\aigObj.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraImp.c
+SOURCE=.\src\aig\aig\aigOper.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraInd.c
+SOURCE=.\src\aig\aig\aigOrder.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraIndVer.c
+SOURCE=.\src\aig\aig\aigPack.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraLcr.c
+SOURCE=.\src\aig\aig\aigPart.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraMan.c
+SOURCE=.\src\aig\aig\aigPartReg.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraPart.c
+SOURCE=.\src\aig\aig\aigPartSat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraSat.c
+SOURCE=.\src\aig\aig\aigRepar.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraSec.c
+SOURCE=.\src\aig\aig\aigRepr.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\fra\fraSim.c
+SOURCE=.\src\aig\aig\aigRet.c
 # End Source File
-# End Group
-# Begin Group "cnf"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\cnf\cnf.h
+SOURCE=.\src\aig\aig\aigRetF.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cnf\cnfCore.c
+SOURCE=.\src\aig\aig\aigScl.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cnf\cnfCut.c
+SOURCE=.\src\aig\aig\aigShow.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cnf\cnfData.c
+SOURCE=.\src\aig\aig\aigSplit.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cnf\cnfFast.c
+SOURCE=.\src\aig\aig\aigTable.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cnf\cnfMan.c
+SOURCE=.\src\aig\aig\aigTiming.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cnf\cnfMap.c
+SOURCE=.\src\aig\aig\aigTruth.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cnf\cnfPost.c
+SOURCE=.\src\aig\aig\aigTsim.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cnf\cnfUtil.c
+SOURCE=.\src\aig\aig\aigUtil.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cnf\cnfWrite.c
+SOURCE=.\src\aig\aig\aigWin.c
 # End Source File
 # End Group
-# Begin Group "csw"
+# Begin Group "saig"
 
 # PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\csw\csw.h
+SOURCE=.\src\aig\saig\saig.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\csw\cswCore.c
+SOURCE=.\src\aig\saig\saigAbs.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\csw\cswCut.c
+SOURCE=.\src\aig\saig\saigAbsCba.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\csw\cswInt.h
+SOURCE=.\src\aig\saig\saigAbsPba.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\csw\cswMan.c
+SOURCE=.\src\aig\saig\saigAbsStart.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\csw\cswTable.c
+SOURCE=.\src\aig\saig\saigAbsVfa.c
 # End Source File
-# End Group
-# Begin Group "kit"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\kit\cloud.c
+SOURCE=.\src\aig\saig\saigBmc.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\cloud.h
+SOURCE=.\src\aig\saig\saigBmc2.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kit.h
+SOURCE=.\src\aig\saig\saigBmc3.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitAig.c
+SOURCE=.\src\aig\saig\saigCexMin.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitBdd.c
+SOURCE=.\src\aig\saig\saigCone.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitCloud.c
+SOURCE=.\src\aig\saig\saigConstr.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitDsd.c
+SOURCE=.\src\aig\saig\saigConstr2.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitFactor.c
+SOURCE=.\src\aig\saig\saigDup.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitGraph.c
+SOURCE=.\src\aig\saig\saigGlaCba.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitHop.c
+SOURCE=.\src\aig\saig\saigGlaPba.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitIsop.c
+SOURCE=.\src\aig\saig\saigGlaPba2.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitPerm.c
+SOURCE=.\src\aig\saig\saigHaig.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitPla.c
+SOURCE=.\src\aig\saig\saigInd.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitSop.c
+SOURCE=.\src\aig\saig\saigIoa.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\kit\kitTruth.c
+SOURCE=.\src\aig\saig\saigMiter.c
 # End Source File
-# End Group
-# Begin Group "bdc"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\bdc\bdc.h
+SOURCE=.\src\aig\saig\saigOutDec.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\bdc\bdcCore.c
+SOURCE=.\src\aig\saig\saigPhase.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\bdc\bdcDec.c
+SOURCE=.\src\aig\saig\saigRefSat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\bdc\bdcInt.h
+SOURCE=.\src\aig\saig\saigRetFwd.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\bdc\bdcSpfd.c
+SOURCE=.\src\aig\saig\saigRetMin.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\bdc\bdcTable.c
+SOURCE=.\src\aig\saig\saigRetStep.c
 # End Source File
-# End Group
-# Begin Group "aig"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aig.h
+SOURCE=.\src\aig\saig\saigScl.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigCanon.c
+SOURCE=.\src\aig\saig\saigSimExt.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigCheck.c
+SOURCE=.\src\aig\saig\saigSimExt2.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigCuts.c
+SOURCE=.\src\aig\saig\saigSimFast.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigDfs.c
+SOURCE=.\src\aig\saig\saigSimMv.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigDoms.c
+SOURCE=.\src\aig\saig\saigSimSeq.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigDup.c
+SOURCE=.\src\aig\saig\saigStrSim.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigFact.c
+SOURCE=.\src\aig\saig\saigSwitch.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigFanout.c
+SOURCE=.\src\aig\saig\saigSynch.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigFrames.c
+SOURCE=.\src\aig\saig\saigTempor.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigInter.c
+SOURCE=.\src\aig\saig\saigTrans.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigJust.c
+SOURCE=.\src\aig\saig\saigWnd.c
 # End Source File
+# End Group
+# Begin Group "gia"
+
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigMan.c
+SOURCE=.\src\aig\gia\gia.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigMem.c
+SOURCE=.\src\aig\gia\gia.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigMffc.c
+SOURCE=.\src\aig\gia\giaAbs.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigObj.c
+SOURCE=.\src\aig\gia\giaAbs.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigOper.c
+SOURCE=.\src\aig\gia\giaAbsVta.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigOrder.c
+SOURCE=.\src\aig\gia\giaAig.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigPack.c
+SOURCE=.\src\aig\gia\giaAig.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigPart.c
+SOURCE=.\src\aig\gia\giaAiger.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigPartReg.c
+SOURCE=.\src\aig\gia\giaBidec.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigPartSat.c
+SOURCE=.\src\aig\gia\giaCCof.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigRepar.c
+SOURCE=.\src\aig\gia\giaCof.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigRepr.c
+SOURCE=.\src\aig\gia\giaCSat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigRet.c
+SOURCE=.\src\aig\gia\giaCSatOld.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigRetF.c
+SOURCE=.\src\aig\gia\giaCTas.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigScl.c
+SOURCE=.\src\aig\gia\giaDfs.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigShow.c
+SOURCE=.\src\aig\gia\giaDup.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigSplit.c
+SOURCE=.\src\aig\gia\giaEmbed.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigTable.c
+SOURCE=.\src\aig\gia\giaEnable.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigTiming.c
+SOURCE=.\src\aig\gia\giaEquiv.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigTruth.c
+SOURCE=.\src\aig\gia\giaEra.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigTsim.c
+SOURCE=.\src\aig\gia\giaEra2.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigUtil.c
+SOURCE=.\src\aig\gia\giaFanout.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\aig\aigWin.c
+SOURCE=.\src\aig\gia\giaForce.c
 # End Source File
-# End Group
-# Begin Group "bar"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\bar\bar.c
+SOURCE=.\src\aig\gia\giaFrames.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\bar\bar.h
+SOURCE=.\src\aig\gia\giaFront.c
 # End Source File
-# End Group
-# Begin Group "ntl"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntl.h
+SOURCE=.\src\aig\gia\giaGiarf.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlCheck.c
+SOURCE=.\src\aig\gia\giaGlitch.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlCore.c
+SOURCE=.\src\aig\gia\giaHash.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlEc.c
+SOURCE=.\src\aig\gia\giaHcd.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlExtract.c
+SOURCE=.\src\aig\gia\giaIf.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlFraig.c
+SOURCE=.\src\aig\gia\giaMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlInsert.c
+SOURCE=.\src\aig\gia\giaMem.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlMan.c
+SOURCE=.\src\aig\gia\giaPat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlMap.c
+SOURCE=.\src\aig\gia\giaReparam.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlNames.c
+SOURCE=.\src\aig\gia\giaRetime.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlnwk.h
+SOURCE=.\src\aig\gia\giaScl.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlObj.c
+SOURCE=.\src\aig\gia\giaShrink.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlReadBlif.c
+SOURCE=.\src\aig\gia\giaSim.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlSweep.c
+SOURCE=.\src\aig\gia\giaSim2.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlTable.c
+SOURCE=.\src\aig\gia\giaSort.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlTime.c
+SOURCE=.\src\aig\gia\giaSpeedup.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlUtil.c
+SOURCE=.\src\aig\gia\giaSupMin.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ntl\ntlWriteBlif.c
+SOURCE=.\src\aig\gia\giaSwitch.c
 # End Source File
-# End Group
-# Begin Group "tim"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\tim\tim.c
+SOURCE=.\src\aig\gia\giaTsim.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\tim\tim.h
+SOURCE=.\src\aig\gia\giaUtil.c
 # End Source File
 # End Group
-# Begin Group "nwk"
+# End Group
+# Begin Group "bool"
 
 # 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
+# Begin Group "bdc"
 
-SOURCE=.\src\aig\nwk\nwkMerge.c
-# End Source File
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\nwk\nwkMerge.h
+SOURCE=.\src\bool\bdc\bdc.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\nwk\nwkObj.c
+SOURCE=.\src\bool\bdc\bdcCore.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\nwk\nwkSpeedup.c
+SOURCE=.\src\bool\bdc\bdcDec.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\nwk\nwkStrash.c
+SOURCE=.\src\bool\bdc\bdcInt.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\nwk\nwkTiming.c
+SOURCE=.\src\bool\bdc\bdcSpfd.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\nwk\nwkUtil.c
+SOURCE=.\src\bool\bdc\bdcTable.c
 # End Source File
 # End Group
-# Begin Group "mfx"
+# Begin Group "dec"
 
 # 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
+SOURCE=.\src\bool\dec\dec.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\mfx\mfxInt.h
+SOURCE=.\src\bool\dec\decAbc.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\mfx\mfxInter.c
+SOURCE=.\src\bool\dec\decFactor.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\mfx\mfxMan.c
+SOURCE=.\src\bool\dec\decMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\mfx\mfxResub.c
+SOURCE=.\src\bool\dec\decPrint.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
+SOURCE=.\src\bool\dec\decUtil.c
 # End Source File
 # End Group
-# Begin Group "bbr"
+# Begin Group "deco"
 
 # 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
+SOURCE=.\src\bool\deco\deco.h
 # End Source File
 # End Group
-# Begin Group "saig"
+# Begin Group "kit"
 
 # PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saig.h
+SOURCE=.\src\bool\kit\cloud.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigAbs.c
+SOURCE=.\src\bool\kit\cloud.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigAbsCba.c
+SOURCE=.\src\bool\kit\kit.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigAbsPba.c
+SOURCE=.\src\bool\kit\kit_.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigAbsStart.c
+SOURCE=.\src\bool\kit\kitAig.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigAbsVfa.c
+SOURCE=.\src\bool\kit\kitBdd.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigBmc.c
+SOURCE=.\src\bool\kit\kitCloud.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigBmc2.c
+SOURCE=.\src\bool\kit\kitDec.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigBmc3.c
+SOURCE=.\src\bool\kit\kitDsd.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigCexMin.c
+SOURCE=.\src\bool\kit\kitFactor.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigCone.c
+SOURCE=.\src\bool\kit\kitGraph.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigConstr.c
+SOURCE=.\src\bool\kit\kitHop.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigConstr2.c
+SOURCE=.\src\bool\kit\kitIsop.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigDup.c
+SOURCE=.\src\bool\kit\kitPerm.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigGlaCba.c
+SOURCE=.\src\bool\kit\kitPla.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigGlaPba.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\saig\saigGlaPba2.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
+SOURCE=.\src\bool\kit\kitSop.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigOutDec.c
+SOURCE=.\src\bool\kit\kitTruth.c
 # End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\saig\saigPhase.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\saig\saigRefSat.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
+# End Group
+# End Group
+# Begin Group "prove"
 
-SOURCE=.\src\aig\saig\saigScl.c
-# End Source File
-# Begin Source File
+# PROP Default_Filter ""
+# Begin Group "bbr"
 
-SOURCE=.\src\aig\saig\saigSimExt.c
-# End Source File
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigSimExt2.c
+SOURCE=.\src\proof\bbr\bbr.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigSimFast.c
+SOURCE=.\src\proof\bbr\bbrCex.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigSimMv.c
+SOURCE=.\src\proof\bbr\bbrImage.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigSimSeq.c
+SOURCE=.\src\proof\bbr\bbrNtbdd.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigStrSim.c
+SOURCE=.\src\proof\bbr\bbrReach.c
 # End Source File
-# Begin Source File
+# End Group
+# Begin Group "cec"
 
-SOURCE=.\src\aig\saig\saigSwitch.c
-# End Source File
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigSynch.c
+SOURCE=.\src\proof\cec\cec.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigTempor.c
+SOURCE=.\src\proof\cec\cec.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigTrans.c
+SOURCE=.\src\proof\cec\cecCec.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\saig\saigWnd.c
+SOURCE=.\src\proof\cec\cecChoice.c
 # End Source File
-# End Group
-# Begin Group "int"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\int\int.h
+SOURCE=.\src\proof\cec\cecClass.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\int\intCheck.c
+SOURCE=.\src\proof\cec\cecCore.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\int\intContain.c
+SOURCE=.\src\proof\cec\cecCorr.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\int\intCore.c
+SOURCE=.\src\proof\cec\cecInt.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\int\intCtrex.c
+SOURCE=.\src\proof\cec\cecIso.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\int\intDup.c
+SOURCE=.\src\proof\cec\cecMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\int\intFrames.c
+SOURCE=.\src\proof\cec\cecPat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\int\intInt.h
+SOURCE=.\src\proof\cec\cecSeq.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\int\intInter.c
+SOURCE=.\src\proof\cec\cecSim.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\int\intM114.c
+SOURCE=.\src\proof\cec\cecSolve.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\int\intM114p.c
+SOURCE=.\src\proof\cec\cecSweep.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
+SOURCE=.\src\proof\cec\cecSynth.c
 # End Source File
 # End Group
 # Begin Group "dch"
@@ -3759,551 +3723,523 @@ SOURCE=.\src\aig\int\intUtil.c
 # PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dch.h
+SOURCE=.\src\proof\dch\dch.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchAig.c
+SOURCE=.\src\proof\dch\dchAig.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchChoice.c
+SOURCE=.\src\proof\dch\dchChoice.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchClass.c
+SOURCE=.\src\proof\dch\dchClass.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchCnf.c
+SOURCE=.\src\proof\dch\dchCnf.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchCore.c
+SOURCE=.\src\proof\dch\dchCore.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchInt.h
+SOURCE=.\src\proof\dch\dchInt.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchMan.c
+SOURCE=.\src\proof\dch\dchMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchSat.c
+SOURCE=.\src\proof\dch\dchSat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchSim.c
+SOURCE=.\src\proof\dch\dchSim.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchSimSat.c
+SOURCE=.\src\proof\dch\dchSimSat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\dch\dchSweep.c
+SOURCE=.\src\proof\dch\dchSweep.c
 # End Source File
 # End Group
-# Begin Group "ssw"
+# Begin Group "fra"
 
 # 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
+SOURCE=.\src\proof\fra\fra.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswCnf.c
+SOURCE=.\src\proof\fra\fra_.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswConstr.c
+SOURCE=.\src\proof\fra\fraBmc.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswCore.c
+SOURCE=.\src\proof\fra\fraCec.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswDyn.c
+SOURCE=.\src\proof\fra\fraClass.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswFilter.c
+SOURCE=.\src\proof\fra\fraClau.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswInt.h
+SOURCE=.\src\proof\fra\fraClaus.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswIslands.c
+SOURCE=.\src\proof\fra\fraCnf.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswLcorr.c
+SOURCE=.\src\proof\fra\fraCore.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswMan.c
+SOURCE=.\src\proof\fra\fraHot.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswPairs.c
+SOURCE=.\src\proof\fra\fraImp.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswPart.c
+SOURCE=.\src\proof\fra\fraInd.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswRarity.c
+SOURCE=.\src\proof\fra\fraIndVer.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswSat.c
+SOURCE=.\src\proof\fra\fraLcr.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswSemi.c
+SOURCE=.\src\proof\fra\fraMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswSim.c
+SOURCE=.\src\proof\fra\fraPart.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswSimSat.c
+SOURCE=.\src\proof\fra\fraSat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswSweep.c
+SOURCE=.\src\proof\fra\fraSec.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\ssw\sswUnique.c
+SOURCE=.\src\proof\fra\fraSim.c
 # End Source File
 # End Group
-# Begin Group "cec"
+# Begin Group "fraig"
 
 # PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cec.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\cec\cec.h
+SOURCE=.\src\proof\fraig\fraig.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecCec.c
+SOURCE=.\src\proof\fraig\fraigApi.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecChoice.c
+SOURCE=.\src\proof\fraig\fraigCanon.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecClass.c
+SOURCE=.\src\proof\fraig\fraigChoice.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecCore.c
+SOURCE=.\src\proof\fraig\fraigFanout.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecCorr.c
+SOURCE=.\src\proof\fraig\fraigFeed.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecInt.h
+SOURCE=.\src\proof\fraig\fraigInt.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecIso.c
+SOURCE=.\src\proof\fraig\fraigMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecMan.c
+SOURCE=.\src\proof\fraig\fraigMem.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecPat.c
+SOURCE=.\src\proof\fraig\fraigNode.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecSeq.c
+SOURCE=.\src\proof\fraig\fraigPrime.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecSim.c
+SOURCE=.\src\proof\fraig\fraigSat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecSolve.c
+SOURCE=.\src\proof\fraig\fraigTable.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecSweep.c
+SOURCE=.\src\proof\fraig\fraigUtil.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cec\cecSynth.c
+SOURCE=.\src\proof\fraig\fraigVec.c
 # End Source File
 # End Group
-# Begin Group "cgt"
+# Begin Group "int"
 
 # PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\cgt\cgt.h
+SOURCE=.\src\proof\int\int.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cgt\cgtAig.c
+SOURCE=.\src\proof\int\intCheck.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cgt\cgtCore.c
+SOURCE=.\src\proof\int\intContain.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cgt\cgtDecide.c
+SOURCE=.\src\proof\int\intCore.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cgt\cgtInt.h
+SOURCE=.\src\proof\int\intCtrex.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cgt\cgtMan.c
+SOURCE=.\src\proof\int\intDup.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\cgt\cgtSat.c
+SOURCE=.\src\proof\int\intFrames.c
 # End Source File
-# End Group
-# Begin Group "gia"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\gia\gia.c
+SOURCE=.\src\proof\int\intInt.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\gia.h
+SOURCE=.\src\proof\int\intInter.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaAbs.c
+SOURCE=.\src\proof\int\intM114.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaAbsVta.c
+SOURCE=.\src\proof\int\intM114p.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaAig.c
+SOURCE=.\src\proof\int\intMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaAig.h
+SOURCE=.\src\proof\int\intUtil.c
 # End Source File
-# Begin Source File
+# End Group
+# Begin Group "live"
 
-SOURCE=.\src\aig\gia\giaAiger.c
-# End Source File
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaBidec.c
+SOURCE=.\src\proof\live\liveness.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaCCof.c
+SOURCE=.\src\proof\live\liveness_sim.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaCof.c
+SOURCE=.\src\proof\live\ltl_parser.c
 # End Source File
-# Begin Source File
+# End Group
+# Begin Group "llb"
 
-SOURCE=.\src\aig\gia\giaCSat.c
-# End Source File
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaCSatOld.c
+SOURCE=.\src\proof\llb\llb.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaCTas.c
+SOURCE=.\src\proof\llb\llb.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaDfs.c
+SOURCE=.\src\proof\llb\llb1Cluster.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaDup.c
+SOURCE=.\src\proof\llb\llb1Constr.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaEmbed.c
+SOURCE=.\src\proof\llb\llb1Core.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaEnable.c
+SOURCE=.\src\proof\llb\llb1Group.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaEquiv.c
+SOURCE=.\src\proof\llb\llb1Hint.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaEra.c
+SOURCE=.\src\proof\llb\llb1Man.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaEra2.c
+SOURCE=.\src\proof\llb\llb1Matrix.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaFanout.c
+SOURCE=.\src\proof\llb\llb1Pivot.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaForce.c
+SOURCE=.\src\proof\llb\llb1Reach.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaFrames.c
+SOURCE=.\src\proof\llb\llb1Sched.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaFront.c
+SOURCE=.\src\proof\llb\llb2Bad.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaGiarf.c
+SOURCE=.\src\proof\llb\llb2Core.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaGlitch.c
+SOURCE=.\src\proof\llb\llb2Driver.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaHash.c
+SOURCE=.\src\proof\llb\llb2Dump.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaHcd.c
+SOURCE=.\src\proof\llb\llb2Flow.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaIf.c
+SOURCE=.\src\proof\llb\llb2Image.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaMan.c
+SOURCE=.\src\proof\llb\llb3Image.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaMem.c
+SOURCE=.\src\proof\llb\llb3Nonlin.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaPat.c
+SOURCE=.\src\proof\llb\llb4Cex.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaReparam.c
+SOURCE=.\src\proof\llb\llb4Cluster.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaRetime.c
+SOURCE=.\src\proof\llb\llb4Image.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaScl.c
+SOURCE=.\src\proof\llb\llb4Map.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaShrink.c
+SOURCE=.\src\proof\llb\llb4Nonlin.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaSim.c
+SOURCE=.\src\proof\llb\llb4Sweep.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaSim2.c
+SOURCE=.\src\proof\llb\llbInt.h
 # End Source File
+# End Group
+# Begin Group "pdr"
+
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaSort.c
+SOURCE=.\src\proof\pdr\pdr.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaSpeedup.c
+SOURCE=.\src\proof\pdr\pdr.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaSupMin.c
+SOURCE=.\src\proof\pdr\pdrClass.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaSwitch.c
+SOURCE=.\src\proof\pdr\pdrCnf.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaTsim.c
+SOURCE=.\src\proof\pdr\pdrCore.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaUtil.c
+SOURCE=.\src\proof\pdr\pdrInt.h
 # End Source File
-# End Group
-# Begin Group "bbl"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\bbl\bblif.c
+SOURCE=.\src\proof\pdr\pdrInv.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\bbl\bblif.h
+SOURCE=.\src\proof\pdr\pdrMan.c
 # End Source File
-# End Group
-# Begin Group "live"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\live\liveness.c
+SOURCE=.\src\proof\pdr\pdrSat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\live\liveness_sim.c
+SOURCE=.\src\proof\pdr\pdrTsim.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\live\ltl_parser.c
+SOURCE=.\src\proof\pdr\pdrUtil.c
 # End Source File
 # End Group
-# Begin Group "llb"
+# Begin Group "ssw"
 
 # PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\llb\llb1Cluster.c
+SOURCE=.\src\proof\ssw\ssw.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb1Constr.c
+SOURCE=.\src\proof\ssw\sswAig.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb1Core.c
+SOURCE=.\src\proof\ssw\sswBmc.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb1Group.c
+SOURCE=.\src\proof\ssw\sswClass.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb1Hint.c
+SOURCE=.\src\proof\ssw\sswCnf.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb1Man.c
+SOURCE=.\src\proof\ssw\sswConstr.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb1Matrix.c
+SOURCE=.\src\proof\ssw\sswCore.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb1Pivot.c
+SOURCE=.\src\proof\ssw\sswDyn.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb1Reach.c
+SOURCE=.\src\proof\ssw\sswFilter.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb1Sched.c
+SOURCE=.\src\proof\ssw\sswInt.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb2Bad.c
+SOURCE=.\src\proof\ssw\sswIslands.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb2Core.c
+SOURCE=.\src\proof\ssw\sswLcorr.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb2Driver.c
+SOURCE=.\src\proof\ssw\sswMan.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb2Dump.c
+SOURCE=.\src\proof\ssw\sswPairs.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb2Flow.c
+SOURCE=.\src\proof\ssw\sswPart.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb2Image.c
+SOURCE=.\src\proof\ssw\sswRarity.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb3Image.c
+SOURCE=.\src\proof\ssw\sswRarity2.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb3Nonlin.c
+SOURCE=.\src\proof\ssw\sswSat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb4Cex.c
+SOURCE=.\src\proof\ssw\sswSemi.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb4Image.c
+SOURCE=.\src\proof\ssw\sswSim.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb4Nonlin.c
+SOURCE=.\src\proof\ssw\sswSimSat.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llb4Sweep.c
+SOURCE=.\src\proof\ssw\sswSweep.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\llb\llbInt.h
+SOURCE=.\src\proof\ssw\sswUnique.c
 # End Source File
 # End Group
 # End Group