1 files changed, 0 insertions, 224 deletions
diff --git a/abclib.dsp b/abclib.dsp
index 5e6745b6..d0007d9b 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -4182,230 +4182,6 @@ SOURCE=.\src\aig\llb\llb4Sweep.c
 SOURCE=.\src\aig\llb\llbInt.h
 # End Source File
 # End Group
-# Begin Group "au"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\aig\au\au.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\au.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auBridge.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auCec.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auCut.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auCutDiv.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auCutEnum.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auCutExp.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auData.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auDec6.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auDsdData.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auDsdForm.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auDsdTab.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auFanout.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auFour.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auHash.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auMffc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auNtk.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auNtk.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auResCore.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auResCut.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auResDec.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auResDiv.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auResTruth.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auSat.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auSatData.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auSatSim.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auSupp.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auSweep.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auTruth.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auTruth.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\au\auUtil.c
-# End Source File
-# End Group
-# Begin Group "ssm"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssm.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssm.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssmApi.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssmClock.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssmInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssmRandom.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssmRead.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssmReset.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssmSchedule.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssmSimple.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssmSimulate.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ssm\ssmWrite.c
-# End Source File
-# End Group
-# Begin Group "ddb"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\aig\ddb\ddb.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ddb\ddb.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ddb\ddbGarb.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ddb\ddbInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ddb\ddbMan.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ddb\ddbOper.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ddb\ddbReo.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\ddb\ddbTable.c
-# End Source File
-# End Group
 # End Group
 # End Group
 # Begin Group "Header Files"