# Microsoft Developer Studio Project File - Name="abclib" - Package Owner=<4> # Microsoft Developer Studio Generated Build File, Format Version 6.00 # ** DO NOT EDIT ** # TARGTYPE "Win32 (x86) Static Library" 0x0104 CFG=abclib - Win32 Debug !MESSAGE This is not a valid makefile. To build this project using NMAKE, !MESSAGE use the Export Makefile command and run !MESSAGE !MESSAGE NMAKE /f "abclib.mak". !MESSAGE !MESSAGE You can specify a configuration when running NMAKE !MESSAGE by defining the macro CFG on the command line. For example: !MESSAGE !MESSAGE NMAKE /f "abclib.mak" CFG="abclib - Win32 Debug" !MESSAGE !MESSAGE Possible choices for configuration are: !MESSAGE !MESSAGE "abclib - Win32 Release" (based on "Win32 (x86) Static Library") !MESSAGE "abclib - Win32 Debug" (based on "Win32 (x86) Static Library") !MESSAGE # Begin Project # PROP AllowPerConfigDependencies 0 # PROP Scc_ProjName "" # PROP Scc_LocalPath "" CPP=cl.exe RSC=rc.exe !IF "$(CFG)" == "abclib - Win32 Release" # PROP BASE Use_MFC 0 # PROP BASE Use_Debug_Libraries 0 # PROP BASE Output_Dir "ReleaseLib" # PROP BASE Intermediate_Dir "ReleaseLib" # PROP BASE Target_Dir "" # PROP Use_MFC 0 # PROP Use_Debug_Libraries 0 # PROP Output_Dir "ReleaseLib" # PROP Intermediate_Dir "ReleaseLib" # PROP Target_Dir "" # ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_MBCS" /D "_LIB" /YX /FD /c # ADD CPP /nologo /MD /W3 /GX /O2 /I "src" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /FR /YX /FD /c # ADD BASE RSC /l 0x409 /d "NDEBUG" # ADD RSC /l 0x409 /d "NDEBUG" BSC32=bscmake.exe # ADD BASE BSC32 /nologo # ADD BSC32 /nologo LIB32=link.exe -lib # ADD BASE LIB32 /nologo # ADD LIB32 /nologo /out:"lib\abcr.lib" !ELSEIF "$(CFG)" == "abclib - Win32 Debug" # PROP BASE Use_MFC 0 # PROP BASE Use_Debug_Libraries 1 # PROP BASE Output_Dir "DebugLib" # PROP BASE Intermediate_Dir "DebugLib" # PROP BASE Target_Dir "" # PROP Use_MFC 0 # PROP Use_Debug_Libraries 1 # PROP Output_Dir "DebugLib" # PROP Intermediate_Dir "DebugLib" # PROP Target_Dir "" # ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_MBCS" /D "_LIB" /YX /FD /GZ /c # ADD CPP /nologo /MDd /W3 /Gm /GX /ZI /Od /I "src" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /FR /YX /FD /GZ /c # ADD BASE RSC /l 0x409 /d "_DEBUG" # ADD RSC /l 0x409 /d "_DEBUG" BSC32=bscmake.exe # ADD BASE BSC32 /nologo # ADD BSC32 /nologo LIB32=link.exe -lib # ADD BASE LIB32 /nologo # ADD LIB32 /nologo /out:"lib\abcd.lib" !ENDIF # Begin Target # Name "abclib - Win32 Release" # Name "abclib - Win32 Debug" # Begin Group "Source Files" # PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat" # Begin Group "base" # PROP Default_Filter "" # Begin Group "abc" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\base\abc\abc.h # End Source File # Begin Source File SOURCE=.\src\base\abc\abcAig.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcBarBuf.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcBlifMv.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcCheck.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcDfs.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcFanio.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcFanOrder.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcFunc.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcHie.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcHieCec.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcHieNew.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcInt.h # End Source File # Begin Source File SOURCE=.\src\base\abc\abcLatch.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcLib.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcMinBase.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcNames.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcNetlist.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcNtk.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcObj.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcRefs.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcShow.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcSop.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcUtil.c # End Source File # End Group # Begin Group "abci" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\base\abci\abc.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcAttach.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcAuto.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcBalance.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcBidec.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcBm.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcBmc.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcCas.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcCascade.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcCollapse.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcCut.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcDar.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcDebug.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcDec.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcDress.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcDress2.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcDsd.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcExtract.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcFraig.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcFx.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcFxu.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcGen.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcHaig.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcIf.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcIfif.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcIfMux.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcIvy.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcLog.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcLut.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcLutmin.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcMap.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcMeasure.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcMerge.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcMffc.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcMfs.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcMini.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcMiter.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcMulti.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcMv.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcNpn.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcNpnSave.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcNtbdd.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcOdc.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcOrder.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcPart.c # End Source File # Begin Source File 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\abcQbf.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcQuant.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcReach.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcRec3.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcReconv.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcRefactor.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcRenode.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcReorder.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcRestruct.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcResub.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcRewrite.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcRpo.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcRr.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcSat.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcSaucy.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcScorr.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcSense.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcSpeedup.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcStrash.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcSweep.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcSymm.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcTim.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcTiming.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcUnate.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcUnreach.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcVerify.c # End Source File # Begin Source File SOURCE=.\src\base\abci\abcXsim.c # End Source File # End Group # Begin Group "cmd" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\base\cmd\cmd.c # End Source File # Begin Source File SOURCE=.\src\base\cmd\cmd.h # End Source File # Begin Source File SOURCE=.\src\base\cmd\cmdAlias.c # End Source File # Begin Source File SOURCE=.\src\base\cmd\cmdApi.c # End Source File # Begin Source File SOURCE=.\src\base\cmd\cmdFlag.c # End Source File # Begin Source File SOURCE=.\src\base\cmd\cmdHist.c # End Source File # Begin Source File SOURCE=.\src\base\cmd\cmdInt.h # End Source File # Begin Source File SOURCE=.\src\base\cmd\cmdLoad.c # End Source File # Begin Source File SOURCE=.\src\base\cmd\cmdPlugin.c # End Source File # Begin Source File SOURCE=.\src\base\cmd\cmdStarter.c # End Source File # Begin Source File SOURCE=.\src\base\cmd\cmdUtils.c # End Source File # End Group # Begin Group "io" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\base\io\io.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioabc.h # End Source File # Begin Source File SOURCE=.\src\base\io\ioInt.h # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadAiger.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadBaf.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadBblif.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadBench.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadBlif.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadBlifAig.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadBlifMv.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadDsd.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadEdif.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadEqn.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadPla.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioReadVerilog.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioUtil.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteAiger.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteBaf.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteBblif.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteBench.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteBlif.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteBlifMv.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteBook.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteCnf.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteDot.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteEqn.c # End Source File # Begin Source File 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 # Begin Source File SOURCE=.\src\base\io\ioWriteSmv.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteVerilog.c # End Source File # End Group # Begin Group "main" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\base\main\libSupport.c # End Source File # Begin Source File SOURCE=.\src\base\main\main.h # End Source File # Begin Source File SOURCE=.\src\base\main\mainFrame.c # End Source File # Begin Source File SOURCE=.\src\base\main\mainInit.c # End Source File # Begin Source File SOURCE=.\src\base\main\mainInt.h # End Source File # Begin Source File SOURCE=.\src\base\main\mainLib.c # End Source File # Begin Source File SOURCE=.\src\base\main\mainUtils.c # End Source File # End Group # Begin Group "ver" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\base\ver\ver.h # End Source File # Begin Source File SOURCE=.\src\base\ver\verCore.c # End Source File # Begin Source File SOURCE=.\src\base\ver\verFormula.c # End Source File # Begin Source File SOURCE=.\src\base\ver\verParse.c # End Source File # Begin Source File SOURCE=.\src\base\ver\verStream.c # End Source File # End Group # Begin Group "test" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\base\test\test.c # End Source File # End Group # Begin Group "abc2" # PROP Default_Filter "" # End Group # Begin Group "abc2d" # PROP Default_Filter "" # End Group # Begin Group "pcm" # PROP Default_Filter "" # End Group # Begin Group "ply" # PROP Default_Filter "" # End Group # Begin Group "wlc" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\base\wlc\wlc.c # End Source File # Begin Source File SOURCE=.\src\base\wlc\wlc.h # End Source File # Begin Source File SOURCE=.\src\base\wlc\wlcBlast.c # End Source File # Begin Source File SOURCE=.\src\base\wlc\wlcCom.c # End Source File # Begin Source File SOURCE=.\src\base\wlc\wlcNtk.c # End Source File # Begin Source File SOURCE=.\src\base\wlc\wlcReadVer.c # End Source File # Begin Source File SOURCE=.\src\base\wlc\wlcWriteVer.c # End Source File # End Group # End Group # Begin Group "bdd" # PROP Default_Filter "" # Begin Group "cudd" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bdd\cudd\cudd.h # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddAddAbs.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddAddApply.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddAddFind.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddAddInv.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddAddIte.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddAddNeg.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddAddWalsh.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddAndAbs.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddAnneal.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddApa.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddAPI.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddApprox.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddBddAbs.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddBddCorr.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddBddIte.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddBridge.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddCache.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddCheck.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddClip.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddCof.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddCompose.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddDecomp.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddEssent.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddExact.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddExport.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddGenCof.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddGenetic.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddGroup.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddHarwell.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddInit.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddInt.h # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddInteract.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddLCache.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddLevelQ.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddLinear.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddLiteral.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddMatMult.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddPriority.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddRead.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddRef.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddReorder.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddSat.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddSign.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddSolve.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddSplit.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddSubsetHB.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddSubsetSP.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddSymmetry.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddTable.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddUtil.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddWindow.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddCount.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddFuncs.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddGroup.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddIsop.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddLin.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddMisc.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddPort.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddReord.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddSetop.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddSymm.c # End Source File # Begin Source File SOURCE=.\src\bdd\cudd\cuddZddUtil.c # End Source File # End Group # Begin Group "epd" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bdd\epd\epd.c # End Source File # Begin Source File SOURCE=.\src\bdd\epd\epd.h # End Source File # End Group # Begin Group "mtr" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bdd\mtr\mtr.h # End Source File # Begin Source File SOURCE=.\src\bdd\mtr\mtrBasic.c # End Source File # Begin Source File SOURCE=.\src\bdd\mtr\mtrGroup.c # End Source File # Begin Source File SOURCE=.\src\bdd\mtr\mtrInt.h # End Source File # End Group # Begin Group "parse" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bdd\parse\parse.h # End Source File # Begin Source File SOURCE=.\src\bdd\parse\parseCore.c # End Source File # Begin Source File SOURCE=.\src\bdd\parse\parseEqn.c # End Source File # Begin Source File SOURCE=.\src\bdd\parse\parseInt.h # End Source File # Begin Source File SOURCE=.\src\bdd\parse\parseStack.c # End Source File # End Group # Begin Group "dsd" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bdd\dsd\dsd.h # End Source File # Begin Source File SOURCE=.\src\bdd\dsd\dsdApi.c # End Source File # Begin Source File SOURCE=.\src\bdd\dsd\dsdCheck.c # End Source File # Begin Source File SOURCE=.\src\bdd\dsd\dsdInt.h # End Source File # Begin Source File SOURCE=.\src\bdd\dsd\dsdLocal.c # End Source File # Begin Source File SOURCE=.\src\bdd\dsd\dsdMan.c # End Source File # Begin Source File SOURCE=.\src\bdd\dsd\dsdProc.c # End Source File # Begin Source File SOURCE=.\src\bdd\dsd\dsdTree.c # End Source File # End Group # Begin Group "reo" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bdd\reo\reo.h # End Source File # Begin Source File SOURCE=.\src\bdd\reo\reoApi.c # End Source File # Begin Source File SOURCE=.\src\bdd\reo\reoCore.c # End Source File # Begin Source File SOURCE=.\src\bdd\reo\reoProfile.c # End Source File # Begin Source File SOURCE=.\src\bdd\reo\reoShuffle.c # End Source File # Begin Source File SOURCE=.\src\bdd\reo\reoSift.c # End Source File # Begin Source File SOURCE=.\src\bdd\reo\reoSwap.c # End Source File # Begin Source File SOURCE=.\src\bdd\reo\reoTest.c # End Source File # Begin Source File SOURCE=.\src\bdd\reo\reoTransfer.c # End Source File # Begin Source File SOURCE=.\src\bdd\reo\reoUnits.c # End Source File # End Group # Begin Group "cas" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bdd\cas\cas.h # End Source File # Begin Source File SOURCE=.\src\bdd\cas\casCore.c # End Source File # Begin Source File SOURCE=.\src\bdd\cas\casDec.c # End Source File # End Group # End Group # Begin Group "sat" # PROP Default_Filter "" # Begin Group "msat" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sat\msat\msat.h # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatActivity.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatClause.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatClauseVec.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatInt.h # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatMem.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatOrderH.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatQueue.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatRead.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatSolverApi.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatSolverCore.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatSolverIo.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatSolverSearch.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatSort.c # End Source File # Begin Source File SOURCE=.\src\sat\msat\msatVec.c # End Source File # End Group # Begin Group "csat" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sat\csat\csat_apis.c # End Source File # Begin Source File SOURCE=.\src\sat\csat\csat_apis.h # End Source File # End Group # Begin Group "bsat" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sat\bsat\satClause.h # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satInter.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satInterA.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satInterB.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satInterP.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satMem.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satMem.h # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satProof.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satProof2.h # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satSolver.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satSolver.h # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satSolver2.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satSolver2.h # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satSolver2i.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satStore.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satStore.h # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satTrace.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satTruth.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satTruth.h # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satUtil.c # End Source File # Begin Source File SOURCE=.\src\sat\bsat\satVec.h # End Source File # End Group # Begin Group "proof" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sat\proof\pr.c # End Source File # Begin Source File SOURCE=.\src\sat\proof\pr.h # End Source File # End Group # Begin Group "psat" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sat\psat\m114p.h # End Source File # Begin Source File SOURCE=.\src\sat\psat\m114p_types.h # End Source File # End Group # Begin Group "lsat" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sat\lsat\solver.h # End Source File # End Group # Begin Group "cnf" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sat\cnf\cnf.h # End Source File # Begin Source File SOURCE=.\src\sat\cnf\cnfCore.c # End Source File # Begin Source File SOURCE=.\src\sat\cnf\cnfCut.c # End Source File # Begin Source File SOURCE=.\src\sat\cnf\cnfData.c # End Source File # Begin Source File SOURCE=.\src\sat\cnf\cnfFast.c # End Source File # Begin Source File SOURCE=.\src\sat\cnf\cnfMan.c # End Source File # Begin Source File SOURCE=.\src\sat\cnf\cnfMap.c # End Source File # Begin Source File SOURCE=.\src\sat\cnf\cnfPost.c # End Source File # Begin Source File SOURCE=.\src\sat\cnf\cnfUtil.c # End Source File # Begin Source File SOURCE=.\src\sat\cnf\cnfWrite.c # End Source File # End Group # Begin Group "bmc" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sat\bmc\bmc.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmc.h # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcBCore.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcBmc.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcBmc2.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcBmc3.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcBmcAnd.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcBmci.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcCexCare.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcCexCut.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcCexDepth.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcCexMin1.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcCexMin2.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcCexTools.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcEco.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcFault.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcICheck.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcInse.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcLoad.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcMaxi.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcMulti.c # End Source File # Begin Source File SOURCE=.\src\sat\bmc\bmcUnroll.c # End Source File # End Group # End Group # Begin Group "opt" # PROP Default_Filter "" # Begin Group "fxu" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\fxu\fxu.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxu.h # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuCreate.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuHeapD.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuHeapS.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuInt.h # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuList.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuMatrix.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuPair.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuPrint.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuReduce.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuSelect.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuSingle.c # End Source File # Begin Source File SOURCE=.\src\opt\fxu\fxuUpdate.c # End Source File # End Group # Begin Group "rwr" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\rwr\rwr.h # End Source File # Begin Source File SOURCE=.\src\opt\rwr\rwrDec.c # End Source File # Begin Source File SOURCE=.\src\opt\rwr\rwrEva.c # End Source File # Begin Source File SOURCE=.\src\opt\rwr\rwrExp.c # End Source File # Begin Source File SOURCE=.\src\opt\rwr\rwrLib.c # End Source File # Begin Source File SOURCE=.\src\opt\rwr\rwrMan.c # End Source File # Begin Source File SOURCE=.\src\opt\rwr\rwrPrint.c # End Source File # Begin Source File SOURCE=.\src\opt\rwr\rwrTemp.c # End Source File # Begin Source File SOURCE=.\src\opt\rwr\rwrUtil.c # End Source File # End Group # Begin Group "cut" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\cut\cut.h # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutApi.c # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutCut.c # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutExpand.c # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutInt.h # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutList.h # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutMan.c # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutMerge.c # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutNode.c # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutOracle.c # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutPre22.c # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutSeq.c # End Source File # Begin Source File SOURCE=.\src\opt\cut\cutTruth.c # End Source File # End Group # Begin Group "sim" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\sim\sim.h # End Source File # Begin Source File SOURCE=.\src\opt\sim\simMan.c # End Source File # Begin Source File SOURCE=.\src\opt\sim\simSat.c # End Source File # Begin Source File SOURCE=.\src\opt\sim\simSeq.c # End Source File # Begin Source File SOURCE=.\src\opt\sim\simSupp.c # End Source File # Begin Source File SOURCE=.\src\opt\sim\simSwitch.c # End Source File # Begin Source File SOURCE=.\src\opt\sim\simSym.c # End Source File # Begin Source File SOURCE=.\src\opt\sim\simSymSat.c # End Source File # Begin Source File SOURCE=.\src\opt\sim\simSymSim.c # End Source File # Begin Source File SOURCE=.\src\opt\sim\simSymStr.c # End Source File # Begin Source File SOURCE=.\src\opt\sim\simUtils.c # End Source File # End Group # Begin Group "ret" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\ret\retArea.c # End Source File # Begin Source File SOURCE=.\src\opt\ret\retCore.c # End Source File # Begin Source File SOURCE=.\src\opt\ret\retDelay.c # End Source File # Begin Source File SOURCE=.\src\opt\ret\retFlow.c # End Source File # Begin Source File SOURCE=.\src\opt\ret\retIncrem.c # End Source File # Begin Source File SOURCE=.\src\opt\ret\retInit.c # End Source File # Begin Source File SOURCE=.\src\opt\ret\retInt.h # End Source File # Begin Source File SOURCE=.\src\opt\ret\retLvalue.c # End Source File # End Group # Begin Group "res" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\res\res.h # End Source File # Begin Source File SOURCE=.\src\opt\res\resCore.c # End Source File # Begin Source File SOURCE=.\src\opt\res\resDivs.c # End Source File # Begin Source File SOURCE=.\src\opt\res\resFilter.c # End Source File # Begin Source File SOURCE=.\src\opt\res\resInt.h # End Source File # Begin Source File SOURCE=.\src\opt\res\resSat.c # End Source File # Begin Source File SOURCE=.\src\opt\res\resSim.c # End Source File # Begin Source File SOURCE=.\src\opt\res\resStrash.c # End Source File # Begin Source File SOURCE=.\src\opt\res\resWin.c # End Source File # End Group # Begin Group "lpk" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\lpk\lpk.h # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkAbcDec.c # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkAbcDsd.c # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkAbcMux.c # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkAbcUtil.c # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkCore.c # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkCut.c # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkInt.h # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkMan.c # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkMap.c # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkMulti.c # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkMux.c # End Source File # Begin Source File SOURCE=.\src\opt\lpk\lpkSets.c # End Source File # End Group # Begin Group "mfs" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\mfs\mfs.h # End Source File # Begin Source File SOURCE=.\src\opt\mfs\mfsCore.c # End Source File # Begin Source File SOURCE=.\src\opt\mfs\mfsDiv.c # End Source File # Begin Source File SOURCE=.\src\opt\mfs\mfsInt.h # End Source File # Begin Source File SOURCE=.\src\opt\mfs\mfsInter.c # End Source File # Begin Source File SOURCE=.\src\opt\mfs\mfsMan.c # End Source File # Begin Source File SOURCE=.\src\opt\mfs\mfsResub.c # End Source File # Begin Source File SOURCE=.\src\opt\mfs\mfsSat.c # End Source File # Begin Source File SOURCE=.\src\opt\mfs\mfsStrash.c # End Source File # Begin Source File SOURCE=.\src\opt\mfs\mfsWin.c # End Source File # End Group # Begin Group "cgt" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\cgt\cgt.h # End Source File # Begin Source File SOURCE=.\src\opt\cgt\cgtAig.c # End Source File # Begin Source File SOURCE=.\src\opt\cgt\cgtCore.c # End Source File # Begin Source File SOURCE=.\src\opt\cgt\cgtDecide.c # End Source File # Begin Source File SOURCE=.\src\opt\cgt\cgtInt.h # End Source File # Begin Source File SOURCE=.\src\opt\cgt\cgtMan.c # End Source File # Begin Source File SOURCE=.\src\opt\cgt\cgtSat.c # End Source File # End Group # Begin Group "csw" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\csw\csw.h # End Source File # Begin Source File SOURCE=.\src\opt\csw\cswCore.c # End Source File # Begin Source File SOURCE=.\src\opt\csw\cswCut.c # End Source File # Begin Source File SOURCE=.\src\opt\csw\cswInt.h # End Source File # Begin Source File SOURCE=.\src\opt\csw\cswMan.c # End Source File # Begin Source File SOURCE=.\src\opt\csw\cswTable.c # End Source File # End Group # Begin Group "dar" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\dar\dar.h # End Source File # Begin Source File SOURCE=.\src\opt\dar\darBalance.c # End Source File # Begin Source File SOURCE=.\src\opt\dar\darCore.c # End Source File # Begin Source File SOURCE=.\src\opt\dar\darCut.c # End Source File # Begin Source File SOURCE=.\src\opt\dar\darData.c # End Source File # Begin Source File SOURCE=.\src\opt\dar\darInt.h # End Source File # Begin Source File SOURCE=.\src\opt\dar\darLib.c # End Source File # Begin Source File SOURCE=.\src\opt\dar\darMan.c # End Source File # Begin Source File SOURCE=.\src\opt\dar\darPrec.c # End Source File # Begin Source File SOURCE=.\src\opt\dar\darRefact.c # End Source File # Begin Source File SOURCE=.\src\opt\dar\darResub.c # End Source File # Begin Source File SOURCE=.\src\opt\dar\darScript.c # End Source File # End Group # Begin Group "rwt" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\rwt\rwt.h # End Source File # Begin Source File SOURCE=.\src\opt\rwt\rwtDec.c # End Source File # Begin Source File SOURCE=.\src\opt\rwt\rwtMan.c # End Source File # Begin Source File SOURCE=.\src\opt\rwt\rwtUtil.c # End Source File # End Group # Begin Group "nwk" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\nwk\ntlnwk.h # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwk.h # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkAig.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkBidec.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkCheck.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkDfs.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkFanio.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkFlow.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkMan.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkMap.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkMerge.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkMerge.h # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkObj.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkSpeedup.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkStrash.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkTiming.c # End Source File # Begin Source File SOURCE=.\src\opt\nwk\nwkUtil.c # End Source File # End Group # Begin Group "dau" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\dau\dau.c # End Source File # Begin Source File SOURCE=.\src\opt\dau\dau.h # End Source File # Begin Source File SOURCE=.\src\opt\dau\dauCanon.c # End Source File # Begin Source File SOURCE=.\src\opt\dau\dauCore.c # End Source File # Begin Source File SOURCE=.\src\opt\dau\dauDivs.c # End Source File # Begin Source File SOURCE=.\src\opt\dau\dauDsd.c # End Source File # Begin Source File SOURCE=.\src\opt\dau\dauEnum.c # End Source File # Begin Source File SOURCE=.\src\opt\dau\dauGia.c # End Source File # Begin Source File SOURCE=.\src\opt\dau\dauInt.h # End Source File # Begin Source File SOURCE=.\src\opt\dau\dauMerge.c # End Source File # Begin Source File SOURCE=.\src\opt\dau\dauNonDsd.c # End Source File # Begin Source File SOURCE=.\src\opt\dau\dauTree.c # End Source File # End Group # Begin Group "sfm" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\opt\sfm\sfm.h # End Source File # Begin Source File SOURCE=.\src\opt\sfm\sfmCnf.c # End Source File # Begin Source File SOURCE=.\src\opt\sfm\sfmCore.c # End Source File # Begin Source File SOURCE=.\src\opt\sfm\sfmInt.h # End Source File # Begin Source File SOURCE=.\src\opt\sfm\sfmNtk.c # End Source File # Begin Source File SOURCE=.\src\opt\sfm\sfmSat.c # End Source File # Begin Source File SOURCE=.\src\opt\sfm\sfmWin.c # End Source File # End Group # End Group # Begin Group "map" # PROP Default_Filter "" # Begin Group "mapper" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\map\mapper\mapper.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapper.h # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperCanon.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperCore.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperCreate.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperCut.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperCutUtils.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperFanout.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperInt.h # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperLib.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperMatch.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperRefs.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperSuper.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperSwitch.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperTable.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperTime.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperTree.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperTruth.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperUtils.c # End Source File # Begin Source File SOURCE=.\src\map\mapper\mapperVec.c # End Source File # End Group # Begin Group "mio" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\map\mio\exp.h # End Source File # Begin Source File SOURCE=.\src\map\mio\mio.c # End Source File # Begin Source File SOURCE=.\src\map\mio\mio.h # End Source File # Begin Source File SOURCE=.\src\map\mio\mioApi.c # End Source File # Begin Source File SOURCE=.\src\map\mio\mioFunc.c # End Source File # Begin Source File SOURCE=.\src\map\mio\mioInt.h # End Source File # Begin Source File SOURCE=.\src\map\mio\mioParse.c # End Source File # Begin Source File SOURCE=.\src\map\mio\mioRead.c # End Source File # Begin Source File SOURCE=.\src\map\mio\mioSop.c # End Source File # Begin Source File SOURCE=.\src\map\mio\mioUtils.c # End Source File # End Group # Begin Group "super" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\map\super\super.c # End Source File # Begin Source File SOURCE=.\src\map\super\super.h # End Source File # Begin Source File SOURCE=.\src\map\super\superAnd.c # End Source File # Begin Source File SOURCE=.\src\map\super\superGate.c # End Source File # Begin Source File SOURCE=.\src\map\super\superInt.h # End Source File # End Group # Begin Group "if" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\map\if\if.h # End Source File # Begin Source File SOURCE=.\src\map\if\ifCache.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifCom.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifCore.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifCount.h # End Source File # Begin Source File SOURCE=.\src\map\if\ifCut.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifData2.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifDec07.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifDec08.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifDec10.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifDec16.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifDec75.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifDelay.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifDsd.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifLibBox.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifLibLut.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifMan.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifMap.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifMatch2.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifReduce.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifSat.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifSelect.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifSeq.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifTest.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifTime.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifTruth.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifTune.c # End Source File # Begin Source File SOURCE=.\src\map\if\ifUtil.c # End Source File # End Group # Begin Group "amap" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\map\amap\amap.h # End Source File # Begin Source File SOURCE=.\src\map\amap\amapCore.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapGraph.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapInt.h # End Source File # Begin Source File SOURCE=.\src\map\amap\amapLib.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapLiberty.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapMan.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapMatch.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapMerge.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapOutput.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapParse.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapPerm.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapRead.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapRule.c # End Source File # Begin Source File SOURCE=.\src\map\amap\amapUniq.c # End Source File # End Group # Begin Group "cov" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\map\cov\cov.h # End Source File # Begin Source File SOURCE=.\src\map\cov\covBuild.c # End Source File # Begin Source File SOURCE=.\src\map\cov\covCore.c # End Source File # Begin Source File SOURCE=.\src\map\cov\covInt.h # End Source File # Begin Source File SOURCE=.\src\map\cov\covMan.c # End Source File # Begin Source File SOURCE=.\src\map\cov\covMinEsop.c # End Source File # Begin Source File SOURCE=.\src\map\cov\covMinMan.c # End Source File # Begin Source File SOURCE=.\src\map\cov\covMinSop.c # End Source File # Begin Source File SOURCE=.\src\map\cov\covMinUtil.c # End Source File # End Group # Begin Group "scl" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\map\scl\scl.c # End Source File # Begin Source File SOURCE=.\src\map\scl\scl.h # End Source File # Begin Source File SOURCE=.\src\map\scl\sclBuffer.c # End Source File # Begin Source File SOURCE=.\src\map\scl\sclBufSize.c # End Source File # Begin Source File SOURCE=.\src\map\scl\sclDnsize.c # End Source File # Begin Source File SOURCE=.\src\map\scl\sclLib.h # End Source File # Begin Source File SOURCE=.\src\map\scl\sclLiberty.c # End Source File # Begin Source File SOURCE=.\src\map\scl\sclLibScl.c # End Source File # Begin Source File SOURCE=.\src\map\scl\sclLibUtil.c # End Source File # Begin Source File SOURCE=.\src\map\scl\sclLoad.c # End Source File # Begin Source File SOURCE=.\src\map\scl\sclSize.c # End Source File # Begin Source File SOURCE=.\src\map\scl\sclSize.h # End Source File # Begin Source File SOURCE=.\src\map\scl\sclTime.h # End Source File # Begin Source File SOURCE=.\src\map\scl\sclUpsize.c # End Source File # Begin Source File SOURCE=.\src\map\scl\sclUtil.c # End Source File # End Group # Begin Group "mpm" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\map\mpm\mpm.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpm.h # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmAbc.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmCore.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmDsd.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmGates.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmInt.h # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmLib.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmMan.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmMap.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmMig.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmMig.h # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmPre.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmTruth.c # End Source File # Begin Source File SOURCE=.\src\map\mpm\mpmUtil.c # End Source File # End Group # End Group # Begin Group "misc" # PROP Default_Filter "" # Begin Group "extra" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\extra\extra.h # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraBdd.h # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraBddAuto.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraBddCas.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraBddImage.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraBddKmap.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraBddMisc.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraBddSymm.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraBddTime.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraBddUnate.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilBitMatrix.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilCanon.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilCube.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilDsd.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilEnum.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilFile.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilMemory.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilMisc.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilPerm.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilProgress.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilReader.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilSupp.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilTruth.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilUtil.c # End Source File # End Group # Begin Group "st" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\st\st.c # End Source File # Begin Source File SOURCE=.\src\misc\st\st.h # End Source File # Begin Source File SOURCE=.\src\misc\st\stmm.c # End Source File # Begin Source File SOURCE=.\src\misc\st\stmm.h # End Source File # End Group # Begin Group "mvc" # PROP Default_Filter "" # Begin Source File 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\mvc\mvcCube.c # End Source File # Begin Source File SOURCE=.\src\misc\mvc\mvcDivide.c # End Source File # Begin Source File SOURCE=.\src\misc\mvc\mvcDivisor.c # End Source File # Begin Source File SOURCE=.\src\misc\mvc\mvcList.c # End Source File # Begin Source File SOURCE=.\src\misc\mvc\mvcLits.c # End Source File # Begin Source File SOURCE=.\src\misc\mvc\mvcMan.c # End Source File # Begin Source File SOURCE=.\src\misc\mvc\mvcOpAlg.c # End Source File # Begin Source File SOURCE=.\src\misc\mvc\mvcOpBool.c # End Source File # Begin Source File 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\mvc\mvcUtils.c # End Source File # End Group # Begin Group "vec" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\vec\vec.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecAtt.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecBit.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecFlt.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecHash.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecHsh.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecInt.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecMem.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecPtr.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecQue.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecSet.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecStr.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecVec.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecWec.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecWrd.h # End Source File # End Group # Begin Group "util" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\util\abc_global.h # End Source File # Begin Source File SOURCE=.\src\misc\util\util_hack.h # End Source File # Begin Source File SOURCE=.\src\misc\util\utilBridge.c # End Source File # Begin Source File SOURCE=.\src\misc\util\utilCex.c # End Source File # Begin Source File SOURCE=.\src\misc\util\utilCex.h # End Source File # Begin Source File SOURCE=.\src\misc\util\utilColor.c # End Source File # Begin Source File SOURCE=.\src\misc\util\utilFile.c # End Source File # Begin Source File SOURCE=.\src\misc\util\utilMem.c # End Source File # Begin Source File SOURCE=.\src\misc\util\utilMem.h # End Source File # Begin Source File SOURCE=.\src\misc\util\utilNam.c # End Source File # Begin Source File SOURCE=.\src\misc\util\utilNam.h # End Source File # Begin Source File SOURCE=.\src\misc\util\utilSignal.c # End Source File # Begin Source File SOURCE=.\src\misc\util\utilSignal.h # End Source File # Begin Source File SOURCE=.\src\misc\util\utilSort.c # End Source File # Begin Source File SOURCE=.\src\misc\util\utilTruth.h # End Source File # End Group # Begin Group "nm" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\nm\nm.h # End Source File # Begin Source File SOURCE=.\src\misc\nm\nmApi.c # End Source File # Begin Source File SOURCE=.\src\misc\nm\nmInt.h # End Source File # Begin Source File SOURCE=.\src\misc\nm\nmTable.c # End Source File # End Group # Begin Group "hash" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\hash\hash.h # End Source File # Begin Source File SOURCE=.\src\misc\hash\hashFlt.h # End Source File # Begin Source File SOURCE=.\src\misc\hash\hashInt.h # End Source File # Begin Source File SOURCE=.\src\misc\hash\hashPtr.h # End Source File # End Group # Begin Group "bzlib" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\bzlib\blocksort.c # End Source File # Begin Source File SOURCE=.\src\misc\bzlib\bzlib.c # End Source File # Begin Source File SOURCE=.\src\misc\bzlib\bzlib.h # End Source File # Begin Source File SOURCE=.\src\misc\bzlib\bzlib_private.h # End Source File # Begin Source File SOURCE=.\src\misc\bzlib\compress.c # End Source File # Begin Source File SOURCE=.\src\misc\bzlib\crctable.c # End Source File # Begin Source File SOURCE=.\src\misc\bzlib\decompress.c # End Source File # Begin Source File SOURCE=.\src\misc\bzlib\huffman.c # End Source File # Begin Source File SOURCE=.\src\misc\bzlib\randtable.c # End Source File # End Group # Begin Group "zlib" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\zlib\adler32.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\compress_.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\crc32.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\crc32.h # End Source File # Begin Source File SOURCE=.\src\misc\zlib\deflate.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\deflate.h # End Source File # Begin Source File SOURCE=.\src\misc\zlib\gzclose.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\gzguts.h # End Source File # Begin Source File SOURCE=.\src\misc\zlib\gzlib.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\gzread.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\gzwrite.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\infback.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\inffast.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\inffast.h # End Source File # Begin Source File SOURCE=.\src\misc\zlib\inffixed.h # End Source File # Begin Source File SOURCE=.\src\misc\zlib\inflate.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\inflate.h # End Source File # Begin Source File SOURCE=.\src\misc\zlib\inftrees.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\inftrees.h # End Source File # Begin Source File SOURCE=.\src\misc\zlib\trees.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\trees.h # End Source File # Begin Source File SOURCE=.\src\misc\zlib\uncompr.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\zconf.h # End Source File # Begin Source File SOURCE=.\src\misc\zlib\zlib.h # End Source File # Begin Source File SOURCE=.\src\misc\zlib\zutil.c # End Source File # Begin Source File SOURCE=.\src\misc\zlib\zutil.h # End Source File # End Group # Begin Group "bar" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\bar\bar.c # End Source File # Begin Source File SOURCE=.\src\misc\bar\bar.h # End Source File # End Group # Begin Group "bbl" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\bbl\bblif.c # End Source File # Begin Source File SOURCE=.\src\misc\bbl\bblif.h # End Source File # End Group # Begin Group "mem" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\mem\mem.c # End Source File # Begin Source File SOURCE=.\src\misc\mem\mem.h # End Source File # Begin Source File SOURCE=.\src\misc\mem\mem2.h # End Source File # End Group # Begin Group "tim" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\tim\tim.c # End Source File # Begin Source File SOURCE=.\src\misc\tim\tim.h # End Source File # Begin Source File SOURCE=.\src\misc\tim\timBox.c # End Source File # Begin Source File SOURCE=.\src\misc\tim\timDump.c # End Source File # Begin Source File SOURCE=.\src\misc\tim\timInt.h # End Source File # Begin Source File SOURCE=.\src\misc\tim\timMan.c # End Source File # Begin Source File SOURCE=.\src\misc\tim\timTime.c # End Source File # Begin Source File SOURCE=.\src\misc\tim\timTrav.c # End Source File # End Group # End Group # Begin Group "ai" # PROP Default_Filter "" # Begin Group "hop" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\aig\hop\hop.h # End Source File # Begin Source File SOURCE=.\src\aig\hop\hopBalance.c # End Source File # Begin Source File SOURCE=.\src\aig\hop\hopCheck.c # End Source File # Begin Source File SOURCE=.\src\aig\hop\hopDfs.c # End Source File # Begin Source File SOURCE=.\src\aig\hop\hopMan.c # End Source File # Begin Source File SOURCE=.\src\aig\hop\hopMem.c # End Source File # Begin Source File SOURCE=.\src\aig\hop\hopObj.c # End Source File # Begin Source File SOURCE=.\src\aig\hop\hopOper.c # End Source File # Begin Source File SOURCE=.\src\aig\hop\hopTable.c # End Source File # Begin Source File SOURCE=.\src\aig\hop\hopTruth.c # End Source File # Begin Source File SOURCE=.\src\aig\hop\hopUtil.c # End Source File # End Group # Begin Group "ivy" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\aig\ivy\ivy.h # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyBalance.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyCanon.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyCheck.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyCut.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyCutTrav.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyDfs.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyDsd.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyFanout.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyFastMap.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyFraig.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyHaig.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyMan.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyMem.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyMulti.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyObj.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyOper.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyResyn.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyRwr.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivySeq.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyShow.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyTable.c # End Source File # Begin Source File SOURCE=.\src\aig\ivy\ivyUtil.c # End Source File # End Group # Begin Group "ioa" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\aig\ioa\ioa.h # End Source File # Begin Source File SOURCE=.\src\aig\ioa\ioaReadAig.c # End Source File # Begin Source File SOURCE=.\src\aig\ioa\ioaUtil.c # End Source File # Begin Source File SOURCE=.\src\aig\ioa\ioaWriteAig.c # End Source File # End Group # Begin Group "aig" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\aig\aig\aig.h # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigCanon.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigCheck.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigCuts.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigDfs.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigDoms.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigDup.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigFact.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigFanout.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigFrames.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigInter.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigJust.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigMan.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigMem.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigMffc.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigObj.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigOper.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigOrder.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigPack.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigPart.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigPartReg.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigPartSat.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigRepr.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigRet.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigRetF.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigScl.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigShow.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigSplit.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigTable.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigTiming.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigTruth.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigTsim.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigUtil.c # End Source File # Begin Source File SOURCE=.\src\aig\aig\aigWin.c # End Source File # End Group # Begin Group "saig" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\aig\saig\saig.h # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigCone.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigConstr.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigConstr2.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigDual.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigDup.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigInd.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigIoa.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigIso.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigIsoFast.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigIsoSlow.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigMiter.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigOutDec.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigPhase.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigRetFwd.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigRetMin.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigRetStep.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigScl.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigSimFast.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigSimMv.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigSimSeq.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigStrSim.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigSwitch.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigSynch.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigTempor.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigTrans.c # End Source File # Begin Source File SOURCE=.\src\aig\saig\saigWnd.c # End Source File # End Group # Begin Group "gia" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\aig\gia\gia.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\gia.h # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaAig.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaAig.h # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaAiger.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaAigerExt.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaBalAig.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaBalLut.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaBalMap.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaBidec.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaCCof.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaCex.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaClp.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaCof.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaCone.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaCSat.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaCSatOld.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaCTas.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaDfs.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaDup.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaEmbed.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaEnable.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaEquiv.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaEra.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaEra2.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaFalse.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaFanout.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaForce.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaFrames.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaFront.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaFx.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaGig.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaGlitch.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaHash.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaIf.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaIff.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaIso.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaIso2.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaIso3.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaJf.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaKf.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaLf.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaMan.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaMem.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaMf.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaMfs.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaMini.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaMuxes.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaNf.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaPat.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaResub.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaRetime.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaScl.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaScript.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaShrink.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaShrink6.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaShrink7.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaSim.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaSim2.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaSort.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaSpeedup.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaStg.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaStr.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaSupMin.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaSweep.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaSweeper.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaSwitch.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaTim.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaTis.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaTruth.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaTsim.c # End Source File # Begin Source File SOURCE=.\src\aig\gia\giaUtil.c # End Source File # End Group # Begin Group "miniaig" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\aig\miniaig\miniaig.h # End Source File # End Group # End Group # Begin Group "bool" # PROP Default_Filter "" # Begin Group "bdc" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bool\bdc\bdc.h # End Source File # Begin Source File SOURCE=.\src\bool\bdc\bdcCore.c # End Source File # Begin Source File SOURCE=.\src\bool\bdc\bdcDec.c # End Source File # Begin Source File SOURCE=.\src\bool\bdc\bdcInt.h # End Source File # Begin Source File SOURCE=.\src\bool\bdc\bdcSpfd.c # End Source File # Begin Source File SOURCE=.\src\bool\bdc\bdcTable.c # End Source File # End Group # Begin Group "dec" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bool\dec\dec.h # End Source File # Begin Source File SOURCE=.\src\bool\dec\decAbc.c # End Source File # Begin Source File SOURCE=.\src\bool\dec\decFactor.c # End Source File # Begin Source File SOURCE=.\src\bool\dec\decMan.c # End Source File # Begin Source File SOURCE=.\src\bool\dec\decPrint.c # End Source File # Begin Source File SOURCE=.\src\bool\dec\decUtil.c # End Source File # End Group # Begin Group "deco" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bool\deco\deco.h # End Source File # End Group # Begin Group "kit" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bool\kit\cloud.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\cloud.h # End Source File # Begin Source File SOURCE=.\src\bool\kit\kit.h # End Source File # Begin Source File SOURCE=.\src\bool\kit\kit_.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitAig.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitBdd.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitCloud.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitDec.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitDsd.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitFactor.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitGraph.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitHop.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitIsop.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitPerm.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitPla.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitSop.c # End Source File # Begin Source File SOURCE=.\src\bool\kit\kitTruth.c # End Source File # End Group # Begin Group "lucky" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bool\lucky\lucky.c # End Source File # Begin Source File SOURCE=.\src\bool\lucky\lucky.h # End Source File # Begin Source File SOURCE=.\src\bool\lucky\luckyFast16.c # End Source File # Begin Source File SOURCE=.\src\bool\lucky\luckyFast6.c # End Source File # Begin Source File SOURCE=.\src\bool\lucky\luckyInt.h # End Source File # Begin Source File SOURCE=.\src\bool\lucky\luckyRead.c # End Source File # Begin Source File SOURCE=.\src\bool\lucky\luckySimple.c # End Source File # Begin Source File SOURCE=.\src\bool\lucky\luckySwap.c # End Source File # Begin Source File SOURCE=.\src\bool\lucky\luckySwapIJ.c # End Source File # End Group # Begin Group "rsb" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bool\rsb\rsb.h # End Source File # Begin Source File SOURCE=.\src\bool\rsb\rsbDec6.c # End Source File # Begin Source File SOURCE=.\src\bool\rsb\rsbInt.h # End Source File # Begin Source File SOURCE=.\src\bool\rsb\rsbMan.c # End Source File # End Group # Begin Group "rpo" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\bool\rpo\literal.h # End Source File # Begin Source File SOURCE=.\src\bool\rpo\rpo.c # End Source File # Begin Source File SOURCE=.\src\bool\rpo\rpo.h # End Source File # End Group # End Group # Begin Group "prove" # PROP Default_Filter "" # Begin Group "bbr" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\bbr\bbr.h # End Source File # Begin Source File SOURCE=.\src\proof\bbr\bbrCex.c # End Source File # Begin Source File SOURCE=.\src\proof\bbr\bbrImage.c # End Source File # Begin Source File SOURCE=.\src\proof\bbr\bbrNtbdd.c # End Source File # Begin Source File SOURCE=.\src\proof\bbr\bbrReach.c # End Source File # End Group # Begin Group "cec" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\cec\cec.h # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecCec.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecChoice.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecClass.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecCore.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecCorr.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecInt.h # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecIso.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecMan.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecPat.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecSeq.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecSolve.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecSplit.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecSweep.c # End Source File # Begin Source File SOURCE=.\src\proof\cec\cecSynth.c # End Source File # End Group # Begin Group "dch" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\dch\dch.h # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchAig.c # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchChoice.c # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchClass.c # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchCnf.c # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchCore.c # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchInt.h # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchMan.c # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchSat.c # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchSim.c # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchSimSat.c # End Source File # Begin Source File SOURCE=.\src\proof\dch\dchSweep.c # End Source File # End Group # Begin Group "fra" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\fra\fra.h # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraBmc.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraCec.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraClass.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraClau.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraClaus.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraCnf.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraCore.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraHot.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraImp.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraInd.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraIndVer.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraLcr.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraMan.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraPart.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraSat.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraSec.c # End Source File # Begin Source File SOURCE=.\src\proof\fra\fraSim.c # End Source File # End Group # Begin Group "fraig" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\fraig\fraig.h # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigApi.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigCanon.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigChoice.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigFanout.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigFeed.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigInt.h # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigMan.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigMem.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigNode.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigPrime.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigSat.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigTable.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigUtil.c # End Source File # Begin Source File SOURCE=.\src\proof\fraig\fraigVec.c # End Source File # End Group # Begin Group "int" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\int\int.h # End Source File # Begin Source File SOURCE=.\src\proof\int\intCheck.c # End Source File # Begin Source File SOURCE=.\src\proof\int\intContain.c # End Source File # Begin Source File SOURCE=.\src\proof\int\intCore.c # End Source File # Begin Source File SOURCE=.\src\proof\int\intCtrex.c # End Source File # Begin Source File SOURCE=.\src\proof\int\intDup.c # End Source File # Begin Source File SOURCE=.\src\proof\int\intFrames.c # End Source File # Begin Source File SOURCE=.\src\proof\int\intInt.h # End Source File # Begin Source File SOURCE=.\src\proof\int\intInter.c # End Source File # Begin Source File SOURCE=.\src\proof\int\intM114.c # End Source File # Begin Source File SOURCE=.\src\proof\int\intMan.c # End Source File # Begin Source File SOURCE=.\src\proof\int\intUtil.c # End Source File # End Group # Begin Group "live" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\live\arenaViolation.c # End Source File # Begin Source File SOURCE=.\src\proof\live\combination.c # End Source File # Begin Source File SOURCE=.\src\proof\live\disjunctiveMonotone.c # End Source File # Begin Source File SOURCE=.\src\proof\live\kLiveConstraints.c # End Source File # Begin Source File SOURCE=.\src\proof\live\kliveness.c # End Source File # Begin Source File SOURCE=.\src\proof\live\liveness.c # End Source File # Begin Source File SOURCE=.\src\proof\live\liveness_sim.c # End Source File # Begin Source File SOURCE=.\src\proof\live\ltl_parser.c # End Source File # Begin Source File SOURCE=.\src\proof\live\monotone.c # End Source File # End Group # Begin Group "llb" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\llb\llb.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb.h # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb1Cluster.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb1Constr.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb1Core.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb1Group.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb1Hint.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb1Man.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb1Matrix.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb1Pivot.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb1Reach.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb1Sched.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb2Bad.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb2Core.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb2Driver.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb2Dump.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb2Flow.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb2Image.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb3Image.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb3Nonlin.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb4Cex.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb4Cluster.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb4Image.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb4Map.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb4Nonlin.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llb4Sweep.c # End Source File # Begin Source File SOURCE=.\src\proof\llb\llbInt.h # End Source File # End Group # Begin Group "pdr" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\pdr\pdr.h # End Source File # Begin Source File SOURCE=.\src\proof\pdr\pdrClass.c # End Source File # Begin Source File SOURCE=.\src\proof\pdr\pdrCnf.c # End Source File # Begin Source File SOURCE=.\src\proof\pdr\pdrCore.c # End Source File # Begin Source File SOURCE=.\src\proof\pdr\pdrInt.h # End Source File # Begin Source File SOURCE=.\src\proof\pdr\pdrInv.c # End Source File # Begin Source File SOURCE=.\src\proof\pdr\pdrMan.c # End Source File # Begin Source File SOURCE=.\src\proof\pdr\pdrSat.c # End Source File # Begin Source File SOURCE=.\src\proof\pdr\pdrTsim.c # End Source File # Begin Source File SOURCE=.\src\proof\pdr\pdrUtil.c # End Source File # End Group # Begin Group "ssw" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\ssw\ssw.h # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswAig.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswBmc.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswClass.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswCnf.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswConstr.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswCore.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswDyn.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswFilter.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswInt.h # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswIslands.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswLcorr.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswMan.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswPairs.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswPart.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswRarity.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswRarity2.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswSat.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswSemi.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswSim.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswSimSat.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswSweep.c # End Source File # Begin Source File SOURCE=.\src\proof\ssw\sswUnique.c # End Source File # End Group # Begin Group "abs" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\abs\abs.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\abs.h # End Source File # Begin Source File SOURCE=.\src\proof\abs\absDup.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absGla.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absGlaOld.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absIter.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absOldCex.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absOldRef.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absOldSat.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absOldSim.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absOut.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absPth.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absRef.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absRef.h # End Source File # Begin Source File SOURCE=.\src\proof\abs\absRefSelect.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absRpm.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absRpmOld.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absUtil.c # End Source File # Begin Source File SOURCE=.\src\proof\abs\absVta.c # End Source File # End Group # Begin Group "ssc" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\proof\ssc\ssc.h # End Source File # Begin Source File SOURCE=.\src\proof\ssc\sscClass.c # End Source File # Begin Source File SOURCE=.\src\proof\ssc\sscCore.c # End Source File # Begin Source File SOURCE=.\src\proof\ssc\sscInt.h # End Source File # Begin Source File SOURCE=.\src\proof\ssc\sscSat.c # End Source File # Begin Source File SOURCE=.\src\proof\ssc\sscSim.c # End Source File # Begin Source File SOURCE=.\src\proof\ssc\sscUtil.c # End Source File # End Group # Begin Group "int2" # PROP Default_Filter "" # End Group # End Group # End Group # Begin Group "Header Files" # PROP Default_Filter "h;hpp;hxx;hm;inl" # End Group # End Target # End Project