# Microsoft Developer Studio Project File - Name="abc" - Package Owner=<4> # Microsoft Developer Studio Generated Build File, Format Version 6.00 # ** DO NOT EDIT ** # TARGTYPE "Win32 (x86) Console Application" 0x0103 CFG=abc - 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 "abc.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 "abc.mak" CFG="abc - Win32 Debug" !MESSAGE !MESSAGE Possible choices for configuration are: !MESSAGE !MESSAGE "abc - Win32 Release" (based on "Win32 (x86) Console Application") !MESSAGE "abc - Win32 Debug" (based on "Win32 (x86) Console Application") !MESSAGE # Begin Project # PROP AllowPerConfigDependencies 0 # PROP Scc_ProjName "" # PROP Scc_LocalPath "" CPP=cl.exe RSC=rc.exe !IF "$(CFG)" == "abc - Win32 Release" # PROP BASE Use_MFC 0 # PROP BASE Use_Debug_Libraries 0 # PROP BASE Output_Dir "Release" # PROP BASE Intermediate_Dir "Release" # PROP BASE Target_Dir "" # PROP Use_MFC 0 # PROP Use_Debug_Libraries 0 # PROP Output_Dir "Release" # PROP Intermediate_Dir "Release" # 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\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\sop\mvc" /I "src\sop\ft" /I "src\sat\asat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\fxa" /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\util" /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 # ADD BASE BSC32 /nologo # ADD BSC32 /nologo LINK32=link.exe # ADD BASE LINK32 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 /machine:I386 # ADD LINK32 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 /machine:I386 /out:"_TEST/abc.exe" !ELSEIF "$(CFG)" == "abc - Win32 Debug" # PROP BASE Use_MFC 0 # PROP BASE Use_Debug_Libraries 1 # PROP BASE Output_Dir "Debug" # PROP BASE Intermediate_Dir "Debug" # PROP BASE Target_Dir "" # PROP Use_MFC 0 # PROP Use_Debug_Libraries 1 # PROP Output_Dir "Debug" # PROP Intermediate_Dir "Debug" # 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\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\sop\mvc" /I "src\sop\ft" /I "src\sat\asat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\fxa" /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\util" /I "src\misc\vec" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D "HAVE_ASSERT_H" /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 LINK32=link.exe # ADD BASE LINK32 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 /debug /machine:I386 /pdbtype:sept # ADD LINK32 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 /debug /machine:I386 /out:"_TEST/abc.exe" /pdbtype:sept !ENDIF # Begin Target # Name "abc - Win32 Release" # Name "abc - 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.c # End Source File # 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\abcAttach.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcCheck.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcCollapse.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcCreate.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcDfs.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcDsd.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcFanio.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcFpga.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcFraig.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcFunc.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\abcMap.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcMinBase.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcMiter.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\abcPrint.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcRefs.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcRenode.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcSat.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcSop.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcStrash.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcSweep.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcTiming.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcUtil.c # End Source File # Begin Source File SOURCE=.\src\base\abc\abcVerify.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\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\io.h # End Source File # Begin Source File SOURCE=.\src\base\io\ioInt.h # End Source File # Begin Source File SOURCE=.\src\base\io\ioRead.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\ioReadVerilog.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\ioWriteBlifLogic.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteCnf.c # End Source File # Begin Source File SOURCE=.\src\base\io\ioWriteGate.c # End Source File # End Group # Begin Group "main" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\base\main\main.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\mainUtils.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\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\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 # End Group # Begin Group "sop" # PROP Default_Filter "" # Begin Group "mvc" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sop\mvc\mvc.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvc.h # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcApi.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcCompare.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcContain.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcCover.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcCube.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcDivide.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcDivisor.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcList.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcLits.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcMan.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcOpAlg.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcOpBool.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcPrint.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcSort.c # End Source File # Begin Source File SOURCE=.\src\sop\mvc\mvcUtils.c # End Source File # End Group # Begin Group "ft" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sop\ft\ft.h # End Source File # Begin Source File SOURCE=.\src\sop\ft\ftFactor.c # End Source File # Begin Source File SOURCE=.\src\sop\ft\ftPrint.c # End Source File # End Group # End Group # Begin Group "sat" # PROP Default_Filter "" # Begin Group "asat" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sat\asat\added.c # End Source File # Begin Source File SOURCE=.\src\sat\asat\solver.c # End Source File # Begin Source File SOURCE=.\src\sat\asat\solver.h # End Source File # Begin Source File SOURCE=.\src\sat\asat\solver_vec.h # End Source File # End Group # 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\msatOrderJ.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 "fraig" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\sat\fraig\fraig.h # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigApi.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigCanon.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigFanout.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigFeed.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigInt.h # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigMan.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigMem.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigNode.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigPrime.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigSat.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigTable.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigUtil.c # End Source File # Begin Source File SOURCE=.\src\sat\fraig\fraigVec.c # End Source File # End Group # End Group # Begin Group "opt" # PROP Default_Filter "" # Begin Group "fxa" # PROP Default_Filter "" # End Group # End Group # Begin Group "map" # PROP Default_Filter "" # Begin Group "fpga" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\map\fpga\fpga.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpga.h # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaCore.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaCreate.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaCut.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaCutUtils.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaFanout.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaInt.h # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaLib.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaMatch.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaTime.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaTruth.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaUtils.c # End Source File # Begin Source File SOURCE=.\src\map\fpga\fpgaVec.c # End Source File # End Group # 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\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\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\mioRead.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 # Begin Source File SOURCE=.\src\map\super\superWrite.c # End Source File # End Group # End Group # Begin Group "seq" # PROP Default_Filter "" # 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\extraUtilBdd.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\extraUtilProgress.c # End Source File # Begin Source File SOURCE=.\src\misc\extra\extraUtilReader.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 "util" # PROP Default_Filter "" # Begin Source File SOURCE=.\src\misc\util\cpu_stats.c # End Source File # Begin Source File SOURCE=.\src\misc\util\cpu_time.c # End Source File # Begin Source File SOURCE=.\src\misc\util\datalimit.c # End Source File # Begin Source File SOURCE=.\src\misc\util\getopt.c # End Source File # Begin Source File SOURCE=.\src\misc\util\leaks.h # End Source File # Begin Source File SOURCE=.\src\misc\util\pathsearch.c # End Source File # Begin Source File SOURCE=.\src\misc\util\safe_mem.c # End Source File # Begin Source File SOURCE=.\src\misc\util\stdlib_hack.h # End Source File # Begin Source File SOURCE=.\src\misc\util\strsav.c # End Source File # Begin Source File SOURCE=.\src\misc\util\texpand.c # End Source File # Begin Source File SOURCE=.\src\misc\util\util.h # 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\vecFan.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecInt.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecPtr.h # End Source File # Begin Source File SOURCE=.\src\misc\vec\vecStr.h # End Source File # End Group # End Group # End Group # Begin Group "Header Files" # PROP Default_Filter "h;hpp;hxx;hm;inl" # End Group # Begin Group "Resource Files" # PROP Default_Filter "ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe" # End Group # End Target # End Project