diff options
Diffstat (limited to 'abc.dsp')
| -rw-r--r-- | abc.dsp | 256 |
1 files changed, 214 insertions, 42 deletions
@@ -42,7 +42,7 @@ RSC=rc.exe # PROP Ignore_Export_Lib 0 # PROP Target_Dir "" # ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /c -# ADD CPP /nologo /W3 /GX /O2 /I "src\base\abc" /I "src\base\abci" /I "src\base\abcs" /I "src\base\seq" /I "src\base\cmd" /I "src\base\io" /I "src\base\main" /I "src\bdd\cudd" /I "src\bdd\epd" /I "src\bdd\mtr" /I "src\bdd\parse" /I "src\bdd\dsd" /I "src\bdd\reo" /I "src\sop\ft" /I "src\sat\aig" /I "src\sat\asat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\cut" /I "src\opt\dec" /I "src\opt\fxu" /I "src\opt\sim" /I "src\opt\rwr" /I "src\map\fpga" /I "src\map\pga" /I "src\map\mapper" /I "src\map\mio" /I "src\map\super" /I "src\misc\extra" /I "src\misc\st" /I "src\misc\mvc" /I "src\misc\util" /I "src\misc\npn" /I "src\misc\vec" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D "HAVE_ASSERT_H" /FR /YX /FD /c +# ADD CPP /nologo /W3 /GX /O2 /I "src\base\abc" /I "src\base\abci" /I "src\base\abcs" /I "src\base\seq" /I "src\base\cmd" /I "src\base\io" /I "src\base\main" /I "src\bdd\cudd" /I "src\bdd\epd" /I "src\bdd\mtr" /I "src\bdd\parse" /I "src\bdd\dsd" /I "src\bdd\reo" /I "src\sop\ft" /I "src\sat\aig" /I "src\sat\asat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\cut" /I "src\opt\dec" /I "src\opt\fxu" /I "src\opt\sim" /I "src\opt\rwr" /I "src\map\fpga" /I "src\map\pga" /I "src\map\mapper" /I "src\map\mio" /I "src\map\super" /I "src\misc\extra" /I "src\misc\st" /I "src\misc\mvc" /I "src\misc\util" /I "src\misc\npn" /I "src\misc\vec" /I "src\misc\espresso" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /FR /YX /FD /c # ADD BASE RSC /l 0x409 /d "NDEBUG" # ADD RSC /l 0x409 /d "NDEBUG" BSC32=bscmake.exe @@ -66,7 +66,7 @@ LINK32=link.exe # PROP Ignore_Export_Lib 0 # PROP Target_Dir "" # ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /GZ /c -# ADD CPP /nologo /W3 /Gm /GX /ZI /Od /I "src\base\abc" /I "src\base\abci" /I "src\base\abcs" /I "src\base\seq" /I "src\base\cmd" /I "src\base\io" /I "src\base\main" /I "src\bdd\cudd" /I "src\bdd\epd" /I "src\bdd\mtr" /I "src\bdd\parse" /I "src\bdd\dsd" /I "src\bdd\reo" /I "src\sop\ft" /I "src\sat\aig" /I "src\sat\asat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\cut" /I "src\opt\dec" /I "src\opt\fxu" /I "src\opt\sim" /I "src\opt\rwr" /I "src\map\fpga" /I "src\map\pga" /I "src\map\mapper" /I "src\map\mio" /I "src\map\super" /I "src\misc\extra" /I "src\misc\st" /I "src\misc\mvc" /I "src\misc\util" /I "src\misc\npn" /I "src\misc\vec" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D "HAVE_ASSERT_H" /FR /YX /FD /GZ /c +# ADD CPP /nologo /W3 /Gm /GX /ZI /Od /I "src\base\abc" /I "src\base\abci" /I "src\base\abcs" /I "src\base\seq" /I "src\base\cmd" /I "src\base\io" /I "src\base\main" /I "src\bdd\cudd" /I "src\bdd\epd" /I "src\bdd\mtr" /I "src\bdd\parse" /I "src\bdd\dsd" /I "src\bdd\reo" /I "src\sop\ft" /I "src\sat\aig" /I "src\sat\asat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\cut" /I "src\opt\dec" /I "src\opt\fxu" /I "src\opt\sim" /I "src\opt\rwr" /I "src\map\fpga" /I "src\map\pga" /I "src\map\mapper" /I "src\map\mio" /I "src\map\super" /I "src\misc\extra" /I "src\misc\st" /I "src\misc\mvc" /I "src\misc\util" /I "src\misc\npn" /I "src\misc\vec" /I "src\misc\espresso" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /FR /YX /FD /GZ /c # SUBTRACT CPP /X # ADD BASE RSC /l 0x409 /d "_DEBUG" # ADD RSC /l 0x409 /d "_DEBUG" @@ -182,7 +182,11 @@ SOURCE=.\src\base\abci\abcBalance.c # End Source File # Begin Source File -SOURCE=.\src\base\abci\abcCollapse.c +SOURCE=.\src\base\abci\abcClpBdd.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abci\abcClpSop.c # End Source File # Begin Source File @@ -194,6 +198,10 @@ SOURCE=.\src\base\abci\abcDsd.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcEspresso.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcFpga.c # End Source File # Begin Source File @@ -214,6 +222,10 @@ 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 @@ -226,6 +238,10 @@ SOURCE=.\src\base\abci\abcPrint.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcProve.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcReconv.c # End Source File # Begin Source File @@ -238,6 +254,10 @@ SOURCE=.\src\base\abci\abcRenode.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcRestruct.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcRewrite.c # End Source File # Begin Source File @@ -906,6 +926,14 @@ SOURCE=.\src\sat\asat\added.c # End Source File # Begin Source File +SOURCE=.\src\sat\asat\asatmem.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\asat\asatmem.h +# End Source File +# Begin Source File + SOURCE=.\src\sat\asat\solver.c # End Source File # Begin Source File @@ -1134,6 +1162,10 @@ SOURCE=.\src\sat\aig\fraigTrav.c # End Source File # Begin Source File +SOURCE=.\src\sat\aig\rwrMffc.c +# End Source File +# Begin Source File + SOURCE=.\src\sat\aig\rwrTruth.c # End Source File # End Group @@ -1704,6 +1736,10 @@ SOURCE=.\src\misc\extra\extraUtilProgress.c SOURCE=.\src\misc\extra\extraUtilReader.c # End Source File +# Begin Source File + +SOURCE=.\src\misc\extra\extraUtilUtil.c +# End Source File # End Group # Begin Group "st" @@ -1725,153 +1761,289 @@ SOURCE=.\src\misc\st\stmm.c SOURCE=.\src\misc\st\stmm.h # End Source File # End Group -# Begin Group "util" +# Begin Group "mvc" # PROP Default_Filter "" # Begin Source File -SOURCE=.\src\misc\util\cpu_stats.c +SOURCE=.\src\misc\mvc\mvc.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\mvc\mvc.h +# End Source File +# Begin Source File + +SOURCE=.\src\misc\mvc\mvcApi.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\mvc\mvcCompare.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\mvc\mvcContain.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\mvc\mvcCover.c # End Source File # Begin Source File -SOURCE=.\src\misc\util\cpu_time.c +SOURCE=.\src\misc\mvc\mvcCube.c # End Source File # Begin Source File -SOURCE=.\src\misc\util\datalimit.c +SOURCE=.\src\misc\mvc\mvcDivide.c # End Source File # Begin Source File -SOURCE=.\src\misc\util\getopt.c +SOURCE=.\src\misc\mvc\mvcDivisor.c # End Source File # Begin Source File -SOURCE=.\src\misc\util\leaks.h +SOURCE=.\src\misc\mvc\mvcList.c # End Source File # Begin Source File -SOURCE=.\src\misc\util\pathsearch.c +SOURCE=.\src\misc\mvc\mvcLits.c # End Source File # Begin Source File -SOURCE=.\src\misc\util\safe_mem.c +SOURCE=.\src\misc\mvc\mvcMan.c # End Source File # Begin Source File -SOURCE=.\src\misc\util\stdlib_hack.h +SOURCE=.\src\misc\mvc\mvcOpAlg.c # End Source File # Begin Source File -SOURCE=.\src\misc\util\strsav.c +SOURCE=.\src\misc\mvc\mvcOpBool.c # End Source File # Begin Source File -SOURCE=.\src\misc\util\texpand.c +SOURCE=.\src\misc\mvc\mvcPrint.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\mvc\mvcSort.c # End Source File # Begin Source File -SOURCE=.\src\misc\util\util.h +SOURCE=.\src\misc\mvc\mvcUtils.c # End Source File # End Group -# Begin Group "mvc" +# Begin Group "vec" # PROP Default_Filter "" # Begin Source File -SOURCE=.\src\misc\mvc\mvc.c +SOURCE=.\src\misc\vec\vec.h # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvc.h +SOURCE=.\src\misc\vec\vecInt.h # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcApi.c +SOURCE=.\src\misc\vec\vecPtr.h # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcCompare.c +SOURCE=.\src\misc\vec\vecStr.h # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcContain.c +SOURCE=.\src\misc\vec\vecVec.h # End Source File +# End Group +# Begin Group "espresso" + +# PROP Default_Filter "" # Begin Source File -SOURCE=.\src\misc\mvc\mvcCover.c +SOURCE=.\src\misc\espresso\cofactor.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcCube.c +SOURCE=.\src\misc\espresso\cols.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcDivide.c +SOURCE=.\src\misc\espresso\compl.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcDivisor.c +SOURCE=.\src\misc\espresso\contain.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcList.c +SOURCE=.\src\misc\espresso\cubehack.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcLits.c +SOURCE=.\src\misc\espresso\cubestr.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcMan.c +SOURCE=.\src\misc\espresso\cvrin.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcOpAlg.c +SOURCE=.\src\misc\espresso\cvrm.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcOpBool.c +SOURCE=.\src\misc\espresso\cvrmisc.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcPrint.c +SOURCE=.\src\misc\espresso\cvrout.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcSort.c +SOURCE=.\src\misc\espresso\dominate.c # End Source File # Begin Source File -SOURCE=.\src\misc\mvc\mvcUtils.c +SOURCE=.\src\misc\espresso\equiv.c # End Source File -# End Group -# Begin Group "vec" +# Begin Source File -# PROP Default_Filter "" +SOURCE=.\src\misc\espresso\espresso.c +# End Source File # Begin Source File -SOURCE=.\src\misc\vec\vec.h +SOURCE=.\src\misc\espresso\espresso.h # End Source File # Begin Source File -SOURCE=.\src\misc\vec\vecInt.h +SOURCE=.\src\misc\espresso\essen.c # End Source File # Begin Source File -SOURCE=.\src\misc\vec\vecPtr.h +SOURCE=.\src\misc\espresso\exact.c # End Source File # Begin Source File -SOURCE=.\src\misc\vec\vecStr.h +SOURCE=.\src\misc\espresso\expand.c # End Source File # Begin Source File -SOURCE=.\src\misc\vec\vecVec.h +SOURCE=.\src\misc\espresso\gasp.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\gimpel.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\globals.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\hack.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\indep.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\irred.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\map.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\matrix.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\mincov.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\mincov.h +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\mincov_int.h +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\opo.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\pair.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\part.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\primes.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\reduce.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\rows.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\set.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\setc.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\sharp.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\sminterf.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\solution.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\sparse.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\sparse.h +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\sparse_int.h +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\unate.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\espresso\verify.c # End Source File # End Group -# Begin Group "npn" +# Begin Group "util" # PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\misc\util\util_hack.h +# End Source File # End Group # End Group # End Group |