diff --git a/Makefile b/Makefile index a38d33c57..492a69ed5 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,7 @@ CP := cp PROG := abc -MODULES := src/base/abc src/base/abci src/base/abcs src/base/cmd src/base/io src/base/main \ +MODULES := src/base/abc src/base/abci src/base/seq src/base/cmd src/base/io src/base/main \ src/bdd/cudd src/bdd/dsd src/bdd/epd src/bdd/mtr src/bdd/parse src/bdd/reo \ src/map/fpga src/map/pga src/map/mapper src/map/mio src/map/super \ src/misc/extra src/misc/mvc src/misc/st src/misc/util src/misc/vec \ diff --git a/abc.dsp b/abc.dsp index 9ab94ff0a..6c4066024 100644 --- a/abc.dsp +++ b/abc.dsp @@ -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\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\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\mapp" /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\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\mapp" /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 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\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\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\mapp" /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\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\mapp" /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 # SUBTRACT CPP /X # ADD BASE RSC /l 0x409 /d "_DEBUG" # ADD RSC /l 0x409 /d "_DEBUG" @@ -273,54 +273,6 @@ SOURCE=.\src\base\abci\abcVanImp.c SOURCE=.\src\base\abci\abcVerify.c # End Source File # End Group -# Begin Group "abcs" - -# PROP Default_Filter "" -# Begin Source File - -SOURCE=.\src\base\abcs\abcFpgaDelay.c -# End Source File -# Begin Source File - -SOURCE=.\src\base\abcs\abcFpgaSeq.c -# End Source File -# Begin Source File - -SOURCE=.\src\base\abcs\abcRetCore.c -# End Source File -# Begin Source File - -SOURCE=.\src\base\abcs\abcRetDelay.c -# End Source File -# Begin Source File - -SOURCE=.\src\base\abcs\abcRetImpl.c -# End Source File -# Begin Source File - -SOURCE=.\src\base\abcs\abcRetUtil.c -# End Source File -# Begin Source File - -SOURCE=.\src\base\abcs\abcs.h -# End Source File -# Begin Source File - -SOURCE=.\src\base\abcs\abcSeq.c -# End Source File -# Begin Source File - -SOURCE=.\src\base\abcs\abcSeqMan.c -# End Source File -# Begin Source File - -SOURCE=.\src\base\abcs\abcShare.c -# End Source File -# Begin Source File - -SOURCE=.\src\base\abcs\abcUtils.c -# End Source File -# End Group # Begin Group "cmd" # PROP Default_Filter "" @@ -438,6 +390,10 @@ SOURCE=.\src\base\io\ioWriteGml.c # End Source File # Begin Source File +SOURCE=.\src\base\io\ioWriteList.c +# End Source File +# Begin Source File + SOURCE=.\src\base\io\ioWritePla.c # End Source File # End Group @@ -473,6 +429,62 @@ SOURCE=.\src\base\main\mainInt.h SOURCE=.\src\base\main\mainUtils.c # End Source File # End Group +# Begin Group "seq" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\base\seq\seq.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqCreate.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqFpgaCore.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqFpgaIter.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqInt.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqLatch.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqMan.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqMapCore.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqMapIter.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqRetCore.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqRetIter.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqShare.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\seq\seqUtil.c +# End Source File +# End Group # End Group # Begin Group "bdd" diff --git a/abc.opt b/abc.opt index 632fd5d2d..0185e222a 100644 Binary files a/abc.opt and b/abc.opt differ diff --git a/abc.plg b/abc.plg index 476c7f5ac..2f12978b4 100644 --- a/abc.plg +++ b/abc.plg @@ -3,650 +3,654 @@
Build Log
---------------------Configuration: abc - Win32 Release-------------------- +--------------------Configuration: abc - Win32 Debug--------------------
Command Lines
-Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP229.tmp" with contents +Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP71C.tmp" with contents [ -/nologo /ML /W3 /GX /O2 /I "src\base\abc" /I "src\base\abci" /I "src\base\abcs" /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\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\mapp" /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"Release/" /Fp"Release/abc.pch" /YX /Fo"Release/" /Fd"Release/" /FD /c -"C:\_projects\abc\src\base\abci\abcVanImp.c" +/nologo /MLd /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\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\mapp" /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"Debug/" /Fp"Debug/abc.pch" /YX /Fo"Debug/" /Fd"Debug/" /FD /GZ /c +"C:\_projects\abc\src\base\abci\abc.c" ] -Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP229.tmp" -Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP22A.tmp" with contents +Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP71C.tmp" +Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP71D.tmp" with contents [ -kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /incremental:no /pdb:"Release/abc.pdb" /machine:I386 /out:"_TEST/abc.exe" -.\Release\abcAig.obj -.\Release\abcCheck.obj -.\Release\abcDfs.obj -.\Release\abcFanio.obj -.\Release\abcFunc.obj -.\Release\abcLatch.obj -.\Release\abcMinBase.obj -.\Release\abcNames.obj -.\Release\abcNetlist.obj -.\Release\abcNtk.obj -.\Release\abcObj.obj -.\Release\abcRefs.obj -.\Release\abcShow.obj -.\Release\abcSop.obj -.\Release\abcUtil.obj -.\Release\abc.obj -.\Release\abcAttach.obj -.\Release\abcBalance.obj -.\Release\abcCollapse.obj -.\Release\abcCut.obj -.\Release\abcDsd.obj -.\Release\abcFpga.obj -.\Release\abcFraig.obj -.\Release\abcFxu.obj -.\Release\abcMap.obj -.\Release\abcMiter.obj -.\Release\abcNtbdd.obj -.\Release\abcPga.obj -.\Release\abcPrint.obj -.\Release\abcReconv.obj -.\Release\abcRefactor.obj -.\Release\abcRenode.obj -.\Release\abcRewrite.obj -.\Release\abcSat.obj -.\Release\abcStrash.obj -.\Release\abcSweep.obj -.\Release\abcSymm.obj -.\Release\abcTiming.obj -.\Release\abcUnreach.obj -.\Release\abcVanEijk.obj -.\Release\abcVanImp.obj -.\Release\abcVerify.obj -.\Release\abcFpgaDelay.obj -.\Release\abcFpgaSeq.obj -.\Release\abcRetCore.obj -.\Release\abcRetDelay.obj -.\Release\abcRetImpl.obj -.\Release\abcRetUtil.obj -.\Release\abcSeq.obj -.\Release\abcSeqMan.obj -.\Release\abcShare.obj -.\Release\abcUtils.obj -.\Release\cmd.obj -.\Release\cmdAlias.obj -.\Release\cmdApi.obj -.\Release\cmdFlag.obj -.\Release\cmdHist.obj -.\Release\cmdUtils.obj -.\Release\io.obj -.\Release\ioRead.obj -.\Release\ioReadBaf.obj -.\Release\ioReadBench.obj -.\Release\ioReadBlif.obj -.\Release\ioReadEdif.obj -.\Release\ioReadEqn.obj -.\Release\ioReadPla.obj -.\Release\ioReadVerilog.obj -.\Release\ioUtil.obj -.\Release\ioWriteBaf.obj -.\Release\ioWriteBench.obj -.\Release\ioWriteBlif.obj -.\Release\ioWriteCnf.obj -.\Release\ioWriteDot.obj -.\Release\ioWriteEqn.obj -.\Release\ioWriteGml.obj -.\Release\ioWritePla.obj -.\Release\libSupport.obj -.\Release\main.obj -.\Release\mainFrame.obj -.\Release\mainInit.obj -.\Release\mainUtils.obj -.\Release\cuddAddAbs.obj -.\Release\cuddAddApply.obj -.\Release\cuddAddFind.obj -.\Release\cuddAddInv.obj -.\Release\cuddAddIte.obj -.\Release\cuddAddNeg.obj -.\Release\cuddAddWalsh.obj -.\Release\cuddAndAbs.obj -.\Release\cuddAnneal.obj -.\Release\cuddApa.obj -.\Release\cuddAPI.obj -.\Release\cuddApprox.obj -.\Release\cuddBddAbs.obj -.\Release\cuddBddCorr.obj -.\Release\cuddBddIte.obj -.\Release\cuddBridge.obj -.\Release\cuddCache.obj -.\Release\cuddCheck.obj -.\Release\cuddClip.obj -.\Release\cuddCof.obj -.\Release\cuddCompose.obj -.\Release\cuddDecomp.obj -.\Release\cuddEssent.obj -.\Release\cuddExact.obj -.\Release\cuddExport.obj -.\Release\cuddGenCof.obj -.\Release\cuddGenetic.obj -.\Release\cuddGroup.obj -.\Release\cuddHarwell.obj -.\Release\cuddInit.obj -.\Release\cuddInteract.obj -.\Release\cuddLCache.obj -.\Release\cuddLevelQ.obj -.\Release\cuddLinear.obj -.\Release\cuddLiteral.obj -.\Release\cuddMatMult.obj -.\Release\cuddPriority.obj -.\Release\cuddRead.obj -.\Release\cuddRef.obj -.\Release\cuddReorder.obj -.\Release\cuddSat.obj -.\Release\cuddSign.obj -.\Release\cuddSolve.obj -.\Release\cuddSplit.obj -.\Release\cuddSubsetHB.obj -.\Release\cuddSubsetSP.obj -.\Release\cuddSymmetry.obj -.\Release\cuddTable.obj -.\Release\cuddUtil.obj -.\Release\cuddWindow.obj -.\Release\cuddZddCount.obj -.\Release\cuddZddFuncs.obj -.\Release\cuddZddGroup.obj -.\Release\cuddZddIsop.obj -.\Release\cuddZddLin.obj -.\Release\cuddZddMisc.obj -.\Release\cuddZddPort.obj -.\Release\cuddZddReord.obj -.\Release\cuddZddSetop.obj -.\Release\cuddZddSymm.obj -.\Release\cuddZddUtil.obj -.\Release\epd.obj -.\Release\mtrBasic.obj -.\Release\mtrGroup.obj -.\Release\parseCore.obj -.\Release\parseStack.obj -.\Release\dsdApi.obj -.\Release\dsdCheck.obj -.\Release\dsdLocal.obj -.\Release\dsdMan.obj -.\Release\dsdProc.obj -.\Release\dsdTree.obj -.\Release\reoApi.obj -.\Release\reoCore.obj -.\Release\reoProfile.obj -.\Release\reoSift.obj -.\Release\reoSwap.obj -.\Release\reoTest.obj -.\Release\reoTransfer.obj -.\Release\reoUnits.obj -.\Release\added.obj -.\Release\solver.obj -.\Release\msatActivity.obj -.\Release\msatClause.obj -.\Release\msatClauseVec.obj -.\Release\msatMem.obj -.\Release\msatOrderH.obj -.\Release\msatQueue.obj -.\Release\msatRead.obj -.\Release\msatSolverApi.obj -.\Release\msatSolverCore.obj -.\Release\msatSolverIo.obj -.\Release\msatSolverSearch.obj -.\Release\msatSort.obj -.\Release\msatVec.obj -.\Release\fraigApi.obj -.\Release\fraigCanon.obj -.\Release\fraigFanout.obj -.\Release\fraigFeed.obj -.\Release\fraigMan.obj -.\Release\fraigMem.obj -.\Release\fraigNode.obj -.\Release\fraigPrime.obj -.\Release\fraigSat.obj -.\Release\fraigTable.obj -.\Release\fraigUtil.obj -.\Release\fraigVec.obj -.\Release\csat_apis.obj -.\Release\fxu.obj -.\Release\fxuCreate.obj -.\Release\fxuHeapD.obj -.\Release\fxuHeapS.obj -.\Release\fxuList.obj -.\Release\fxuMatrix.obj -.\Release\fxuPair.obj -.\Release\fxuPrint.obj -.\Release\fxuReduce.obj -.\Release\fxuSelect.obj -.\Release\fxuSingle.obj -.\Release\fxuUpdate.obj -.\Release\rwrDec.obj -.\Release\rwrEva.obj -.\Release\rwrExp.obj -.\Release\rwrLib.obj -.\Release\rwrMan.obj -.\Release\rwrPrint.obj -.\Release\rwrUtil.obj -.\Release\cutApi.obj -.\Release\cutCut.obj -.\Release\cutMan.obj -.\Release\cutMerge.obj -.\Release\cutNode.obj -.\Release\cutOracle.obj -.\Release\cutSeq.obj -.\Release\cutTruth.obj -.\Release\decAbc.obj -.\Release\decFactor.obj -.\Release\decMan.obj -.\Release\decPrint.obj -.\Release\decUtil.obj -.\Release\simMan.obj -.\Release\simSat.obj -.\Release\simSeq.obj -.\Release\simSupp.obj -.\Release\simSwitch.obj -.\Release\simSym.obj -.\Release\simSymSat.obj -.\Release\simSymSim.obj -.\Release\simSymStr.obj -.\Release\simUtils.obj -.\Release\fpga.obj -.\Release\fpgaCore.obj -.\Release\fpgaCreate.obj -.\Release\fpgaCut.obj -.\Release\fpgaCutUtils.obj -.\Release\fpgaFanout.obj -.\Release\fpgaLib.obj -.\Release\fpgaMatch.obj -.\Release\fpgaSwitch.obj -.\Release\fpgaTime.obj -.\Release\fpgaTruth.obj -.\Release\fpgaUtils.obj -.\Release\fpgaVec.obj -.\Release\mapper.obj -.\Release\mapperCanon.obj -.\Release\mapperCore.obj -.\Release\mapperCreate.obj -.\Release\mapperCut.obj -.\Release\mapperCutUtils.obj -.\Release\mapperFanout.obj -.\Release\mapperLib.obj -.\Release\mapperMatch.obj -.\Release\mapperRefs.obj -.\Release\mapperSuper.obj -.\Release\mapperSwitch.obj -.\Release\mapperTable.obj -.\Release\mapperTime.obj -.\Release\mapperTree.obj -.\Release\mapperTruth.obj -.\Release\mapperUtils.obj -.\Release\mapperVec.obj -.\Release\mio.obj -.\Release\mioApi.obj -.\Release\mioFunc.obj -.\Release\mioRead.obj -.\Release\mioUtils.obj -.\Release\super.obj -.\Release\superAnd.obj -.\Release\superGate.obj -.\Release\superWrite.obj -.\Release\pgaCore.obj -.\Release\pgaMan.obj -.\Release\pgaMatch.obj -.\Release\pgaUtil.obj -.\Release\extraBddKmap.obj -.\Release\extraBddMisc.obj -.\Release\extraBddSymm.obj -.\Release\extraUtilBitMatrix.obj -.\Release\extraUtilCanon.obj -.\Release\extraUtilFile.obj -.\Release\extraUtilMemory.obj -.\Release\extraUtilMisc.obj -.\Release\extraUtilProgress.obj -.\Release\extraUtilReader.obj -.\Release\st.obj -.\Release\stmm.obj -.\Release\cpu_stats.obj -.\Release\cpu_time.obj -.\Release\datalimit.obj -.\Release\getopt.obj -.\Release\pathsearch.obj -.\Release\safe_mem.obj -.\Release\strsav.obj -.\Release\texpand.obj -.\Release\mvc.obj -.\Release\mvcApi.obj -.\Release\mvcCompare.obj -.\Release\mvcContain.obj -.\Release\mvcCover.obj -.\Release\mvcCube.obj -.\Release\mvcDivide.obj -.\Release\mvcDivisor.obj -.\Release\mvcList.obj -.\Release\mvcLits.obj -.\Release\mvcMan.obj -.\Release\mvcOpAlg.obj -.\Release\mvcOpBool.obj -.\Release\mvcPrint.obj -.\Release\mvcSort.obj -.\Release\mvcUtils.obj +kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /incremental:yes /pdb:"Debug/abc.pdb" /debug /machine:I386 /out:"_TEST/abc.exe" /pdbtype:sept +.\Debug\abcAig.obj +.\Debug\abcCheck.obj +.\Debug\abcDfs.obj +.\Debug\abcFanio.obj +.\Debug\abcFunc.obj +.\Debug\abcLatch.obj +.\Debug\abcMinBase.obj +.\Debug\abcNames.obj +.\Debug\abcNetlist.obj +.\Debug\abcNtk.obj +.\Debug\abcObj.obj +.\Debug\abcRefs.obj +.\Debug\abcShow.obj +.\Debug\abcSop.obj +.\Debug\abcUtil.obj +.\Debug\abc.obj +.\Debug\abcAttach.obj +.\Debug\abcBalance.obj +.\Debug\abcCollapse.obj +.\Debug\abcCut.obj +.\Debug\abcDsd.obj +.\Debug\abcFpga.obj +.\Debug\abcFraig.obj +.\Debug\abcFxu.obj +.\Debug\abcMap.obj +.\Debug\abcMiter.obj +.\Debug\abcNtbdd.obj +.\Debug\abcPga.obj +.\Debug\abcPrint.obj +.\Debug\abcReconv.obj +.\Debug\abcRefactor.obj +.\Debug\abcRenode.obj +.\Debug\abcRewrite.obj +.\Debug\abcSat.obj +.\Debug\abcStrash.obj +.\Debug\abcSweep.obj +.\Debug\abcSymm.obj +.\Debug\abcTiming.obj +.\Debug\abcUnreach.obj +.\Debug\abcVanEijk.obj +.\Debug\abcVanImp.obj +.\Debug\abcVerify.obj +.\Debug\cmd.obj +.\Debug\cmdAlias.obj +.\Debug\cmdApi.obj +.\Debug\cmdFlag.obj +.\Debug\cmdHist.obj +.\Debug\cmdUtils.obj +.\Debug\io.obj +.\Debug\ioRead.obj +.\Debug\ioReadBaf.obj +.\Debug\ioReadBench.obj +.\Debug\ioReadBlif.obj +.\Debug\ioReadEdif.obj +.\Debug\ioReadEqn.obj +.\Debug\ioReadPla.obj +.\Debug\ioReadVerilog.obj +.\Debug\ioUtil.obj +.\Debug\ioWriteBaf.obj +.\Debug\ioWriteBench.obj +.\Debug\ioWriteBlif.obj +.\Debug\ioWriteCnf.obj +.\Debug\ioWriteDot.obj +.\Debug\ioWriteEqn.obj +.\Debug\ioWriteGml.obj +.\Debug\ioWriteList.obj +.\Debug\ioWritePla.obj +.\Debug\libSupport.obj +.\Debug\main.obj +.\Debug\mainFrame.obj +.\Debug\mainInit.obj +.\Debug\mainUtils.obj +.\Debug\seqCreate.obj +.\Debug\seqFpgaCore.obj +.\Debug\seqFpgaIter.obj +.\Debug\seqLatch.obj +.\Debug\seqMan.obj +.\Debug\seqMapCore.obj +.\Debug\seqMapIter.obj +.\Debug\seqRetCore.obj +.\Debug\seqRetIter.obj +.\Debug\seqShare.obj +.\Debug\seqUtil.obj +.\Debug\cuddAddAbs.obj +.\Debug\cuddAddApply.obj +.\Debug\cuddAddFind.obj +.\Debug\cuddAddInv.obj +.\Debug\cuddAddIte.obj +.\Debug\cuddAddNeg.obj +.\Debug\cuddAddWalsh.obj +.\Debug\cuddAndAbs.obj +.\Debug\cuddAnneal.obj +.\Debug\cuddApa.obj +.\Debug\cuddAPI.obj +.\Debug\cuddApprox.obj +.\Debug\cuddBddAbs.obj +.\Debug\cuddBddCorr.obj +.\Debug\cuddBddIte.obj +.\Debug\cuddBridge.obj +.\Debug\cuddCache.obj +.\Debug\cuddCheck.obj +.\Debug\cuddClip.obj +.\Debug\cuddCof.obj +.\Debug\cuddCompose.obj +.\Debug\cuddDecomp.obj +.\Debug\cuddEssent.obj +.\Debug\cuddExact.obj +.\Debug\cuddExport.obj +.\Debug\cuddGenCof.obj +.\Debug\cuddGenetic.obj +.\Debug\cuddGroup.obj +.\Debug\cuddHarwell.obj +.\Debug\cuddInit.obj +.\Debug\cuddInteract.obj +.\Debug\cuddLCache.obj +.\Debug\cuddLevelQ.obj +.\Debug\cuddLinear.obj +.\Debug\cuddLiteral.obj +.\Debug\cuddMatMult.obj +.\Debug\cuddPriority.obj +.\Debug\cuddRead.obj +.\Debug\cuddRef.obj +.\Debug\cuddReorder.obj +.\Debug\cuddSat.obj +.\Debug\cuddSign.obj +.\Debug\cuddSolve.obj +.\Debug\cuddSplit.obj +.\Debug\cuddSubsetHB.obj +.\Debug\cuddSubsetSP.obj +.\Debug\cuddSymmetry.obj +.\Debug\cuddTable.obj +.\Debug\cuddUtil.obj +.\Debug\cuddWindow.obj +.\Debug\cuddZddCount.obj +.\Debug\cuddZddFuncs.obj +.\Debug\cuddZddGroup.obj +.\Debug\cuddZddIsop.obj +.\Debug\cuddZddLin.obj +.\Debug\cuddZddMisc.obj +.\Debug\cuddZddPort.obj +.\Debug\cuddZddReord.obj +.\Debug\cuddZddSetop.obj +.\Debug\cuddZddSymm.obj +.\Debug\cuddZddUtil.obj +.\Debug\epd.obj +.\Debug\mtrBasic.obj +.\Debug\mtrGroup.obj +.\Debug\parseCore.obj +.\Debug\parseStack.obj +.\Debug\dsdApi.obj +.\Debug\dsdCheck.obj +.\Debug\dsdLocal.obj +.\Debug\dsdMan.obj +.\Debug\dsdProc.obj +.\Debug\dsdTree.obj +.\Debug\reoApi.obj +.\Debug\reoCore.obj +.\Debug\reoProfile.obj +.\Debug\reoSift.obj +.\Debug\reoSwap.obj +.\Debug\reoTest.obj +.\Debug\reoTransfer.obj +.\Debug\reoUnits.obj +.\Debug\added.obj +.\Debug\solver.obj +.\Debug\msatActivity.obj +.\Debug\msatClause.obj +.\Debug\msatClauseVec.obj +.\Debug\msatMem.obj +.\Debug\msatOrderH.obj +.\Debug\msatQueue.obj +.\Debug\msatRead.obj +.\Debug\msatSolverApi.obj +.\Debug\msatSolverCore.obj +.\Debug\msatSolverIo.obj +.\Debug\msatSolverSearch.obj +.\Debug\msatSort.obj +.\Debug\msatVec.obj +.\Debug\fraigApi.obj +.\Debug\fraigCanon.obj +.\Debug\fraigFanout.obj +.\Debug\fraigFeed.obj +.\Debug\fraigMan.obj +.\Debug\fraigMem.obj +.\Debug\fraigNode.obj +.\Debug\fraigPrime.obj +.\Debug\fraigSat.obj +.\Debug\fraigTable.obj +.\Debug\fraigUtil.obj +.\Debug\fraigVec.obj +.\Debug\csat_apis.obj +.\Debug\fxu.obj +.\Debug\fxuCreate.obj +.\Debug\fxuHeapD.obj +.\Debug\fxuHeapS.obj +.\Debug\fxuList.obj +.\Debug\fxuMatrix.obj +.\Debug\fxuPair.obj +.\Debug\fxuPrint.obj +.\Debug\fxuReduce.obj +.\Debug\fxuSelect.obj +.\Debug\fxuSingle.obj +.\Debug\fxuUpdate.obj +.\Debug\rwrDec.obj +.\Debug\rwrEva.obj +.\Debug\rwrExp.obj +.\Debug\rwrLib.obj +.\Debug\rwrMan.obj +.\Debug\rwrPrint.obj +.\Debug\rwrUtil.obj +.\Debug\cutApi.obj +.\Debug\cutCut.obj +.\Debug\cutMan.obj +.\Debug\cutMerge.obj +.\Debug\cutNode.obj +.\Debug\cutOracle.obj +.\Debug\cutSeq.obj +.\Debug\cutTruth.obj +.\Debug\decAbc.obj +.\Debug\decFactor.obj +.\Debug\decMan.obj +.\Debug\decPrint.obj +.\Debug\decUtil.obj +.\Debug\simMan.obj +.\Debug\simSat.obj +.\Debug\simSeq.obj +.\Debug\simSupp.obj +.\Debug\simSwitch.obj +.\Debug\simSym.obj +.\Debug\simSymSat.obj +.\Debug\simSymSim.obj +.\Debug\simSymStr.obj +.\Debug\simUtils.obj +.\Debug\fpga.obj +.\Debug\fpgaCore.obj +.\Debug\fpgaCreate.obj +.\Debug\fpgaCut.obj +.\Debug\fpgaCutUtils.obj +.\Debug\fpgaFanout.obj +.\Debug\fpgaLib.obj +.\Debug\fpgaMatch.obj +.\Debug\fpgaSwitch.obj +.\Debug\fpgaTime.obj +.\Debug\fpgaTruth.obj +.\Debug\fpgaUtils.obj +.\Debug\fpgaVec.obj +.\Debug\mapper.obj +.\Debug\mapperCanon.obj +.\Debug\mapperCore.obj +.\Debug\mapperCreate.obj +.\Debug\mapperCut.obj +.\Debug\mapperCutUtils.obj +.\Debug\mapperFanout.obj +.\Debug\mapperLib.obj +.\Debug\mapperMatch.obj +.\Debug\mapperRefs.obj +.\Debug\mapperSuper.obj +.\Debug\mapperSwitch.obj +.\Debug\mapperTable.obj +.\Debug\mapperTime.obj +.\Debug\mapperTree.obj +.\Debug\mapperTruth.obj +.\Debug\mapperUtils.obj +.\Debug\mapperVec.obj +.\Debug\mio.obj +.\Debug\mioApi.obj +.\Debug\mioFunc.obj +.\Debug\mioRead.obj +.\Debug\mioUtils.obj +.\Debug\super.obj +.\Debug\superAnd.obj +.\Debug\superGate.obj +.\Debug\superWrite.obj +.\Debug\pgaCore.obj +.\Debug\pgaMan.obj +.\Debug\pgaMatch.obj +.\Debug\pgaUtil.obj +.\Debug\extraBddKmap.obj +.\Debug\extraBddMisc.obj +.\Debug\extraBddSymm.obj +.\Debug\extraUtilBitMatrix.obj +.\Debug\extraUtilCanon.obj +.\Debug\extraUtilFile.obj +.\Debug\extraUtilMemory.obj +.\Debug\extraUtilMisc.obj +.\Debug\extraUtilProgress.obj +.\Debug\extraUtilReader.obj +.\Debug\st.obj +.\Debug\stmm.obj +.\Debug\cpu_stats.obj +.\Debug\cpu_time.obj +.\Debug\datalimit.obj +.\Debug\getopt.obj +.\Debug\pathsearch.obj +.\Debug\safe_mem.obj +.\Debug\strsav.obj +.\Debug\texpand.obj +.\Debug\mvc.obj +.\Debug\mvcApi.obj +.\Debug\mvcCompare.obj +.\Debug\mvcContain.obj +.\Debug\mvcCover.obj +.\Debug\mvcCube.obj +.\Debug\mvcDivide.obj +.\Debug\mvcDivisor.obj +.\Debug\mvcList.obj +.\Debug\mvcLits.obj +.\Debug\mvcMan.obj +.\Debug\mvcOpAlg.obj +.\Debug\mvcOpBool.obj +.\Debug\mvcPrint.obj +.\Debug\mvcSort.obj +.\Debug\mvcUtils.obj ] -Creating command line "link.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP22A.tmp" +Creating command line "link.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP71D.tmp"Output Window
Compiling... -abcVanImp.c +abc.c Linking... -Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP22C.tmp" with contents +Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP71E.tmp" with contents [ -/nologo /o"Release/abc.bsc" -.\Release\abcAig.sbr -.\Release\abcCheck.sbr -.\Release\abcDfs.sbr -.\Release\abcFanio.sbr -.\Release\abcFunc.sbr -.\Release\abcLatch.sbr -.\Release\abcMinBase.sbr -.\Release\abcNames.sbr -.\Release\abcNetlist.sbr -.\Release\abcNtk.sbr -.\Release\abcObj.sbr -.\Release\abcRefs.sbr -.\Release\abcShow.sbr -.\Release\abcSop.sbr -.\Release\abcUtil.sbr -.\Release\abc.sbr -.\Release\abcAttach.sbr -.\Release\abcBalance.sbr -.\Release\abcCollapse.sbr -.\Release\abcCut.sbr -.\Release\abcDsd.sbr -.\Release\abcFpga.sbr -.\Release\abcFraig.sbr -.\Release\abcFxu.sbr -.\Release\abcMap.sbr -.\Release\abcMiter.sbr -.\Release\abcNtbdd.sbr -.\Release\abcPga.sbr -.\Release\abcPrint.sbr -.\Release\abcReconv.sbr -.\Release\abcRefactor.sbr -.\Release\abcRenode.sbr -.\Release\abcRewrite.sbr -.\Release\abcSat.sbr -.\Release\abcStrash.sbr -.\Release\abcSweep.sbr -.\Release\abcSymm.sbr -.\Release\abcTiming.sbr -.\Release\abcUnreach.sbr -.\Release\abcVanEijk.sbr -.\Release\abcVanImp.sbr -.\Release\abcVerify.sbr -.\Release\abcFpgaDelay.sbr -.\Release\abcFpgaSeq.sbr -.\Release\abcRetCore.sbr -.\Release\abcRetDelay.sbr -.\Release\abcRetImpl.sbr -.\Release\abcRetUtil.sbr -.\Release\abcSeq.sbr -.\Release\abcSeqMan.sbr -.\Release\abcShare.sbr -.\Release\abcUtils.sbr -.\Release\cmd.sbr -.\Release\cmdAlias.sbr -.\Release\cmdApi.sbr -.\Release\cmdFlag.sbr -.\Release\cmdHist.sbr -.\Release\cmdUtils.sbr -.\Release\io.sbr -.\Release\ioRead.sbr -.\Release\ioReadBaf.sbr -.\Release\ioReadBench.sbr -.\Release\ioReadBlif.sbr -.\Release\ioReadEdif.sbr -.\Release\ioReadEqn.sbr -.\Release\ioReadPla.sbr -.\Release\ioReadVerilog.sbr -.\Release\ioUtil.sbr -.\Release\ioWriteBaf.sbr -.\Release\ioWriteBench.sbr -.\Release\ioWriteBlif.sbr -.\Release\ioWriteCnf.sbr -.\Release\ioWriteDot.sbr -.\Release\ioWriteEqn.sbr -.\Release\ioWriteGml.sbr -.\Release\ioWritePla.sbr -.\Release\libSupport.sbr -.\Release\main.sbr -.\Release\mainFrame.sbr -.\Release\mainInit.sbr -.\Release\mainUtils.sbr -.\Release\cuddAddAbs.sbr -.\Release\cuddAddApply.sbr -.\Release\cuddAddFind.sbr -.\Release\cuddAddInv.sbr -.\Release\cuddAddIte.sbr -.\Release\cuddAddNeg.sbr -.\Release\cuddAddWalsh.sbr -.\Release\cuddAndAbs.sbr -.\Release\cuddAnneal.sbr -.\Release\cuddApa.sbr -.\Release\cuddAPI.sbr -.\Release\cuddApprox.sbr -.\Release\cuddBddAbs.sbr -.\Release\cuddBddCorr.sbr -.\Release\cuddBddIte.sbr -.\Release\cuddBridge.sbr -.\Release\cuddCache.sbr -.\Release\cuddCheck.sbr -.\Release\cuddClip.sbr -.\Release\cuddCof.sbr -.\Release\cuddCompose.sbr -.\Release\cuddDecomp.sbr -.\Release\cuddEssent.sbr -.\Release\cuddExact.sbr -.\Release\cuddExport.sbr -.\Release\cuddGenCof.sbr -.\Release\cuddGenetic.sbr -.\Release\cuddGroup.sbr -.\Release\cuddHarwell.sbr -.\Release\cuddInit.sbr -.\Release\cuddInteract.sbr -.\Release\cuddLCache.sbr -.\Release\cuddLevelQ.sbr -.\Release\cuddLinear.sbr -.\Release\cuddLiteral.sbr -.\Release\cuddMatMult.sbr -.\Release\cuddPriority.sbr -.\Release\cuddRead.sbr -.\Release\cuddRef.sbr -.\Release\cuddReorder.sbr -.\Release\cuddSat.sbr -.\Release\cuddSign.sbr -.\Release\cuddSolve.sbr -.\Release\cuddSplit.sbr -.\Release\cuddSubsetHB.sbr -.\Release\cuddSubsetSP.sbr -.\Release\cuddSymmetry.sbr -.\Release\cuddTable.sbr -.\Release\cuddUtil.sbr -.\Release\cuddWindow.sbr -.\Release\cuddZddCount.sbr -.\Release\cuddZddFuncs.sbr -.\Release\cuddZddGroup.sbr -.\Release\cuddZddIsop.sbr -.\Release\cuddZddLin.sbr -.\Release\cuddZddMisc.sbr -.\Release\cuddZddPort.sbr -.\Release\cuddZddReord.sbr -.\Release\cuddZddSetop.sbr -.\Release\cuddZddSymm.sbr -.\Release\cuddZddUtil.sbr -.\Release\epd.sbr -.\Release\mtrBasic.sbr -.\Release\mtrGroup.sbr -.\Release\parseCore.sbr -.\Release\parseStack.sbr -.\Release\dsdApi.sbr -.\Release\dsdCheck.sbr -.\Release\dsdLocal.sbr -.\Release\dsdMan.sbr -.\Release\dsdProc.sbr -.\Release\dsdTree.sbr -.\Release\reoApi.sbr -.\Release\reoCore.sbr -.\Release\reoProfile.sbr -.\Release\reoSift.sbr -.\Release\reoSwap.sbr -.\Release\reoTest.sbr -.\Release\reoTransfer.sbr -.\Release\reoUnits.sbr -.\Release\added.sbr -.\Release\solver.sbr -.\Release\msatActivity.sbr -.\Release\msatClause.sbr -.\Release\msatClauseVec.sbr -.\Release\msatMem.sbr -.\Release\msatOrderH.sbr -.\Release\msatQueue.sbr -.\Release\msatRead.sbr -.\Release\msatSolverApi.sbr -.\Release\msatSolverCore.sbr -.\Release\msatSolverIo.sbr -.\Release\msatSolverSearch.sbr -.\Release\msatSort.sbr -.\Release\msatVec.sbr -.\Release\fraigApi.sbr -.\Release\fraigCanon.sbr -.\Release\fraigFanout.sbr -.\Release\fraigFeed.sbr -.\Release\fraigMan.sbr -.\Release\fraigMem.sbr -.\Release\fraigNode.sbr -.\Release\fraigPrime.sbr -.\Release\fraigSat.sbr -.\Release\fraigTable.sbr -.\Release\fraigUtil.sbr -.\Release\fraigVec.sbr -.\Release\csat_apis.sbr -.\Release\fxu.sbr -.\Release\fxuCreate.sbr -.\Release\fxuHeapD.sbr -.\Release\fxuHeapS.sbr -.\Release\fxuList.sbr -.\Release\fxuMatrix.sbr -.\Release\fxuPair.sbr -.\Release\fxuPrint.sbr -.\Release\fxuReduce.sbr -.\Release\fxuSelect.sbr -.\Release\fxuSingle.sbr -.\Release\fxuUpdate.sbr -.\Release\rwrDec.sbr -.\Release\rwrEva.sbr -.\Release\rwrExp.sbr -.\Release\rwrLib.sbr -.\Release\rwrMan.sbr -.\Release\rwrPrint.sbr -.\Release\rwrUtil.sbr -.\Release\cutApi.sbr -.\Release\cutCut.sbr -.\Release\cutMan.sbr -.\Release\cutMerge.sbr -.\Release\cutNode.sbr -.\Release\cutOracle.sbr -.\Release\cutSeq.sbr -.\Release\cutTruth.sbr -.\Release\decAbc.sbr -.\Release\decFactor.sbr -.\Release\decMan.sbr -.\Release\decPrint.sbr -.\Release\decUtil.sbr -.\Release\simMan.sbr -.\Release\simSat.sbr -.\Release\simSeq.sbr -.\Release\simSupp.sbr -.\Release\simSwitch.sbr -.\Release\simSym.sbr -.\Release\simSymSat.sbr -.\Release\simSymSim.sbr -.\Release\simSymStr.sbr -.\Release\simUtils.sbr -.\Release\fpga.sbr -.\Release\fpgaCore.sbr -.\Release\fpgaCreate.sbr -.\Release\fpgaCut.sbr -.\Release\fpgaCutUtils.sbr -.\Release\fpgaFanout.sbr -.\Release\fpgaLib.sbr -.\Release\fpgaMatch.sbr -.\Release\fpgaSwitch.sbr -.\Release\fpgaTime.sbr -.\Release\fpgaTruth.sbr -.\Release\fpgaUtils.sbr -.\Release\fpgaVec.sbr -.\Release\mapper.sbr -.\Release\mapperCanon.sbr -.\Release\mapperCore.sbr -.\Release\mapperCreate.sbr -.\Release\mapperCut.sbr -.\Release\mapperCutUtils.sbr -.\Release\mapperFanout.sbr -.\Release\mapperLib.sbr -.\Release\mapperMatch.sbr -.\Release\mapperRefs.sbr -.\Release\mapperSuper.sbr -.\Release\mapperSwitch.sbr -.\Release\mapperTable.sbr -.\Release\mapperTime.sbr -.\Release\mapperTree.sbr -.\Release\mapperTruth.sbr -.\Release\mapperUtils.sbr -.\Release\mapperVec.sbr -.\Release\mio.sbr -.\Release\mioApi.sbr -.\Release\mioFunc.sbr -.\Release\mioRead.sbr -.\Release\mioUtils.sbr -.\Release\super.sbr -.\Release\superAnd.sbr -.\Release\superGate.sbr -.\Release\superWrite.sbr -.\Release\pgaCore.sbr -.\Release\pgaMan.sbr -.\Release\pgaMatch.sbr -.\Release\pgaUtil.sbr -.\Release\extraBddKmap.sbr -.\Release\extraBddMisc.sbr -.\Release\extraBddSymm.sbr -.\Release\extraUtilBitMatrix.sbr -.\Release\extraUtilCanon.sbr -.\Release\extraUtilFile.sbr -.\Release\extraUtilMemory.sbr -.\Release\extraUtilMisc.sbr -.\Release\extraUtilProgress.sbr -.\Release\extraUtilReader.sbr -.\Release\st.sbr -.\Release\stmm.sbr -.\Release\cpu_stats.sbr -.\Release\cpu_time.sbr -.\Release\datalimit.sbr -.\Release\getopt.sbr -.\Release\pathsearch.sbr -.\Release\safe_mem.sbr -.\Release\strsav.sbr -.\Release\texpand.sbr -.\Release\mvc.sbr -.\Release\mvcApi.sbr -.\Release\mvcCompare.sbr -.\Release\mvcContain.sbr -.\Release\mvcCover.sbr -.\Release\mvcCube.sbr -.\Release\mvcDivide.sbr -.\Release\mvcDivisor.sbr -.\Release\mvcList.sbr -.\Release\mvcLits.sbr -.\Release\mvcMan.sbr -.\Release\mvcOpAlg.sbr -.\Release\mvcOpBool.sbr -.\Release\mvcPrint.sbr -.\Release\mvcSort.sbr -.\Release\mvcUtils.sbr] -Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP22C.tmp" +/nologo /o"Debug/abc.bsc" +.\Debug\abcAig.sbr +.\Debug\abcCheck.sbr +.\Debug\abcDfs.sbr +.\Debug\abcFanio.sbr +.\Debug\abcFunc.sbr +.\Debug\abcLatch.sbr +.\Debug\abcMinBase.sbr +.\Debug\abcNames.sbr +.\Debug\abcNetlist.sbr +.\Debug\abcNtk.sbr +.\Debug\abcObj.sbr +.\Debug\abcRefs.sbr +.\Debug\abcShow.sbr +.\Debug\abcSop.sbr +.\Debug\abcUtil.sbr +.\Debug\abc.sbr +.\Debug\abcAttach.sbr +.\Debug\abcBalance.sbr +.\Debug\abcCollapse.sbr +.\Debug\abcCut.sbr +.\Debug\abcDsd.sbr +.\Debug\abcFpga.sbr +.\Debug\abcFraig.sbr +.\Debug\abcFxu.sbr +.\Debug\abcMap.sbr +.\Debug\abcMiter.sbr +.\Debug\abcNtbdd.sbr +.\Debug\abcPga.sbr +.\Debug\abcPrint.sbr +.\Debug\abcReconv.sbr +.\Debug\abcRefactor.sbr +.\Debug\abcRenode.sbr +.\Debug\abcRewrite.sbr +.\Debug\abcSat.sbr +.\Debug\abcStrash.sbr +.\Debug\abcSweep.sbr +.\Debug\abcSymm.sbr +.\Debug\abcTiming.sbr +.\Debug\abcUnreach.sbr +.\Debug\abcVanEijk.sbr +.\Debug\abcVanImp.sbr +.\Debug\abcVerify.sbr +.\Debug\cmd.sbr +.\Debug\cmdAlias.sbr +.\Debug\cmdApi.sbr +.\Debug\cmdFlag.sbr +.\Debug\cmdHist.sbr +.\Debug\cmdUtils.sbr +.\Debug\io.sbr +.\Debug\ioRead.sbr +.\Debug\ioReadBaf.sbr +.\Debug\ioReadBench.sbr +.\Debug\ioReadBlif.sbr +.\Debug\ioReadEdif.sbr +.\Debug\ioReadEqn.sbr +.\Debug\ioReadPla.sbr +.\Debug\ioReadVerilog.sbr +.\Debug\ioUtil.sbr +.\Debug\ioWriteBaf.sbr +.\Debug\ioWriteBench.sbr +.\Debug\ioWriteBlif.sbr +.\Debug\ioWriteCnf.sbr +.\Debug\ioWriteDot.sbr +.\Debug\ioWriteEqn.sbr +.\Debug\ioWriteGml.sbr +.\Debug\ioWriteList.sbr +.\Debug\ioWritePla.sbr +.\Debug\libSupport.sbr +.\Debug\main.sbr +.\Debug\mainFrame.sbr +.\Debug\mainInit.sbr +.\Debug\mainUtils.sbr +.\Debug\seqCreate.sbr +.\Debug\seqFpgaCore.sbr +.\Debug\seqFpgaIter.sbr +.\Debug\seqLatch.sbr +.\Debug\seqMan.sbr +.\Debug\seqMapCore.sbr +.\Debug\seqMapIter.sbr +.\Debug\seqRetCore.sbr +.\Debug\seqRetIter.sbr +.\Debug\seqShare.sbr +.\Debug\seqUtil.sbr +.\Debug\cuddAddAbs.sbr +.\Debug\cuddAddApply.sbr +.\Debug\cuddAddFind.sbr +.\Debug\cuddAddInv.sbr +.\Debug\cuddAddIte.sbr +.\Debug\cuddAddNeg.sbr +.\Debug\cuddAddWalsh.sbr +.\Debug\cuddAndAbs.sbr +.\Debug\cuddAnneal.sbr +.\Debug\cuddApa.sbr +.\Debug\cuddAPI.sbr +.\Debug\cuddApprox.sbr +.\Debug\cuddBddAbs.sbr +.\Debug\cuddBddCorr.sbr +.\Debug\cuddBddIte.sbr +.\Debug\cuddBridge.sbr +.\Debug\cuddCache.sbr +.\Debug\cuddCheck.sbr +.\Debug\cuddClip.sbr +.\Debug\cuddCof.sbr +.\Debug\cuddCompose.sbr +.\Debug\cuddDecomp.sbr +.\Debug\cuddEssent.sbr +.\Debug\cuddExact.sbr +.\Debug\cuddExport.sbr +.\Debug\cuddGenCof.sbr +.\Debug\cuddGenetic.sbr +.\Debug\cuddGroup.sbr +.\Debug\cuddHarwell.sbr +.\Debug\cuddInit.sbr +.\Debug\cuddInteract.sbr +.\Debug\cuddLCache.sbr +.\Debug\cuddLevelQ.sbr +.\Debug\cuddLinear.sbr +.\Debug\cuddLiteral.sbr +.\Debug\cuddMatMult.sbr +.\Debug\cuddPriority.sbr +.\Debug\cuddRead.sbr +.\Debug\cuddRef.sbr +.\Debug\cuddReorder.sbr +.\Debug\cuddSat.sbr +.\Debug\cuddSign.sbr +.\Debug\cuddSolve.sbr +.\Debug\cuddSplit.sbr +.\Debug\cuddSubsetHB.sbr +.\Debug\cuddSubsetSP.sbr +.\Debug\cuddSymmetry.sbr +.\Debug\cuddTable.sbr +.\Debug\cuddUtil.sbr +.\Debug\cuddWindow.sbr +.\Debug\cuddZddCount.sbr +.\Debug\cuddZddFuncs.sbr +.\Debug\cuddZddGroup.sbr +.\Debug\cuddZddIsop.sbr +.\Debug\cuddZddLin.sbr +.\Debug\cuddZddMisc.sbr +.\Debug\cuddZddPort.sbr +.\Debug\cuddZddReord.sbr +.\Debug\cuddZddSetop.sbr +.\Debug\cuddZddSymm.sbr +.\Debug\cuddZddUtil.sbr +.\Debug\epd.sbr +.\Debug\mtrBasic.sbr +.\Debug\mtrGroup.sbr +.\Debug\parseCore.sbr +.\Debug\parseStack.sbr +.\Debug\dsdApi.sbr +.\Debug\dsdCheck.sbr +.\Debug\dsdLocal.sbr +.\Debug\dsdMan.sbr +.\Debug\dsdProc.sbr +.\Debug\dsdTree.sbr +.\Debug\reoApi.sbr +.\Debug\reoCore.sbr +.\Debug\reoProfile.sbr +.\Debug\reoSift.sbr +.\Debug\reoSwap.sbr +.\Debug\reoTest.sbr +.\Debug\reoTransfer.sbr +.\Debug\reoUnits.sbr +.\Debug\added.sbr +.\Debug\solver.sbr +.\Debug\msatActivity.sbr +.\Debug\msatClause.sbr +.\Debug\msatClauseVec.sbr +.\Debug\msatMem.sbr +.\Debug\msatOrderH.sbr +.\Debug\msatQueue.sbr +.\Debug\msatRead.sbr +.\Debug\msatSolverApi.sbr +.\Debug\msatSolverCore.sbr +.\Debug\msatSolverIo.sbr +.\Debug\msatSolverSearch.sbr +.\Debug\msatSort.sbr +.\Debug\msatVec.sbr +.\Debug\fraigApi.sbr +.\Debug\fraigCanon.sbr +.\Debug\fraigFanout.sbr +.\Debug\fraigFeed.sbr +.\Debug\fraigMan.sbr +.\Debug\fraigMem.sbr +.\Debug\fraigNode.sbr +.\Debug\fraigPrime.sbr +.\Debug\fraigSat.sbr +.\Debug\fraigTable.sbr +.\Debug\fraigUtil.sbr +.\Debug\fraigVec.sbr +.\Debug\csat_apis.sbr +.\Debug\fxu.sbr +.\Debug\fxuCreate.sbr +.\Debug\fxuHeapD.sbr +.\Debug\fxuHeapS.sbr +.\Debug\fxuList.sbr +.\Debug\fxuMatrix.sbr +.\Debug\fxuPair.sbr +.\Debug\fxuPrint.sbr +.\Debug\fxuReduce.sbr +.\Debug\fxuSelect.sbr +.\Debug\fxuSingle.sbr +.\Debug\fxuUpdate.sbr +.\Debug\rwrDec.sbr +.\Debug\rwrEva.sbr +.\Debug\rwrExp.sbr +.\Debug\rwrLib.sbr +.\Debug\rwrMan.sbr +.\Debug\rwrPrint.sbr +.\Debug\rwrUtil.sbr +.\Debug\cutApi.sbr +.\Debug\cutCut.sbr +.\Debug\cutMan.sbr +.\Debug\cutMerge.sbr +.\Debug\cutNode.sbr +.\Debug\cutOracle.sbr +.\Debug\cutSeq.sbr +.\Debug\cutTruth.sbr +.\Debug\decAbc.sbr +.\Debug\decFactor.sbr +.\Debug\decMan.sbr +.\Debug\decPrint.sbr +.\Debug\decUtil.sbr +.\Debug\simMan.sbr +.\Debug\simSat.sbr +.\Debug\simSeq.sbr +.\Debug\simSupp.sbr +.\Debug\simSwitch.sbr +.\Debug\simSym.sbr +.\Debug\simSymSat.sbr +.\Debug\simSymSim.sbr +.\Debug\simSymStr.sbr +.\Debug\simUtils.sbr +.\Debug\fpga.sbr +.\Debug\fpgaCore.sbr +.\Debug\fpgaCreate.sbr +.\Debug\fpgaCut.sbr +.\Debug\fpgaCutUtils.sbr +.\Debug\fpgaFanout.sbr +.\Debug\fpgaLib.sbr +.\Debug\fpgaMatch.sbr +.\Debug\fpgaSwitch.sbr +.\Debug\fpgaTime.sbr +.\Debug\fpgaTruth.sbr +.\Debug\fpgaUtils.sbr +.\Debug\fpgaVec.sbr +.\Debug\mapper.sbr +.\Debug\mapperCanon.sbr +.\Debug\mapperCore.sbr +.\Debug\mapperCreate.sbr +.\Debug\mapperCut.sbr +.\Debug\mapperCutUtils.sbr +.\Debug\mapperFanout.sbr +.\Debug\mapperLib.sbr +.\Debug\mapperMatch.sbr +.\Debug\mapperRefs.sbr +.\Debug\mapperSuper.sbr +.\Debug\mapperSwitch.sbr +.\Debug\mapperTable.sbr +.\Debug\mapperTime.sbr +.\Debug\mapperTree.sbr +.\Debug\mapperTruth.sbr +.\Debug\mapperUtils.sbr +.\Debug\mapperVec.sbr +.\Debug\mio.sbr +.\Debug\mioApi.sbr +.\Debug\mioFunc.sbr +.\Debug\mioRead.sbr +.\Debug\mioUtils.sbr +.\Debug\super.sbr +.\Debug\superAnd.sbr +.\Debug\superGate.sbr +.\Debug\superWrite.sbr +.\Debug\pgaCore.sbr +.\Debug\pgaMan.sbr +.\Debug\pgaMatch.sbr +.\Debug\pgaUtil.sbr +.\Debug\extraBddKmap.sbr +.\Debug\extraBddMisc.sbr +.\Debug\extraBddSymm.sbr +.\Debug\extraUtilBitMatrix.sbr +.\Debug\extraUtilCanon.sbr +.\Debug\extraUtilFile.sbr +.\Debug\extraUtilMemory.sbr +.\Debug\extraUtilMisc.sbr +.\Debug\extraUtilProgress.sbr +.\Debug\extraUtilReader.sbr +.\Debug\st.sbr +.\Debug\stmm.sbr +.\Debug\cpu_stats.sbr +.\Debug\cpu_time.sbr +.\Debug\datalimit.sbr +.\Debug\getopt.sbr +.\Debug\pathsearch.sbr +.\Debug\safe_mem.sbr +.\Debug\strsav.sbr +.\Debug\texpand.sbr +.\Debug\mvc.sbr +.\Debug\mvcApi.sbr +.\Debug\mvcCompare.sbr +.\Debug\mvcContain.sbr +.\Debug\mvcCover.sbr +.\Debug\mvcCube.sbr +.\Debug\mvcDivide.sbr +.\Debug\mvcDivisor.sbr +.\Debug\mvcList.sbr +.\Debug\mvcLits.sbr +.\Debug\mvcMan.sbr +.\Debug\mvcOpAlg.sbr +.\Debug\mvcOpBool.sbr +.\Debug\mvcPrint.sbr +.\Debug\mvcSort.sbr +.\Debug\mvcUtils.sbr] +Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP71E.tmp" Creating browse info file...Output Window
diff --git a/abc.rc b/abc.rc index c48cd178b..91c2e8aec 100644 --- a/abc.rc +++ b/abc.rc @@ -70,4 +70,5 @@ alias thin "rwz; rfz; b; ps" alias reti "st; seq; ret; unseq; st" alias retis "st; seq; ret; unseq -s; st" alias choice "fraig_store; resyn; fraig_store; resyn2; fraig_store; fraig_restore" +alias stest "st; ps; seq; ps; unseq; st; ps; sec" diff --git a/abclib.plg b/abclib.plg index ebdda06a9..8e4693811 100644 --- a/abclib.plg +++ b/abclib.plg @@ -3,619 +3,661 @@Build Log
---------------------Configuration: abclib - Win32 Release-------------------- +--------------------Configuration: abclib - Win32 Debug--------------------
Command Lines
-Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1014.tmp" with contents +Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP78F.tmp" with contents [ -/nologo /ML /W3 /GX /O2 /I "src\base\abc" /I "src\base\abci" /I "src\base\abcs" /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\asat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\cut" /I "src\opt\dec" /I "src\opt\fxu" /I "src\opt\rwr" /I "src\map\fpga" /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\vec" /D "WIN32" /D "NDEBUG" /D "_MBCS" /D "_LIB" /D "__STDC__" /D "HAVE_ASSERT_H" /FR"abclib\ReleaseLib/" /Fp"abclib\ReleaseLib/abclib.pch" /YX /Fo"abclib\ReleaseLib/" /Fd"abclib\ReleaseLib/" /FD /c -"C:\_projects\abc\src\base\abci\abcRenode.c" -"C:\_projects\abc\src\base\abci\abcSat.c" -"C:\_projects\abc\src\base\main\main.c" -"C:\_projects\abc\src\sat\csat\csat_apis.c" +/nologo /MLd /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\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\mapp" /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 "_MBCS" /D "_LIB" /D "__STDC__" /D "HAVE_ASSERT_H" /FR"abclib\DebugLib/" /Fp"abclib\DebugLib/abclib.pch" /YX /Fo"abclib\DebugLib/" /Fd"abclib\DebugLib/" /FD /GZ /c +"C:\_projects\abc\src\map\mio\mioRead.c" ] -Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1014.tmp" -Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1015.tmp" with contents +Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP78F.tmp" +Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP790.tmp" with contents [ -/nologo /out:"abclib\abclib_release.lib" -.\abclib\ReleaseLib\abcAig.obj -.\abclib\ReleaseLib\abcCheck.obj -.\abclib\ReleaseLib\abcDfs.obj -.\abclib\ReleaseLib\abcFanio.obj -.\abclib\ReleaseLib\abcFunc.obj -.\abclib\ReleaseLib\abcLatch.obj -.\abclib\ReleaseLib\abcMinBase.obj -.\abclib\ReleaseLib\abcNames.obj -.\abclib\ReleaseLib\abcNetlist.obj -.\abclib\ReleaseLib\abcNtk.obj -.\abclib\ReleaseLib\abcObj.obj -.\abclib\ReleaseLib\abcRefs.obj -.\abclib\ReleaseLib\abcShow.obj -.\abclib\ReleaseLib\abcSop.obj -.\abclib\ReleaseLib\abcUtil.obj -.\abclib\ReleaseLib\abc.obj -.\abclib\ReleaseLib\abcAttach.obj -.\abclib\ReleaseLib\abcBalance.obj -.\abclib\ReleaseLib\abcCollapse.obj -.\abclib\ReleaseLib\abcCut.obj -.\abclib\ReleaseLib\abcDsd.obj -.\abclib\ReleaseLib\abcFpga.obj -.\abclib\ReleaseLib\abcFraig.obj -.\abclib\ReleaseLib\abcFxu.obj -.\abclib\ReleaseLib\abcMap.obj -.\abclib\ReleaseLib\abcMiter.obj -.\abclib\ReleaseLib\abcNtbdd.obj -.\abclib\ReleaseLib\abcPrint.obj -.\abclib\ReleaseLib\abcReconv.obj -.\abclib\ReleaseLib\abcRefactor.obj -.\abclib\ReleaseLib\abcRenode.obj -.\abclib\ReleaseLib\abcRewrite.obj -.\abclib\ReleaseLib\abcSat.obj -.\abclib\ReleaseLib\abcStrash.obj -.\abclib\ReleaseLib\abcSweep.obj -.\abclib\ReleaseLib\abcSymm.obj -.\abclib\ReleaseLib\abcTiming.obj -.\abclib\ReleaseLib\abcUnreach.obj -.\abclib\ReleaseLib\abcVerify.obj -.\abclib\ReleaseLib\abcRetime.obj -.\abclib\ReleaseLib\abcSeq.obj -.\abclib\ReleaseLib\cmd.obj -.\abclib\ReleaseLib\cmdAlias.obj -.\abclib\ReleaseLib\cmdApi.obj -.\abclib\ReleaseLib\cmdFlag.obj -.\abclib\ReleaseLib\cmdHist.obj -.\abclib\ReleaseLib\cmdUtils.obj -.\abclib\ReleaseLib\io.obj -.\abclib\ReleaseLib\ioRead.obj -.\abclib\ReleaseLib\ioReadBench.obj -.\abclib\ReleaseLib\ioReadBlif.obj -.\abclib\ReleaseLib\ioReadEdif.obj -.\abclib\ReleaseLib\ioReadEqn.obj -.\abclib\ReleaseLib\ioReadPla.obj -.\abclib\ReleaseLib\ioReadVerilog.obj -.\abclib\ReleaseLib\ioUtil.obj -.\abclib\ReleaseLib\ioWriteBench.obj -.\abclib\ReleaseLib\ioWriteBlif.obj -.\abclib\ReleaseLib\ioWriteCnf.obj -.\abclib\ReleaseLib\ioWriteDot.obj -.\abclib\ReleaseLib\ioWriteEqn.obj -.\abclib\ReleaseLib\ioWriteGml.obj -.\abclib\ReleaseLib\ioWritePla.obj -.\abclib\ReleaseLib\main.obj -.\abclib\ReleaseLib\mainFrame.obj -.\abclib\ReleaseLib\mainInit.obj -.\abclib\ReleaseLib\mainUtils.obj -.\abclib\ReleaseLib\cuddAddAbs.obj -.\abclib\ReleaseLib\cuddAddApply.obj -.\abclib\ReleaseLib\cuddAddFind.obj -.\abclib\ReleaseLib\cuddAddInv.obj -.\abclib\ReleaseLib\cuddAddIte.obj -.\abclib\ReleaseLib\cuddAddNeg.obj -.\abclib\ReleaseLib\cuddAddWalsh.obj -.\abclib\ReleaseLib\cuddAndAbs.obj -.\abclib\ReleaseLib\cuddAnneal.obj -.\abclib\ReleaseLib\cuddApa.obj -.\abclib\ReleaseLib\cuddAPI.obj -.\abclib\ReleaseLib\cuddApprox.obj -.\abclib\ReleaseLib\cuddBddAbs.obj -.\abclib\ReleaseLib\cuddBddCorr.obj -.\abclib\ReleaseLib\cuddBddIte.obj -.\abclib\ReleaseLib\cuddBridge.obj -.\abclib\ReleaseLib\cuddCache.obj -.\abclib\ReleaseLib\cuddCheck.obj -.\abclib\ReleaseLib\cuddClip.obj -.\abclib\ReleaseLib\cuddCof.obj -.\abclib\ReleaseLib\cuddCompose.obj -.\abclib\ReleaseLib\cuddDecomp.obj -.\abclib\ReleaseLib\cuddEssent.obj -.\abclib\ReleaseLib\cuddExact.obj -.\abclib\ReleaseLib\cuddExport.obj -.\abclib\ReleaseLib\cuddGenCof.obj -.\abclib\ReleaseLib\cuddGenetic.obj -.\abclib\ReleaseLib\cuddGroup.obj -.\abclib\ReleaseLib\cuddHarwell.obj -.\abclib\ReleaseLib\cuddInit.obj -.\abclib\ReleaseLib\cuddInteract.obj -.\abclib\ReleaseLib\cuddLCache.obj -.\abclib\ReleaseLib\cuddLevelQ.obj -.\abclib\ReleaseLib\cuddLinear.obj -.\abclib\ReleaseLib\cuddLiteral.obj -.\abclib\ReleaseLib\cuddMatMult.obj -.\abclib\ReleaseLib\cuddPriority.obj -.\abclib\ReleaseLib\cuddRead.obj -.\abclib\ReleaseLib\cuddRef.obj -.\abclib\ReleaseLib\cuddReorder.obj -.\abclib\ReleaseLib\cuddSat.obj -.\abclib\ReleaseLib\cuddSign.obj -.\abclib\ReleaseLib\cuddSolve.obj -.\abclib\ReleaseLib\cuddSplit.obj -.\abclib\ReleaseLib\cuddSubsetHB.obj -.\abclib\ReleaseLib\cuddSubsetSP.obj -.\abclib\ReleaseLib\cuddSymmetry.obj -.\abclib\ReleaseLib\cuddTable.obj -.\abclib\ReleaseLib\cuddUtil.obj -.\abclib\ReleaseLib\cuddWindow.obj -.\abclib\ReleaseLib\cuddZddCount.obj -.\abclib\ReleaseLib\cuddZddFuncs.obj -.\abclib\ReleaseLib\cuddZddGroup.obj -.\abclib\ReleaseLib\cuddZddIsop.obj -.\abclib\ReleaseLib\cuddZddLin.obj -.\abclib\ReleaseLib\cuddZddMisc.obj -.\abclib\ReleaseLib\cuddZddPort.obj -.\abclib\ReleaseLib\cuddZddReord.obj -.\abclib\ReleaseLib\cuddZddSetop.obj -.\abclib\ReleaseLib\cuddZddSymm.obj -.\abclib\ReleaseLib\cuddZddUtil.obj -.\abclib\ReleaseLib\epd.obj -.\abclib\ReleaseLib\mtrBasic.obj -.\abclib\ReleaseLib\mtrGroup.obj -.\abclib\ReleaseLib\parseCore.obj -.\abclib\ReleaseLib\parseStack.obj -.\abclib\ReleaseLib\dsdApi.obj -.\abclib\ReleaseLib\dsdCheck.obj -.\abclib\ReleaseLib\dsdLocal.obj -.\abclib\ReleaseLib\dsdMan.obj -.\abclib\ReleaseLib\dsdProc.obj -.\abclib\ReleaseLib\dsdTree.obj -.\abclib\ReleaseLib\reoApi.obj -.\abclib\ReleaseLib\reoCore.obj -.\abclib\ReleaseLib\reoProfile.obj -.\abclib\ReleaseLib\reoSift.obj -.\abclib\ReleaseLib\reoSwap.obj -.\abclib\ReleaseLib\reoTest.obj -.\abclib\ReleaseLib\reoTransfer.obj -.\abclib\ReleaseLib\reoUnits.obj -.\abclib\ReleaseLib\added.obj -.\abclib\ReleaseLib\solver.obj -.\abclib\ReleaseLib\msatActivity.obj -.\abclib\ReleaseLib\msatClause.obj -.\abclib\ReleaseLib\msatClauseVec.obj -.\abclib\ReleaseLib\msatMem.obj -.\abclib\ReleaseLib\msatOrderJ.obj -.\abclib\ReleaseLib\msatQueue.obj -.\abclib\ReleaseLib\msatRead.obj -.\abclib\ReleaseLib\msatSolverApi.obj -.\abclib\ReleaseLib\msatSolverCore.obj -.\abclib\ReleaseLib\msatSolverIo.obj -.\abclib\ReleaseLib\msatSolverSearch.obj -.\abclib\ReleaseLib\msatSort.obj -.\abclib\ReleaseLib\msatVec.obj -.\abclib\ReleaseLib\fraigApi.obj -.\abclib\ReleaseLib\fraigCanon.obj -.\abclib\ReleaseLib\fraigFanout.obj -.\abclib\ReleaseLib\fraigFeed.obj -.\abclib\ReleaseLib\fraigMan.obj -.\abclib\ReleaseLib\fraigMem.obj -.\abclib\ReleaseLib\fraigNode.obj -.\abclib\ReleaseLib\fraigPrime.obj -.\abclib\ReleaseLib\fraigSat.obj -.\abclib\ReleaseLib\fraigTable.obj -.\abclib\ReleaseLib\fraigUtil.obj -.\abclib\ReleaseLib\fraigVec.obj -.\abclib\ReleaseLib\csat_apis.obj -.\abclib\ReleaseLib\fxu.obj -.\abclib\ReleaseLib\fxuCreate.obj -.\abclib\ReleaseLib\fxuHeapD.obj -.\abclib\ReleaseLib\fxuHeapS.obj -.\abclib\ReleaseLib\fxuList.obj -.\abclib\ReleaseLib\fxuMatrix.obj -.\abclib\ReleaseLib\fxuPair.obj -.\abclib\ReleaseLib\fxuPrint.obj -.\abclib\ReleaseLib\fxuReduce.obj -.\abclib\ReleaseLib\fxuSelect.obj -.\abclib\ReleaseLib\fxuSingle.obj -.\abclib\ReleaseLib\fxuUpdate.obj -.\abclib\ReleaseLib\rwrDec.obj -.\abclib\ReleaseLib\rwrEva.obj -.\abclib\ReleaseLib\rwrExp.obj -.\abclib\ReleaseLib\rwrLib.obj -.\abclib\ReleaseLib\rwrMan.obj -.\abclib\ReleaseLib\rwrPrint.obj -.\abclib\ReleaseLib\rwrUtil.obj -.\abclib\ReleaseLib\cutMan.obj -.\abclib\ReleaseLib\cutMerge.obj -.\abclib\ReleaseLib\cutNode.obj -.\abclib\ReleaseLib\cutSeq.obj -.\abclib\ReleaseLib\cutTable.obj -.\abclib\ReleaseLib\cutTruth.obj -.\abclib\ReleaseLib\decAbc.obj -.\abclib\ReleaseLib\decFactor.obj -.\abclib\ReleaseLib\decMan.obj -.\abclib\ReleaseLib\decPrint.obj -.\abclib\ReleaseLib\decUtil.obj -.\abclib\ReleaseLib\simMan.obj -.\abclib\ReleaseLib\simSat.obj -.\abclib\ReleaseLib\simSupp.obj -.\abclib\ReleaseLib\simSwitch.obj -.\abclib\ReleaseLib\simSym.obj -.\abclib\ReleaseLib\simSymSat.obj -.\abclib\ReleaseLib\simSymSim.obj -.\abclib\ReleaseLib\simSymStr.obj -.\abclib\ReleaseLib\simUtils.obj -.\abclib\ReleaseLib\fpga.obj -.\abclib\ReleaseLib\fpgaCore.obj -.\abclib\ReleaseLib\fpgaCreate.obj -.\abclib\ReleaseLib\fpgaCut.obj -.\abclib\ReleaseLib\fpgaCutUtils.obj -.\abclib\ReleaseLib\fpgaFanout.obj -.\abclib\ReleaseLib\fpgaLib.obj -.\abclib\ReleaseLib\fpgaMatch.obj -.\abclib\ReleaseLib\fpgaSwitch.obj -.\abclib\ReleaseLib\fpgaTime.obj -.\abclib\ReleaseLib\fpgaTruth.obj -.\abclib\ReleaseLib\fpgaUtils.obj -.\abclib\ReleaseLib\fpgaVec.obj -.\abclib\ReleaseLib\mapper.obj -.\abclib\ReleaseLib\mapperCanon.obj -.\abclib\ReleaseLib\mapperCore.obj -.\abclib\ReleaseLib\mapperCreate.obj -.\abclib\ReleaseLib\mapperCut.obj -.\abclib\ReleaseLib\mapperCutUtils.obj -.\abclib\ReleaseLib\mapperFanout.obj -.\abclib\ReleaseLib\mapperLib.obj -.\abclib\ReleaseLib\mapperMatch.obj -.\abclib\ReleaseLib\mapperRefs.obj -.\abclib\ReleaseLib\mapperSuper.obj -.\abclib\ReleaseLib\mapperSwitch.obj -.\abclib\ReleaseLib\mapperTable.obj -.\abclib\ReleaseLib\mapperTime.obj -.\abclib\ReleaseLib\mapperTree.obj -.\abclib\ReleaseLib\mapperTruth.obj -.\abclib\ReleaseLib\mapperUtils.obj -.\abclib\ReleaseLib\mapperVec.obj -.\abclib\ReleaseLib\mio.obj -.\abclib\ReleaseLib\mioApi.obj -.\abclib\ReleaseLib\mioFunc.obj -.\abclib\ReleaseLib\mioRead.obj -.\abclib\ReleaseLib\mioUtils.obj -.\abclib\ReleaseLib\super.obj -.\abclib\ReleaseLib\superAnd.obj -.\abclib\ReleaseLib\superGate.obj -.\abclib\ReleaseLib\superWrite.obj -.\abclib\ReleaseLib\extraBddMisc.obj -.\abclib\ReleaseLib\extraBddSymm.obj -.\abclib\ReleaseLib\extraUtilBitMatrix.obj -.\abclib\ReleaseLib\extraUtilCanon.obj -.\abclib\ReleaseLib\extraUtilFile.obj -.\abclib\ReleaseLib\extraUtilMemory.obj -.\abclib\ReleaseLib\extraUtilMisc.obj -.\abclib\ReleaseLib\extraUtilProgress.obj -.\abclib\ReleaseLib\extraUtilReader.obj -.\abclib\ReleaseLib\st.obj -.\abclib\ReleaseLib\stmm.obj -.\abclib\ReleaseLib\cpu_stats.obj -.\abclib\ReleaseLib\cpu_time.obj -.\abclib\ReleaseLib\datalimit.obj -.\abclib\ReleaseLib\getopt.obj -.\abclib\ReleaseLib\pathsearch.obj -.\abclib\ReleaseLib\safe_mem.obj -.\abclib\ReleaseLib\strsav.obj -.\abclib\ReleaseLib\texpand.obj -.\abclib\ReleaseLib\mvc.obj -.\abclib\ReleaseLib\mvcApi.obj -.\abclib\ReleaseLib\mvcCompare.obj -.\abclib\ReleaseLib\mvcContain.obj -.\abclib\ReleaseLib\mvcCover.obj -.\abclib\ReleaseLib\mvcCube.obj -.\abclib\ReleaseLib\mvcDivide.obj -.\abclib\ReleaseLib\mvcDivisor.obj -.\abclib\ReleaseLib\mvcList.obj -.\abclib\ReleaseLib\mvcLits.obj -.\abclib\ReleaseLib\mvcMan.obj -.\abclib\ReleaseLib\mvcOpAlg.obj -.\abclib\ReleaseLib\mvcOpBool.obj -.\abclib\ReleaseLib\mvcPrint.obj -.\abclib\ReleaseLib\mvcSort.obj -.\abclib\ReleaseLib\mvcUtils.obj +/nologo /out:"abclib\abclib_debug.lib" +.\abclib\DebugLib\abcAig.obj +.\abclib\DebugLib\abcCheck.obj +.\abclib\DebugLib\abcDfs.obj +.\abclib\DebugLib\abcFanio.obj +.\abclib\DebugLib\abcFunc.obj +.\abclib\DebugLib\abcLatch.obj +.\abclib\DebugLib\abcMinBase.obj +.\abclib\DebugLib\abcNames.obj +.\abclib\DebugLib\abcNetlist.obj +.\abclib\DebugLib\abcNtk.obj +.\abclib\DebugLib\abcObj.obj +.\abclib\DebugLib\abcRefs.obj +.\abclib\DebugLib\abcShow.obj +.\abclib\DebugLib\abcSop.obj +.\abclib\DebugLib\abcUtil.obj +.\abclib\DebugLib\abc.obj +.\abclib\DebugLib\abcAttach.obj +.\abclib\DebugLib\abcBalance.obj +.\abclib\DebugLib\abcCollapse.obj +.\abclib\DebugLib\abcCut.obj +.\abclib\DebugLib\abcDsd.obj +.\abclib\DebugLib\abcFpga.obj +.\abclib\DebugLib\abcFraig.obj +.\abclib\DebugLib\abcFxu.obj +.\abclib\DebugLib\abcMap.obj +.\abclib\DebugLib\abcMiter.obj +.\abclib\DebugLib\abcNtbdd.obj +.\abclib\DebugLib\abcPrint.obj +.\abclib\DebugLib\abcReconv.obj +.\abclib\DebugLib\abcRefactor.obj +.\abclib\DebugLib\abcRenode.obj +.\abclib\DebugLib\abcRewrite.obj +.\abclib\DebugLib\abcSat.obj +.\abclib\DebugLib\abcStrash.obj +.\abclib\DebugLib\abcSweep.obj +.\abclib\DebugLib\abcSymm.obj +.\abclib\DebugLib\abcTiming.obj +.\abclib\DebugLib\abcUnreach.obj +.\abclib\DebugLib\abcVerify.obj +.\abclib\DebugLib\cmd.obj +.\abclib\DebugLib\cmdAlias.obj +.\abclib\DebugLib\cmdApi.obj +.\abclib\DebugLib\cmdFlag.obj +.\abclib\DebugLib\cmdHist.obj +.\abclib\DebugLib\cmdUtils.obj +.\abclib\DebugLib\io.obj +.\abclib\DebugLib\ioRead.obj +.\abclib\DebugLib\ioReadBench.obj +.\abclib\DebugLib\ioReadBlif.obj +.\abclib\DebugLib\ioReadEdif.obj +.\abclib\DebugLib\ioReadEqn.obj +.\abclib\DebugLib\ioReadPla.obj +.\abclib\DebugLib\ioReadVerilog.obj +.\abclib\DebugLib\ioUtil.obj +.\abclib\DebugLib\ioWriteBench.obj +.\abclib\DebugLib\ioWriteBlif.obj +.\abclib\DebugLib\ioWriteCnf.obj +.\abclib\DebugLib\ioWriteDot.obj +.\abclib\DebugLib\ioWriteEqn.obj +.\abclib\DebugLib\ioWriteGml.obj +.\abclib\DebugLib\ioWritePla.obj +.\abclib\DebugLib\main.obj +.\abclib\DebugLib\mainFrame.obj +.\abclib\DebugLib\mainInit.obj +.\abclib\DebugLib\mainUtils.obj +.\abclib\DebugLib\cuddAddAbs.obj +.\abclib\DebugLib\cuddAddApply.obj +.\abclib\DebugLib\cuddAddFind.obj +.\abclib\DebugLib\cuddAddInv.obj +.\abclib\DebugLib\cuddAddIte.obj +.\abclib\DebugLib\cuddAddNeg.obj +.\abclib\DebugLib\cuddAddWalsh.obj +.\abclib\DebugLib\cuddAndAbs.obj +.\abclib\DebugLib\cuddAnneal.obj +.\abclib\DebugLib\cuddApa.obj +.\abclib\DebugLib\cuddAPI.obj +.\abclib\DebugLib\cuddApprox.obj +.\abclib\DebugLib\cuddBddAbs.obj +.\abclib\DebugLib\cuddBddCorr.obj +.\abclib\DebugLib\cuddBddIte.obj +.\abclib\DebugLib\cuddBridge.obj +.\abclib\DebugLib\cuddCache.obj +.\abclib\DebugLib\cuddCheck.obj +.\abclib\DebugLib\cuddClip.obj +.\abclib\DebugLib\cuddCof.obj +.\abclib\DebugLib\cuddCompose.obj +.\abclib\DebugLib\cuddDecomp.obj +.\abclib\DebugLib\cuddEssent.obj +.\abclib\DebugLib\cuddExact.obj +.\abclib\DebugLib\cuddExport.obj +.\abclib\DebugLib\cuddGenCof.obj +.\abclib\DebugLib\cuddGenetic.obj +.\abclib\DebugLib\cuddGroup.obj +.\abclib\DebugLib\cuddHarwell.obj +.\abclib\DebugLib\cuddInit.obj +.\abclib\DebugLib\cuddInteract.obj +.\abclib\DebugLib\cuddLCache.obj +.\abclib\DebugLib\cuddLevelQ.obj +.\abclib\DebugLib\cuddLinear.obj +.\abclib\DebugLib\cuddLiteral.obj +.\abclib\DebugLib\cuddMatMult.obj +.\abclib\DebugLib\cuddPriority.obj +.\abclib\DebugLib\cuddRead.obj +.\abclib\DebugLib\cuddRef.obj +.\abclib\DebugLib\cuddReorder.obj +.\abclib\DebugLib\cuddSat.obj +.\abclib\DebugLib\cuddSign.obj +.\abclib\DebugLib\cuddSolve.obj +.\abclib\DebugLib\cuddSplit.obj +.\abclib\DebugLib\cuddSubsetHB.obj +.\abclib\DebugLib\cuddSubsetSP.obj +.\abclib\DebugLib\cuddSymmetry.obj +.\abclib\DebugLib\cuddTable.obj +.\abclib\DebugLib\cuddUtil.obj +.\abclib\DebugLib\cuddWindow.obj +.\abclib\DebugLib\cuddZddCount.obj +.\abclib\DebugLib\cuddZddFuncs.obj +.\abclib\DebugLib\cuddZddGroup.obj +.\abclib\DebugLib\cuddZddIsop.obj +.\abclib\DebugLib\cuddZddLin.obj +.\abclib\DebugLib\cuddZddMisc.obj +.\abclib\DebugLib\cuddZddPort.obj +.\abclib\DebugLib\cuddZddReord.obj +.\abclib\DebugLib\cuddZddSetop.obj +.\abclib\DebugLib\cuddZddSymm.obj +.\abclib\DebugLib\cuddZddUtil.obj +.\abclib\DebugLib\epd.obj +.\abclib\DebugLib\mtrBasic.obj +.\abclib\DebugLib\mtrGroup.obj +.\abclib\DebugLib\parseCore.obj +.\abclib\DebugLib\parseStack.obj +.\abclib\DebugLib\dsdApi.obj +.\abclib\DebugLib\dsdCheck.obj +.\abclib\DebugLib\dsdLocal.obj +.\abclib\DebugLib\dsdMan.obj +.\abclib\DebugLib\dsdProc.obj +.\abclib\DebugLib\dsdTree.obj +.\abclib\DebugLib\reoApi.obj +.\abclib\DebugLib\reoCore.obj +.\abclib\DebugLib\reoProfile.obj +.\abclib\DebugLib\reoSift.obj +.\abclib\DebugLib\reoSwap.obj +.\abclib\DebugLib\reoTest.obj +.\abclib\DebugLib\reoTransfer.obj +.\abclib\DebugLib\reoUnits.obj +.\abclib\DebugLib\added.obj +.\abclib\DebugLib\solver.obj +.\abclib\DebugLib\msatActivity.obj +.\abclib\DebugLib\msatClause.obj +.\abclib\DebugLib\msatClauseVec.obj +.\abclib\DebugLib\msatMem.obj +.\abclib\DebugLib\msatOrderJ.obj +.\abclib\DebugLib\msatQueue.obj +.\abclib\DebugLib\msatRead.obj +.\abclib\DebugLib\msatSolverApi.obj +.\abclib\DebugLib\msatSolverCore.obj +.\abclib\DebugLib\msatSolverIo.obj +.\abclib\DebugLib\msatSolverSearch.obj +.\abclib\DebugLib\msatSort.obj +.\abclib\DebugLib\msatVec.obj +.\abclib\DebugLib\fraigApi.obj +.\abclib\DebugLib\fraigCanon.obj +.\abclib\DebugLib\fraigFanout.obj +.\abclib\DebugLib\fraigFeed.obj +.\abclib\DebugLib\fraigMan.obj +.\abclib\DebugLib\fraigMem.obj +.\abclib\DebugLib\fraigNode.obj +.\abclib\DebugLib\fraigPrime.obj +.\abclib\DebugLib\fraigSat.obj +.\abclib\DebugLib\fraigTable.obj +.\abclib\DebugLib\fraigUtil.obj +.\abclib\DebugLib\fraigVec.obj +.\abclib\DebugLib\csat_apis.obj +.\abclib\DebugLib\fxu.obj +.\abclib\DebugLib\fxuCreate.obj +.\abclib\DebugLib\fxuHeapD.obj +.\abclib\DebugLib\fxuHeapS.obj +.\abclib\DebugLib\fxuList.obj +.\abclib\DebugLib\fxuMatrix.obj +.\abclib\DebugLib\fxuPair.obj +.\abclib\DebugLib\fxuPrint.obj +.\abclib\DebugLib\fxuReduce.obj +.\abclib\DebugLib\fxuSelect.obj +.\abclib\DebugLib\fxuSingle.obj +.\abclib\DebugLib\fxuUpdate.obj +.\abclib\DebugLib\rwrDec.obj +.\abclib\DebugLib\rwrEva.obj +.\abclib\DebugLib\rwrExp.obj +.\abclib\DebugLib\rwrLib.obj +.\abclib\DebugLib\rwrMan.obj +.\abclib\DebugLib\rwrPrint.obj +.\abclib\DebugLib\rwrUtil.obj +.\abclib\DebugLib\cutMan.obj +.\abclib\DebugLib\cutMerge.obj +.\abclib\DebugLib\cutNode.obj +.\abclib\DebugLib\cutSeq.obj +.\abclib\DebugLib\cutTruth.obj +.\abclib\DebugLib\decAbc.obj +.\abclib\DebugLib\decFactor.obj +.\abclib\DebugLib\decMan.obj +.\abclib\DebugLib\decPrint.obj +.\abclib\DebugLib\decUtil.obj +.\abclib\DebugLib\simMan.obj +.\abclib\DebugLib\simSat.obj +.\abclib\DebugLib\simSupp.obj +.\abclib\DebugLib\simSwitch.obj +.\abclib\DebugLib\simSym.obj +.\abclib\DebugLib\simSymSat.obj +.\abclib\DebugLib\simSymSim.obj +.\abclib\DebugLib\simSymStr.obj +.\abclib\DebugLib\simUtils.obj +.\abclib\DebugLib\fpga.obj +.\abclib\DebugLib\fpgaCore.obj +.\abclib\DebugLib\fpgaCreate.obj +.\abclib\DebugLib\fpgaCut.obj +.\abclib\DebugLib\fpgaCutUtils.obj +.\abclib\DebugLib\fpgaFanout.obj +.\abclib\DebugLib\fpgaLib.obj +.\abclib\DebugLib\fpgaMatch.obj +.\abclib\DebugLib\fpgaSwitch.obj +.\abclib\DebugLib\fpgaTime.obj +.\abclib\DebugLib\fpgaTruth.obj +.\abclib\DebugLib\fpgaUtils.obj +.\abclib\DebugLib\fpgaVec.obj +.\abclib\DebugLib\mapper.obj +.\abclib\DebugLib\mapperCanon.obj +.\abclib\DebugLib\mapperCore.obj +.\abclib\DebugLib\mapperCreate.obj +.\abclib\DebugLib\mapperCut.obj +.\abclib\DebugLib\mapperCutUtils.obj +.\abclib\DebugLib\mapperFanout.obj +.\abclib\DebugLib\mapperLib.obj +.\abclib\DebugLib\mapperMatch.obj +.\abclib\DebugLib\mapperRefs.obj +.\abclib\DebugLib\mapperSuper.obj +.\abclib\DebugLib\mapperSwitch.obj +.\abclib\DebugLib\mapperTable.obj +.\abclib\DebugLib\mapperTime.obj +.\abclib\DebugLib\mapperTree.obj +.\abclib\DebugLib\mapperTruth.obj +.\abclib\DebugLib\mapperUtils.obj +.\abclib\DebugLib\mapperVec.obj +.\abclib\DebugLib\mio.obj +.\abclib\DebugLib\mioApi.obj +.\abclib\DebugLib\mioFunc.obj +.\abclib\DebugLib\mioRead.obj +.\abclib\DebugLib\mioUtils.obj +.\abclib\DebugLib\super.obj +.\abclib\DebugLib\superAnd.obj +.\abclib\DebugLib\superGate.obj +.\abclib\DebugLib\superWrite.obj +.\abclib\DebugLib\extraBddMisc.obj +.\abclib\DebugLib\extraBddSymm.obj +.\abclib\DebugLib\extraUtilBitMatrix.obj +.\abclib\DebugLib\extraUtilCanon.obj +.\abclib\DebugLib\extraUtilFile.obj +.\abclib\DebugLib\extraUtilMemory.obj +.\abclib\DebugLib\extraUtilMisc.obj +.\abclib\DebugLib\extraUtilProgress.obj +.\abclib\DebugLib\extraUtilReader.obj +.\abclib\DebugLib\st.obj +.\abclib\DebugLib\stmm.obj +.\abclib\DebugLib\cpu_stats.obj +.\abclib\DebugLib\cpu_time.obj +.\abclib\DebugLib\datalimit.obj +.\abclib\DebugLib\getopt.obj +.\abclib\DebugLib\pathsearch.obj +.\abclib\DebugLib\safe_mem.obj +.\abclib\DebugLib\strsav.obj +.\abclib\DebugLib\texpand.obj +.\abclib\DebugLib\mvc.obj +.\abclib\DebugLib\mvcApi.obj +.\abclib\DebugLib\mvcCompare.obj +.\abclib\DebugLib\mvcContain.obj +.\abclib\DebugLib\mvcCover.obj +.\abclib\DebugLib\mvcCube.obj +.\abclib\DebugLib\mvcDivide.obj +.\abclib\DebugLib\mvcDivisor.obj +.\abclib\DebugLib\mvcList.obj +.\abclib\DebugLib\mvcLits.obj +.\abclib\DebugLib\mvcMan.obj +.\abclib\DebugLib\mvcOpAlg.obj +.\abclib\DebugLib\mvcOpBool.obj +.\abclib\DebugLib\mvcPrint.obj +.\abclib\DebugLib\mvcSort.obj +.\abclib\DebugLib\mvcUtils.obj +.\abclib\DebugLib\abcVanImp.obj +.\abclib\DebugLib\abcPga.obj +.\abclib\DebugLib\abcVanEijk.obj +.\abclib\DebugLib\seqUtil.obj +.\abclib\DebugLib\seqCreate.obj +.\abclib\DebugLib\seqFpgaCore.obj +.\abclib\DebugLib\seqFpgaIter.obj +.\abclib\DebugLib\seqLatch.obj +.\abclib\DebugLib\seqMan.obj +.\abclib\DebugLib\seqMapCore.obj +.\abclib\DebugLib\seqMapIter.obj +.\abclib\DebugLib\seqRetCore.obj +.\abclib\DebugLib\seqRetIter.obj +.\abclib\DebugLib\seqShare.obj +.\abclib\DebugLib\ioWriteList.obj +.\abclib\DebugLib\ioReadBaf.obj +.\abclib\DebugLib\ioWriteBaf.obj +.\abclib\DebugLib\simSeq.obj +.\abclib\DebugLib\extraBddKmap.obj +.\abclib\DebugLib\cutOracle.obj +.\abclib\DebugLib\cutApi.obj +.\abclib\DebugLib\cutCut.obj +.\abclib\DebugLib\libSupport.obj +.\abclib\DebugLib\pgaUtil.obj +.\abclib\DebugLib\pgaCore.obj +.\abclib\DebugLib\pgaMan.obj +.\abclib\DebugLib\pgaMatch.obj ] -Creating command line "link.exe -lib @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1015.tmp" +Creating command line "link.exe -lib @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP790.tmp"Output Window
Compiling... -abcRenode.c -abcSat.c -main.c -csat_apis.c +mioRead.c Creating library... -Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1016.tmp" with contents +Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP791.tmp" with contents [ -/nologo /o"abclib\ReleaseLib/abclib.bsc" -.\abclib\ReleaseLib\abcAig.sbr -.\abclib\ReleaseLib\abcCheck.sbr -.\abclib\ReleaseLib\abcDfs.sbr -.\abclib\ReleaseLib\abcFanio.sbr -.\abclib\ReleaseLib\abcFunc.sbr -.\abclib\ReleaseLib\abcLatch.sbr -.\abclib\ReleaseLib\abcMinBase.sbr -.\abclib\ReleaseLib\abcNames.sbr -.\abclib\ReleaseLib\abcNetlist.sbr -.\abclib\ReleaseLib\abcNtk.sbr -.\abclib\ReleaseLib\abcObj.sbr -.\abclib\ReleaseLib\abcRefs.sbr -.\abclib\ReleaseLib\abcShow.sbr -.\abclib\ReleaseLib\abcSop.sbr -.\abclib\ReleaseLib\abcUtil.sbr -.\abclib\ReleaseLib\abc.sbr -.\abclib\ReleaseLib\abcAttach.sbr -.\abclib\ReleaseLib\abcBalance.sbr -.\abclib\ReleaseLib\abcCollapse.sbr -.\abclib\ReleaseLib\abcCut.sbr -.\abclib\ReleaseLib\abcDsd.sbr -.\abclib\ReleaseLib\abcFpga.sbr -.\abclib\ReleaseLib\abcFraig.sbr -.\abclib\ReleaseLib\abcFxu.sbr -.\abclib\ReleaseLib\abcMap.sbr -.\abclib\ReleaseLib\abcMiter.sbr -.\abclib\ReleaseLib\abcNtbdd.sbr -.\abclib\ReleaseLib\abcPrint.sbr -.\abclib\ReleaseLib\abcReconv.sbr -.\abclib\ReleaseLib\abcRefactor.sbr -.\abclib\ReleaseLib\abcRenode.sbr -.\abclib\ReleaseLib\abcRewrite.sbr -.\abclib\ReleaseLib\abcSat.sbr -.\abclib\ReleaseLib\abcStrash.sbr -.\abclib\ReleaseLib\abcSweep.sbr -.\abclib\ReleaseLib\abcSymm.sbr -.\abclib\ReleaseLib\abcTiming.sbr -.\abclib\ReleaseLib\abcUnreach.sbr -.\abclib\ReleaseLib\abcVerify.sbr -.\abclib\ReleaseLib\abcRetime.sbr -.\abclib\ReleaseLib\abcSeq.sbr -.\abclib\ReleaseLib\cmd.sbr -.\abclib\ReleaseLib\cmdAlias.sbr -.\abclib\ReleaseLib\cmdApi.sbr -.\abclib\ReleaseLib\cmdFlag.sbr -.\abclib\ReleaseLib\cmdHist.sbr -.\abclib\ReleaseLib\cmdUtils.sbr -.\abclib\ReleaseLib\io.sbr -.\abclib\ReleaseLib\ioRead.sbr -.\abclib\ReleaseLib\ioReadBench.sbr -.\abclib\ReleaseLib\ioReadBlif.sbr -.\abclib\ReleaseLib\ioReadEdif.sbr -.\abclib\ReleaseLib\ioReadEqn.sbr -.\abclib\ReleaseLib\ioReadPla.sbr -.\abclib\ReleaseLib\ioReadVerilog.sbr -.\abclib\ReleaseLib\ioUtil.sbr -.\abclib\ReleaseLib\ioWriteBench.sbr -.\abclib\ReleaseLib\ioWriteBlif.sbr -.\abclib\ReleaseLib\ioWriteCnf.sbr -.\abclib\ReleaseLib\ioWriteDot.sbr -.\abclib\ReleaseLib\ioWriteEqn.sbr -.\abclib\ReleaseLib\ioWriteGml.sbr -.\abclib\ReleaseLib\ioWritePla.sbr -.\abclib\ReleaseLib\main.sbr -.\abclib\ReleaseLib\mainFrame.sbr -.\abclib\ReleaseLib\mainInit.sbr -.\abclib\ReleaseLib\mainUtils.sbr -.\abclib\ReleaseLib\cuddAddAbs.sbr -.\abclib\ReleaseLib\cuddAddApply.sbr -.\abclib\ReleaseLib\cuddAddFind.sbr -.\abclib\ReleaseLib\cuddAddInv.sbr -.\abclib\ReleaseLib\cuddAddIte.sbr -.\abclib\ReleaseLib\cuddAddNeg.sbr -.\abclib\ReleaseLib\cuddAddWalsh.sbr -.\abclib\ReleaseLib\cuddAndAbs.sbr -.\abclib\ReleaseLib\cuddAnneal.sbr -.\abclib\ReleaseLib\cuddApa.sbr -.\abclib\ReleaseLib\cuddAPI.sbr -.\abclib\ReleaseLib\cuddApprox.sbr -.\abclib\ReleaseLib\cuddBddAbs.sbr -.\abclib\ReleaseLib\cuddBddCorr.sbr -.\abclib\ReleaseLib\cuddBddIte.sbr -.\abclib\ReleaseLib\cuddBridge.sbr -.\abclib\ReleaseLib\cuddCache.sbr -.\abclib\ReleaseLib\cuddCheck.sbr -.\abclib\ReleaseLib\cuddClip.sbr -.\abclib\ReleaseLib\cuddCof.sbr -.\abclib\ReleaseLib\cuddCompose.sbr -.\abclib\ReleaseLib\cuddDecomp.sbr -.\abclib\ReleaseLib\cuddEssent.sbr -.\abclib\ReleaseLib\cuddExact.sbr -.\abclib\ReleaseLib\cuddExport.sbr -.\abclib\ReleaseLib\cuddGenCof.sbr -.\abclib\ReleaseLib\cuddGenetic.sbr -.\abclib\ReleaseLib\cuddGroup.sbr -.\abclib\ReleaseLib\cuddHarwell.sbr -.\abclib\ReleaseLib\cuddInit.sbr -.\abclib\ReleaseLib\cuddInteract.sbr -.\abclib\ReleaseLib\cuddLCache.sbr -.\abclib\ReleaseLib\cuddLevelQ.sbr -.\abclib\ReleaseLib\cuddLinear.sbr -.\abclib\ReleaseLib\cuddLiteral.sbr -.\abclib\ReleaseLib\cuddMatMult.sbr -.\abclib\ReleaseLib\cuddPriority.sbr -.\abclib\ReleaseLib\cuddRead.sbr -.\abclib\ReleaseLib\cuddRef.sbr -.\abclib\ReleaseLib\cuddReorder.sbr -.\abclib\ReleaseLib\cuddSat.sbr -.\abclib\ReleaseLib\cuddSign.sbr -.\abclib\ReleaseLib\cuddSolve.sbr -.\abclib\ReleaseLib\cuddSplit.sbr -.\abclib\ReleaseLib\cuddSubsetHB.sbr -.\abclib\ReleaseLib\cuddSubsetSP.sbr -.\abclib\ReleaseLib\cuddSymmetry.sbr -.\abclib\ReleaseLib\cuddTable.sbr -.\abclib\ReleaseLib\cuddUtil.sbr -.\abclib\ReleaseLib\cuddWindow.sbr -.\abclib\ReleaseLib\cuddZddCount.sbr -.\abclib\ReleaseLib\cuddZddFuncs.sbr -.\abclib\ReleaseLib\cuddZddGroup.sbr -.\abclib\ReleaseLib\cuddZddIsop.sbr -.\abclib\ReleaseLib\cuddZddLin.sbr -.\abclib\ReleaseLib\cuddZddMisc.sbr -.\abclib\ReleaseLib\cuddZddPort.sbr -.\abclib\ReleaseLib\cuddZddReord.sbr -.\abclib\ReleaseLib\cuddZddSetop.sbr -.\abclib\ReleaseLib\cuddZddSymm.sbr -.\abclib\ReleaseLib\cuddZddUtil.sbr -.\abclib\ReleaseLib\epd.sbr -.\abclib\ReleaseLib\mtrBasic.sbr -.\abclib\ReleaseLib\mtrGroup.sbr -.\abclib\ReleaseLib\parseCore.sbr -.\abclib\ReleaseLib\parseStack.sbr -.\abclib\ReleaseLib\dsdApi.sbr -.\abclib\ReleaseLib\dsdCheck.sbr -.\abclib\ReleaseLib\dsdLocal.sbr -.\abclib\ReleaseLib\dsdMan.sbr -.\abclib\ReleaseLib\dsdProc.sbr -.\abclib\ReleaseLib\dsdTree.sbr -.\abclib\ReleaseLib\reoApi.sbr -.\abclib\ReleaseLib\reoCore.sbr -.\abclib\ReleaseLib\reoProfile.sbr -.\abclib\ReleaseLib\reoSift.sbr -.\abclib\ReleaseLib\reoSwap.sbr -.\abclib\ReleaseLib\reoTest.sbr -.\abclib\ReleaseLib\reoTransfer.sbr -.\abclib\ReleaseLib\reoUnits.sbr -.\abclib\ReleaseLib\added.sbr -.\abclib\ReleaseLib\solver.sbr -.\abclib\ReleaseLib\msatActivity.sbr -.\abclib\ReleaseLib\msatClause.sbr -.\abclib\ReleaseLib\msatClauseVec.sbr -.\abclib\ReleaseLib\msatMem.sbr -.\abclib\ReleaseLib\msatOrderJ.sbr -.\abclib\ReleaseLib\msatQueue.sbr -.\abclib\ReleaseLib\msatRead.sbr -.\abclib\ReleaseLib\msatSolverApi.sbr -.\abclib\ReleaseLib\msatSolverCore.sbr -.\abclib\ReleaseLib\msatSolverIo.sbr -.\abclib\ReleaseLib\msatSolverSearch.sbr -.\abclib\ReleaseLib\msatSort.sbr -.\abclib\ReleaseLib\msatVec.sbr -.\abclib\ReleaseLib\fraigApi.sbr -.\abclib\ReleaseLib\fraigCanon.sbr -.\abclib\ReleaseLib\fraigFanout.sbr -.\abclib\ReleaseLib\fraigFeed.sbr -.\abclib\ReleaseLib\fraigMan.sbr -.\abclib\ReleaseLib\fraigMem.sbr -.\abclib\ReleaseLib\fraigNode.sbr -.\abclib\ReleaseLib\fraigPrime.sbr -.\abclib\ReleaseLib\fraigSat.sbr -.\abclib\ReleaseLib\fraigTable.sbr -.\abclib\ReleaseLib\fraigUtil.sbr -.\abclib\ReleaseLib\fraigVec.sbr -.\abclib\ReleaseLib\csat_apis.sbr -.\abclib\ReleaseLib\fxu.sbr -.\abclib\ReleaseLib\fxuCreate.sbr -.\abclib\ReleaseLib\fxuHeapD.sbr -.\abclib\ReleaseLib\fxuHeapS.sbr -.\abclib\ReleaseLib\fxuList.sbr -.\abclib\ReleaseLib\fxuMatrix.sbr -.\abclib\ReleaseLib\fxuPair.sbr -.\abclib\ReleaseLib\fxuPrint.sbr -.\abclib\ReleaseLib\fxuReduce.sbr -.\abclib\ReleaseLib\fxuSelect.sbr -.\abclib\ReleaseLib\fxuSingle.sbr -.\abclib\ReleaseLib\fxuUpdate.sbr -.\abclib\ReleaseLib\rwrDec.sbr -.\abclib\ReleaseLib\rwrEva.sbr -.\abclib\ReleaseLib\rwrExp.sbr -.\abclib\ReleaseLib\rwrLib.sbr -.\abclib\ReleaseLib\rwrMan.sbr -.\abclib\ReleaseLib\rwrPrint.sbr -.\abclib\ReleaseLib\rwrUtil.sbr -.\abclib\ReleaseLib\cutMan.sbr -.\abclib\ReleaseLib\cutMerge.sbr -.\abclib\ReleaseLib\cutNode.sbr -.\abclib\ReleaseLib\cutSeq.sbr -.\abclib\ReleaseLib\cutTable.sbr -.\abclib\ReleaseLib\cutTruth.sbr -.\abclib\ReleaseLib\decAbc.sbr -.\abclib\ReleaseLib\decFactor.sbr -.\abclib\ReleaseLib\decMan.sbr -.\abclib\ReleaseLib\decPrint.sbr -.\abclib\ReleaseLib\decUtil.sbr -.\abclib\ReleaseLib\simMan.sbr -.\abclib\ReleaseLib\simSat.sbr -.\abclib\ReleaseLib\simSupp.sbr -.\abclib\ReleaseLib\simSwitch.sbr -.\abclib\ReleaseLib\simSym.sbr -.\abclib\ReleaseLib\simSymSat.sbr -.\abclib\ReleaseLib\simSymSim.sbr -.\abclib\ReleaseLib\simSymStr.sbr -.\abclib\ReleaseLib\simUtils.sbr -.\abclib\ReleaseLib\fpga.sbr -.\abclib\ReleaseLib\fpgaCore.sbr -.\abclib\ReleaseLib\fpgaCreate.sbr -.\abclib\ReleaseLib\fpgaCut.sbr -.\abclib\ReleaseLib\fpgaCutUtils.sbr -.\abclib\ReleaseLib\fpgaFanout.sbr -.\abclib\ReleaseLib\fpgaLib.sbr -.\abclib\ReleaseLib\fpgaMatch.sbr -.\abclib\ReleaseLib\fpgaSwitch.sbr -.\abclib\ReleaseLib\fpgaTime.sbr -.\abclib\ReleaseLib\fpgaTruth.sbr -.\abclib\ReleaseLib\fpgaUtils.sbr -.\abclib\ReleaseLib\fpgaVec.sbr -.\abclib\ReleaseLib\mapper.sbr -.\abclib\ReleaseLib\mapperCanon.sbr -.\abclib\ReleaseLib\mapperCore.sbr -.\abclib\ReleaseLib\mapperCreate.sbr -.\abclib\ReleaseLib\mapperCut.sbr -.\abclib\ReleaseLib\mapperCutUtils.sbr -.\abclib\ReleaseLib\mapperFanout.sbr -.\abclib\ReleaseLib\mapperLib.sbr -.\abclib\ReleaseLib\mapperMatch.sbr -.\abclib\ReleaseLib\mapperRefs.sbr -.\abclib\ReleaseLib\mapperSuper.sbr -.\abclib\ReleaseLib\mapperSwitch.sbr -.\abclib\ReleaseLib\mapperTable.sbr -.\abclib\ReleaseLib\mapperTime.sbr -.\abclib\ReleaseLib\mapperTree.sbr -.\abclib\ReleaseLib\mapperTruth.sbr -.\abclib\ReleaseLib\mapperUtils.sbr -.\abclib\ReleaseLib\mapperVec.sbr -.\abclib\ReleaseLib\mio.sbr -.\abclib\ReleaseLib\mioApi.sbr -.\abclib\ReleaseLib\mioFunc.sbr -.\abclib\ReleaseLib\mioRead.sbr -.\abclib\ReleaseLib\mioUtils.sbr -.\abclib\ReleaseLib\super.sbr -.\abclib\ReleaseLib\superAnd.sbr -.\abclib\ReleaseLib\superGate.sbr -.\abclib\ReleaseLib\superWrite.sbr -.\abclib\ReleaseLib\extraBddMisc.sbr -.\abclib\ReleaseLib\extraBddSymm.sbr -.\abclib\ReleaseLib\extraUtilBitMatrix.sbr -.\abclib\ReleaseLib\extraUtilCanon.sbr -.\abclib\ReleaseLib\extraUtilFile.sbr -.\abclib\ReleaseLib\extraUtilMemory.sbr -.\abclib\ReleaseLib\extraUtilMisc.sbr -.\abclib\ReleaseLib\extraUtilProgress.sbr -.\abclib\ReleaseLib\extraUtilReader.sbr -.\abclib\ReleaseLib\st.sbr -.\abclib\ReleaseLib\stmm.sbr -.\abclib\ReleaseLib\cpu_stats.sbr -.\abclib\ReleaseLib\cpu_time.sbr -.\abclib\ReleaseLib\datalimit.sbr -.\abclib\ReleaseLib\getopt.sbr -.\abclib\ReleaseLib\pathsearch.sbr -.\abclib\ReleaseLib\safe_mem.sbr -.\abclib\ReleaseLib\strsav.sbr -.\abclib\ReleaseLib\texpand.sbr -.\abclib\ReleaseLib\mvc.sbr -.\abclib\ReleaseLib\mvcApi.sbr -.\abclib\ReleaseLib\mvcCompare.sbr -.\abclib\ReleaseLib\mvcContain.sbr -.\abclib\ReleaseLib\mvcCover.sbr -.\abclib\ReleaseLib\mvcCube.sbr -.\abclib\ReleaseLib\mvcDivide.sbr -.\abclib\ReleaseLib\mvcDivisor.sbr -.\abclib\ReleaseLib\mvcList.sbr -.\abclib\ReleaseLib\mvcLits.sbr -.\abclib\ReleaseLib\mvcMan.sbr -.\abclib\ReleaseLib\mvcOpAlg.sbr -.\abclib\ReleaseLib\mvcOpBool.sbr -.\abclib\ReleaseLib\mvcPrint.sbr -.\abclib\ReleaseLib\mvcSort.sbr -.\abclib\ReleaseLib\mvcUtils.sbr] -Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1016.tmp" +/nologo /o"abclib\DebugLib/abclib.bsc" +.\abclib\DebugLib\abcAig.sbr +.\abclib\DebugLib\abcCheck.sbr +.\abclib\DebugLib\abcDfs.sbr +.\abclib\DebugLib\abcFanio.sbr +.\abclib\DebugLib\abcFunc.sbr +.\abclib\DebugLib\abcLatch.sbr +.\abclib\DebugLib\abcMinBase.sbr +.\abclib\DebugLib\abcNames.sbr +.\abclib\DebugLib\abcNetlist.sbr +.\abclib\DebugLib\abcNtk.sbr +.\abclib\DebugLib\abcObj.sbr +.\abclib\DebugLib\abcRefs.sbr +.\abclib\DebugLib\abcShow.sbr +.\abclib\DebugLib\abcSop.sbr +.\abclib\DebugLib\abcUtil.sbr +.\abclib\DebugLib\abc.sbr +.\abclib\DebugLib\abcAttach.sbr +.\abclib\DebugLib\abcBalance.sbr +.\abclib\DebugLib\abcCollapse.sbr +.\abclib\DebugLib\abcCut.sbr +.\abclib\DebugLib\abcDsd.sbr +.\abclib\DebugLib\abcFpga.sbr +.\abclib\DebugLib\abcFraig.sbr +.\abclib\DebugLib\abcFxu.sbr +.\abclib\DebugLib\abcMap.sbr +.\abclib\DebugLib\abcMiter.sbr +.\abclib\DebugLib\abcNtbdd.sbr +.\abclib\DebugLib\abcPrint.sbr +.\abclib\DebugLib\abcReconv.sbr +.\abclib\DebugLib\abcRefactor.sbr +.\abclib\DebugLib\abcRenode.sbr +.\abclib\DebugLib\abcRewrite.sbr +.\abclib\DebugLib\abcSat.sbr +.\abclib\DebugLib\abcStrash.sbr +.\abclib\DebugLib\abcSweep.sbr +.\abclib\DebugLib\abcSymm.sbr +.\abclib\DebugLib\abcTiming.sbr +.\abclib\DebugLib\abcUnreach.sbr +.\abclib\DebugLib\abcVerify.sbr +.\abclib\DebugLib\cmd.sbr +.\abclib\DebugLib\cmdAlias.sbr +.\abclib\DebugLib\cmdApi.sbr +.\abclib\DebugLib\cmdFlag.sbr +.\abclib\DebugLib\cmdHist.sbr +.\abclib\DebugLib\cmdUtils.sbr +.\abclib\DebugLib\io.sbr +.\abclib\DebugLib\ioRead.sbr +.\abclib\DebugLib\ioReadBench.sbr +.\abclib\DebugLib\ioReadBlif.sbr +.\abclib\DebugLib\ioReadEdif.sbr +.\abclib\DebugLib\ioReadEqn.sbr +.\abclib\DebugLib\ioReadPla.sbr +.\abclib\DebugLib\ioReadVerilog.sbr +.\abclib\DebugLib\ioUtil.sbr +.\abclib\DebugLib\ioWriteBench.sbr +.\abclib\DebugLib\ioWriteBlif.sbr +.\abclib\DebugLib\ioWriteCnf.sbr +.\abclib\DebugLib\ioWriteDot.sbr +.\abclib\DebugLib\ioWriteEqn.sbr +.\abclib\DebugLib\ioWriteGml.sbr +.\abclib\DebugLib\ioWritePla.sbr +.\abclib\DebugLib\main.sbr +.\abclib\DebugLib\mainFrame.sbr +.\abclib\DebugLib\mainInit.sbr +.\abclib\DebugLib\mainUtils.sbr +.\abclib\DebugLib\cuddAddAbs.sbr +.\abclib\DebugLib\cuddAddApply.sbr +.\abclib\DebugLib\cuddAddFind.sbr +.\abclib\DebugLib\cuddAddInv.sbr +.\abclib\DebugLib\cuddAddIte.sbr +.\abclib\DebugLib\cuddAddNeg.sbr +.\abclib\DebugLib\cuddAddWalsh.sbr +.\abclib\DebugLib\cuddAndAbs.sbr +.\abclib\DebugLib\cuddAnneal.sbr +.\abclib\DebugLib\cuddApa.sbr +.\abclib\DebugLib\cuddAPI.sbr +.\abclib\DebugLib\cuddApprox.sbr +.\abclib\DebugLib\cuddBddAbs.sbr +.\abclib\DebugLib\cuddBddCorr.sbr +.\abclib\DebugLib\cuddBddIte.sbr +.\abclib\DebugLib\cuddBridge.sbr +.\abclib\DebugLib\cuddCache.sbr +.\abclib\DebugLib\cuddCheck.sbr +.\abclib\DebugLib\cuddClip.sbr +.\abclib\DebugLib\cuddCof.sbr +.\abclib\DebugLib\cuddCompose.sbr +.\abclib\DebugLib\cuddDecomp.sbr +.\abclib\DebugLib\cuddEssent.sbr +.\abclib\DebugLib\cuddExact.sbr +.\abclib\DebugLib\cuddExport.sbr +.\abclib\DebugLib\cuddGenCof.sbr +.\abclib\DebugLib\cuddGenetic.sbr +.\abclib\DebugLib\cuddGroup.sbr +.\abclib\DebugLib\cuddHarwell.sbr +.\abclib\DebugLib\cuddInit.sbr +.\abclib\DebugLib\cuddInteract.sbr +.\abclib\DebugLib\cuddLCache.sbr +.\abclib\DebugLib\cuddLevelQ.sbr +.\abclib\DebugLib\cuddLinear.sbr +.\abclib\DebugLib\cuddLiteral.sbr +.\abclib\DebugLib\cuddMatMult.sbr +.\abclib\DebugLib\cuddPriority.sbr +.\abclib\DebugLib\cuddRead.sbr +.\abclib\DebugLib\cuddRef.sbr +.\abclib\DebugLib\cuddReorder.sbr +.\abclib\DebugLib\cuddSat.sbr +.\abclib\DebugLib\cuddSign.sbr +.\abclib\DebugLib\cuddSolve.sbr +.\abclib\DebugLib\cuddSplit.sbr +.\abclib\DebugLib\cuddSubsetHB.sbr +.\abclib\DebugLib\cuddSubsetSP.sbr +.\abclib\DebugLib\cuddSymmetry.sbr +.\abclib\DebugLib\cuddTable.sbr +.\abclib\DebugLib\cuddUtil.sbr +.\abclib\DebugLib\cuddWindow.sbr +.\abclib\DebugLib\cuddZddCount.sbr +.\abclib\DebugLib\cuddZddFuncs.sbr +.\abclib\DebugLib\cuddZddGroup.sbr +.\abclib\DebugLib\cuddZddIsop.sbr +.\abclib\DebugLib\cuddZddLin.sbr +.\abclib\DebugLib\cuddZddMisc.sbr +.\abclib\DebugLib\cuddZddPort.sbr +.\abclib\DebugLib\cuddZddReord.sbr +.\abclib\DebugLib\cuddZddSetop.sbr +.\abclib\DebugLib\cuddZddSymm.sbr +.\abclib\DebugLib\cuddZddUtil.sbr +.\abclib\DebugLib\epd.sbr +.\abclib\DebugLib\mtrBasic.sbr +.\abclib\DebugLib\mtrGroup.sbr +.\abclib\DebugLib\parseCore.sbr +.\abclib\DebugLib\parseStack.sbr +.\abclib\DebugLib\dsdApi.sbr +.\abclib\DebugLib\dsdCheck.sbr +.\abclib\DebugLib\dsdLocal.sbr +.\abclib\DebugLib\dsdMan.sbr +.\abclib\DebugLib\dsdProc.sbr +.\abclib\DebugLib\dsdTree.sbr +.\abclib\DebugLib\reoApi.sbr +.\abclib\DebugLib\reoCore.sbr +.\abclib\DebugLib\reoProfile.sbr +.\abclib\DebugLib\reoSift.sbr +.\abclib\DebugLib\reoSwap.sbr +.\abclib\DebugLib\reoTest.sbr +.\abclib\DebugLib\reoTransfer.sbr +.\abclib\DebugLib\reoUnits.sbr +.\abclib\DebugLib\added.sbr +.\abclib\DebugLib\solver.sbr +.\abclib\DebugLib\msatActivity.sbr +.\abclib\DebugLib\msatClause.sbr +.\abclib\DebugLib\msatClauseVec.sbr +.\abclib\DebugLib\msatMem.sbr +.\abclib\DebugLib\msatOrderJ.sbr +.\abclib\DebugLib\msatQueue.sbr +.\abclib\DebugLib\msatRead.sbr +.\abclib\DebugLib\msatSolverApi.sbr +.\abclib\DebugLib\msatSolverCore.sbr +.\abclib\DebugLib\msatSolverIo.sbr +.\abclib\DebugLib\msatSolverSearch.sbr +.\abclib\DebugLib\msatSort.sbr +.\abclib\DebugLib\msatVec.sbr +.\abclib\DebugLib\fraigApi.sbr +.\abclib\DebugLib\fraigCanon.sbr +.\abclib\DebugLib\fraigFanout.sbr +.\abclib\DebugLib\fraigFeed.sbr +.\abclib\DebugLib\fraigMan.sbr +.\abclib\DebugLib\fraigMem.sbr +.\abclib\DebugLib\fraigNode.sbr +.\abclib\DebugLib\fraigPrime.sbr +.\abclib\DebugLib\fraigSat.sbr +.\abclib\DebugLib\fraigTable.sbr +.\abclib\DebugLib\fraigUtil.sbr +.\abclib\DebugLib\fraigVec.sbr +.\abclib\DebugLib\csat_apis.sbr +.\abclib\DebugLib\fxu.sbr +.\abclib\DebugLib\fxuCreate.sbr +.\abclib\DebugLib\fxuHeapD.sbr +.\abclib\DebugLib\fxuHeapS.sbr +.\abclib\DebugLib\fxuList.sbr +.\abclib\DebugLib\fxuMatrix.sbr +.\abclib\DebugLib\fxuPair.sbr +.\abclib\DebugLib\fxuPrint.sbr +.\abclib\DebugLib\fxuReduce.sbr +.\abclib\DebugLib\fxuSelect.sbr +.\abclib\DebugLib\fxuSingle.sbr +.\abclib\DebugLib\fxuUpdate.sbr +.\abclib\DebugLib\rwrDec.sbr +.\abclib\DebugLib\rwrEva.sbr +.\abclib\DebugLib\rwrExp.sbr +.\abclib\DebugLib\rwrLib.sbr +.\abclib\DebugLib\rwrMan.sbr +.\abclib\DebugLib\rwrPrint.sbr +.\abclib\DebugLib\rwrUtil.sbr +.\abclib\DebugLib\cutMan.sbr +.\abclib\DebugLib\cutMerge.sbr +.\abclib\DebugLib\cutNode.sbr +.\abclib\DebugLib\cutSeq.sbr +.\abclib\DebugLib\cutTruth.sbr +.\abclib\DebugLib\decAbc.sbr +.\abclib\DebugLib\decFactor.sbr +.\abclib\DebugLib\decMan.sbr +.\abclib\DebugLib\decPrint.sbr +.\abclib\DebugLib\decUtil.sbr +.\abclib\DebugLib\simMan.sbr +.\abclib\DebugLib\simSat.sbr +.\abclib\DebugLib\simSupp.sbr +.\abclib\DebugLib\simSwitch.sbr +.\abclib\DebugLib\simSym.sbr +.\abclib\DebugLib\simSymSat.sbr +.\abclib\DebugLib\simSymSim.sbr +.\abclib\DebugLib\simSymStr.sbr +.\abclib\DebugLib\simUtils.sbr +.\abclib\DebugLib\fpga.sbr +.\abclib\DebugLib\fpgaCore.sbr +.\abclib\DebugLib\fpgaCreate.sbr +.\abclib\DebugLib\fpgaCut.sbr +.\abclib\DebugLib\fpgaCutUtils.sbr +.\abclib\DebugLib\fpgaFanout.sbr +.\abclib\DebugLib\fpgaLib.sbr +.\abclib\DebugLib\fpgaMatch.sbr +.\abclib\DebugLib\fpgaSwitch.sbr +.\abclib\DebugLib\fpgaTime.sbr +.\abclib\DebugLib\fpgaTruth.sbr +.\abclib\DebugLib\fpgaUtils.sbr +.\abclib\DebugLib\fpgaVec.sbr +.\abclib\DebugLib\mapper.sbr +.\abclib\DebugLib\mapperCanon.sbr +.\abclib\DebugLib\mapperCore.sbr +.\abclib\DebugLib\mapperCreate.sbr +.\abclib\DebugLib\mapperCut.sbr +.\abclib\DebugLib\mapperCutUtils.sbr +.\abclib\DebugLib\mapperFanout.sbr +.\abclib\DebugLib\mapperLib.sbr +.\abclib\DebugLib\mapperMatch.sbr +.\abclib\DebugLib\mapperRefs.sbr +.\abclib\DebugLib\mapperSuper.sbr +.\abclib\DebugLib\mapperSwitch.sbr +.\abclib\DebugLib\mapperTable.sbr +.\abclib\DebugLib\mapperTime.sbr +.\abclib\DebugLib\mapperTree.sbr +.\abclib\DebugLib\mapperTruth.sbr +.\abclib\DebugLib\mapperUtils.sbr +.\abclib\DebugLib\mapperVec.sbr +.\abclib\DebugLib\mio.sbr +.\abclib\DebugLib\mioApi.sbr +.\abclib\DebugLib\mioFunc.sbr +.\abclib\DebugLib\mioRead.sbr +.\abclib\DebugLib\mioUtils.sbr +.\abclib\DebugLib\super.sbr +.\abclib\DebugLib\superAnd.sbr +.\abclib\DebugLib\superGate.sbr +.\abclib\DebugLib\superWrite.sbr +.\abclib\DebugLib\extraBddMisc.sbr +.\abclib\DebugLib\extraBddSymm.sbr +.\abclib\DebugLib\extraUtilBitMatrix.sbr +.\abclib\DebugLib\extraUtilCanon.sbr +.\abclib\DebugLib\extraUtilFile.sbr +.\abclib\DebugLib\extraUtilMemory.sbr +.\abclib\DebugLib\extraUtilMisc.sbr +.\abclib\DebugLib\extraUtilProgress.sbr +.\abclib\DebugLib\extraUtilReader.sbr +.\abclib\DebugLib\st.sbr +.\abclib\DebugLib\stmm.sbr +.\abclib\DebugLib\cpu_stats.sbr +.\abclib\DebugLib\cpu_time.sbr +.\abclib\DebugLib\datalimit.sbr +.\abclib\DebugLib\getopt.sbr +.\abclib\DebugLib\pathsearch.sbr +.\abclib\DebugLib\safe_mem.sbr +.\abclib\DebugLib\strsav.sbr +.\abclib\DebugLib\texpand.sbr +.\abclib\DebugLib\mvc.sbr +.\abclib\DebugLib\mvcApi.sbr +.\abclib\DebugLib\mvcCompare.sbr +.\abclib\DebugLib\mvcContain.sbr +.\abclib\DebugLib\mvcCover.sbr +.\abclib\DebugLib\mvcCube.sbr +.\abclib\DebugLib\mvcDivide.sbr +.\abclib\DebugLib\mvcDivisor.sbr +.\abclib\DebugLib\mvcList.sbr +.\abclib\DebugLib\mvcLits.sbr +.\abclib\DebugLib\mvcMan.sbr +.\abclib\DebugLib\mvcOpAlg.sbr +.\abclib\DebugLib\mvcOpBool.sbr +.\abclib\DebugLib\mvcPrint.sbr +.\abclib\DebugLib\mvcSort.sbr +.\abclib\DebugLib\mvcUtils.sbr +.\abclib\DebugLib\abcVanImp.sbr +.\abclib\DebugLib\abcPga.sbr +.\abclib\DebugLib\abcVanEijk.sbr +.\abclib\DebugLib\seqUtil.sbr +.\abclib\DebugLib\seqCreate.sbr +.\abclib\DebugLib\seqFpgaCore.sbr +.\abclib\DebugLib\seqFpgaIter.sbr +.\abclib\DebugLib\seqLatch.sbr +.\abclib\DebugLib\seqMan.sbr +.\abclib\DebugLib\seqMapCore.sbr +.\abclib\DebugLib\seqMapIter.sbr +.\abclib\DebugLib\seqRetCore.sbr +.\abclib\DebugLib\seqRetIter.sbr +.\abclib\DebugLib\seqShare.sbr +.\abclib\DebugLib\ioWriteList.sbr +.\abclib\DebugLib\ioReadBaf.sbr +.\abclib\DebugLib\ioWriteBaf.sbr +.\abclib\DebugLib\simSeq.sbr +.\abclib\DebugLib\extraBddKmap.sbr +.\abclib\DebugLib\cutOracle.sbr +.\abclib\DebugLib\cutApi.sbr +.\abclib\DebugLib\cutCut.sbr +.\abclib\DebugLib\libSupport.sbr +.\abclib\DebugLib\pgaUtil.sbr +.\abclib\DebugLib\pgaCore.sbr +.\abclib\DebugLib\pgaMan.sbr +.\abclib\DebugLib\pgaMatch.sbr] +Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP791.tmp" Creating browse info file...Output Window
Results
-abclib_release.lib - 0 error(s), 0 warning(s) +abclib_debug.lib - 0 error(s), 0 warning(s)