diff options
Diffstat (limited to 'abc.dsp')
-rw-r--r-- | abc.dsp | 24 |
1 files changed, 24 insertions, 0 deletions
@@ -214,6 +214,10 @@ SOURCE=.\src\base\abci\abcFxu.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcGen.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcMap.c # End Source File # Begin Source File @@ -262,6 +266,10 @@ SOURCE=.\src\base\abci\abcRewrite.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcRr.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcSat.c # End Source File # Begin Source File @@ -282,6 +290,10 @@ SOURCE=.\src\base\abci\abcTiming.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcTrace.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcUnate.c # End Source File # Begin Source File @@ -934,6 +946,10 @@ SOURCE=.\src\sat\asat\asatmem.h # End Source File # Begin Source File +SOURCE=.\src\sat\asat\jfront.c +# End Source File +# Begin Source File + SOURCE=.\src\sat\asat\solver.c # End Source File # Begin Source File @@ -1310,6 +1326,10 @@ SOURCE=.\src\opt\cut\cutOracle.c # End Source File # Begin Source File +SOURCE=.\src\opt\cut\cutPre22.c +# End Source File +# Begin Source File + SOURCE=.\src\opt\cut\cutSeq.c # End Source File # Begin Source File @@ -1738,6 +1758,10 @@ SOURCE=.\src\misc\extra\extraUtilReader.c # End Source File # Begin Source File +SOURCE=.\src\misc\extra\extraUtilTruth.c +# End Source File +# Begin Source File + SOURCE=.\src\misc\extra\extraUtilUtil.c # End Source File # End Group |