diff options
Diffstat (limited to 'abclib.dsp')
-rw-r--r-- | abclib.dsp | 68 |
1 files changed, 68 insertions, 0 deletions
@@ -807,6 +807,10 @@ SOURCE=.\src\base\wlc\wlcStdin.c # End Source File # Begin Source File +SOURCE=.\src\base\wlc\wlcWin.c +# End Source File +# Begin Source File + SOURCE=.\src\base\wlc\wlcWriteVer.c # End Source File # End Group @@ -967,6 +971,10 @@ SOURCE=.\src\base\cba\cbaReadVer.c # End Source File # Begin Source File +SOURCE=.\src\base\cba\cbaTypes.h +# End Source File +# Begin Source File + SOURCE=.\src\base\cba\cbaWriteBlif.c # End Source File # Begin Source File @@ -2670,6 +2678,50 @@ SOURCE=.\src\opt\fxch\FxchMan.c SOURCE=.\src\opt\fxch\FxchSCHashTable.c # End Source File # End Group +# Begin Group "dsc" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\opt\dsc\dsc.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\dsc\dsc.h +# End Source File +# End Group +# Begin Group "sbd" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\opt\sbd\sbd.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbd.h +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdCnf.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdCore.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdInt.h +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdSat.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdWin.c +# End Source File +# End Group # End Group # Begin Group "map" @@ -4525,6 +4577,10 @@ SOURCE=.\src\aig\gia\giaUtil.c SOURCE=.\src\aig\miniaig\miniaig.h # End Source File +# Begin Source File + +SOURCE=.\src\aig\miniaig\minilut.h +# End Source File # End Group # End Group # Begin Group "bool" @@ -5359,6 +5415,10 @@ SOURCE=.\src\proof\acec\acec.h # End Source File # Begin Source File +SOURCE=.\src\proof\acec\acecCl.c +# End Source File +# Begin Source File + SOURCE=.\src\proof\acec\acecCo.c # End Source File # Begin Source File @@ -5383,6 +5443,10 @@ SOURCE=.\src\proof\acec\acecOrder.c # End Source File # Begin Source File +SOURCE=.\src\proof\acec\acecPa.c +# End Source File +# Begin Source File + SOURCE=.\src\proof\acec\acecPo.c # End Source File # Begin Source File @@ -5391,6 +5455,10 @@ SOURCE=.\src\proof\acec\acecPolyn.c # End Source File # Begin Source File +SOURCE=.\src\proof\acec\acecPool.c +# End Source File +# Begin Source File + SOURCE=.\src\proof\acec\acecRe.c # End Source File # Begin Source File |