diff options
Diffstat (limited to 'abc.dsp')
-rw-r--r-- | abc.dsp | 24 |
1 files changed, 20 insertions, 4 deletions
@@ -174,6 +174,10 @@ SOURCE=.\src\base\abci\abcAttach.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcAuto.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcBalance.c # End Source File # Begin Source File @@ -210,10 +214,6 @@ SOURCE=.\src\base\abci\abcMiter.c # End Source File # Begin Source File -SOURCE=.\src\base\abci\abcNewAig.c -# End Source File -# Begin Source File - SOURCE=.\src\base\abci\abcNtbdd.c # End Source File # Begin Source File @@ -262,6 +262,10 @@ SOURCE=.\src\base\abci\abcTiming.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcUnate.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcUnreach.c # End Source File # Begin Source File @@ -1128,6 +1132,10 @@ SOURCE=.\src\sat\aig\fraigSolver.c SOURCE=.\src\sat\aig\fraigTrav.c # End Source File +# Begin Source File + +SOURCE=.\src\sat\aig\rwrTruth.c +# End Source File # End Group # End Group # Begin Group "opt" @@ -1650,6 +1658,10 @@ SOURCE=.\src\misc\extra\extra.h # End Source File # Begin Source File +SOURCE=.\src\misc\extra\extraBddAuto.c +# End Source File +# Begin Source File + SOURCE=.\src\misc\extra\extraBddKmap.c # End Source File # Begin Source File @@ -1662,6 +1674,10 @@ SOURCE=.\src\misc\extra\extraBddSymm.c # End Source File # Begin Source File +SOURCE=.\src\misc\extra\extraBddUnate.c +# End Source File +# Begin Source File + SOURCE=.\src\misc\extra\extraUtilBitMatrix.c # End Source File # Begin Source File |