diff options
Diffstat (limited to 'abclib.dsp')
-rw-r--r-- | abclib.dsp | 12036 |
1 files changed, 6040 insertions, 5996 deletions
@@ -1,5996 +1,6040 @@ -# 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 "WINDOWS" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /D "ABC_USE_PTHREADS" /D "ABC_USE_CUDD" /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 "WINDOWS" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /D "ABC_USE_PTHREADS" /D "ABC_USE_CUDD" /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\abcHieGia.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\abcDetect.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\abcDress3.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\abci\abcDsd.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\abci\abcEco.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\abci\abcExact.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\cmdAuto.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\ioJson.c
-# 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\ioReadPlaMo.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\abcapis.h
-# End Source File
-# 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\mainReal.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 "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\wlcAbc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcAbs.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcAbs2.c
-# 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\wlcGraft.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcJson.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcMem.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcNdr.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcNtk.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcPth.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcReadSmt.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcReadVer.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcShow.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcSim.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcStdin.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcUif.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcWin.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\wlc\wlcWriteVer.c
-# End Source File
-# End Group
-# Begin Group "pla"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\base\pla\pla.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pla\plaCom.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pla\plaHash.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pla\plaMan.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pla\plaMerge.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pla\plaRead.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pla\plaSimple.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\pla\plaWrite.c
-# End Source File
-# End Group
-# Begin Group "bac"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\base\bac\bac.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bac.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacBac.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacBlast.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacCom.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacLib.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacNtk.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacOper.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacPrs.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacPrsBuild.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacPrsTrans.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacPtr.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacPtrAbc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacReadBlif.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacReadSmt.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacReadVer.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacWriteBlif.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacWriteSmt.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\bac\bacWriteVer.c
-# End Source File
-# End Group
-# Begin Group "cba"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\base\cba\cba.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cba.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cbaBlast.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cbaCba.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cbaCom.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cbaNtk.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cbaPrs.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cbaReadBlif.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cbaReadVer.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cbaTypes.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cbaWriteBlif.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\cba\cbaWriteVer.c
-# End Source File
-# End Group
-# Begin Group "exor"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\base\exor\exor.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\exor\exor.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\exor\exorBits.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\exor\exorCubes.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\exor\exorLink.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\exor\exorList.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\exor\exorUtil.c
-# End Source File
-# End Group
-# Begin Group "acb"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\base\acb\acb.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acb.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acbAbc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acbAig.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acbCom.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acbFunc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acbMfs.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acbPar.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acbPush.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acbSets.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acbSets.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\acb\acbUtil.c
-# End Source File
-# End Group
-# End Group
-# Begin Group "bdd"
-
-# PROP Default_Filter ""
-# Begin Group "extrab"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\bdd\extrab\extraBdd.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\extrab\extraBddAuto.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\extrab\extraBddCas.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\extrab\extraBddImage.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\extrab\extraBddKmap.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\extrab\extraBddMisc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\extrab\extraBddSymm.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\extrab\extraBddThresh.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\extrab\extraBddTime.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\extrab\extraBddUnate.c
-# End Source File
-# End Group
-# Begin Group "llb"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb1Cluster.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb1Constr.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb1Core.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb1Group.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb1Hint.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb1Man.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb1Matrix.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb1Pivot.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb1Reach.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb1Sched.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb2Bad.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb2Core.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb2Driver.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb2Dump.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb2Flow.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb2Image.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb3Image.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb3Nonlin.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb4Cex.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb4Cluster.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb4Image.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb4Map.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb4Nonlin.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llb4Sweep.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\llb\llbInt.h
-# End Source File
-# End Group
-# Begin Group "bbr"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\bdd\bbr\bbr.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\bbr\bbrCex.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\bbr\bbrImage.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\bbr\bbrNtbdd.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\bbr\bbrReach.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
-# 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 "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 "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 "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 "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
-# 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\satSolver3.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bsat\satSolver3.h
-# 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\bmcBmcG.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcBmci.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcBmcS.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\bmcChain.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcClp.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcEco.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcExpand.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcFault.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcFx.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcGen.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\bmcMaj.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcMaj2.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcMaj3.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcMaxi.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcMesh.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\bmc\bmcMesh2.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
-# Begin Group "bsat2"
-
-# PROP Default_Filter ""
-# End Group
-# Begin Group "satoko"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\act_clause.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\act_var.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\utils\b_queue.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\cdb.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\clause.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\cnf_reader.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\utils\heap.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\utils\mem.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\utils\misc.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\satoko.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\utils\sdbl.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\solver.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\solver.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\solver_api.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\utils\sort.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\types.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\utils\vec\vec_char.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\utils\vec\vec_flt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\utils\vec\vec_int.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\utils\vec\vec_uint.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\satoko\watch_list.h
-# End Source File
-# End Group
-# Begin Group "xsat"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsat.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsatBQueue.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsatClause.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsatCnfReader.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsatHeap.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsatMemory.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsatSolver.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsatSolver.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsatSolverAPI.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsatUtils.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\xsat\xsatWatchList.h
-# End Source File
-# End Group
-# Begin Group "glucose"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\AbcGlucose.cpp
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\AbcGlucose.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\AbcGlucoseCmd.cpp
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Alg.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Alloc.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\BoundedQueue.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Constants.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Dimacs.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Glucose.cpp
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Heap.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\IntTypes.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Map.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Options.cpp
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Options.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\ParseUtils.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\pstdint.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Queue.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\SimpSolver.cpp
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\SimpSolver.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Solver.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\SolverTypes.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Sort.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\System.cpp
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\System.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\Vec.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\glucose\XAlloc.h
-# 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\dauCount.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\dauNpn.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\sfmArea.c
-# 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\sfmDec.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sfm\sfmInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sfm\sfmLib.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sfm\sfmMit.c
-# 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\sfmTim.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sfm\sfmWin.c
-# End Source File
-# End Group
-# Begin Group "fret"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\opt\fret\fretFlow.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\fret\fretime.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\fret\fretInit.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\fret\fretMain.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\fret\fretTime.c
-# End Source File
-# End Group
-# Begin Group "fxch"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\opt\fxch\Fxch.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\fxch\Fxch.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\fxch\FxchDiv.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\fxch\FxchMan.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\fxch\FxchSCHashTable.c
-# End Source File
-# End Group
-# Begin Group "dsc"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\opt\dsc\dsc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\dsc\dsc.h
-# End Source File
-# End Group
-# Begin Group "sbd"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbd.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbd.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbdCnf.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbdCore.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbdCut.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbdCut2.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbdInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbdLut.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbdPath.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbdSat.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\opt\sbd\sbdWin.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\sclCon.h
-# 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\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\extraUtilMaj.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\extraUtilMult.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraUtilPath.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraUtilPerm.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraUtilPrime.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\utilDouble.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\util\utilFile.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\util\utilFloat.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\util\utilIsop.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
-# Begin Group "parse"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\misc\parse\parseEqn.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\parse\parseInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\parse\parseStack.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\giaCSat2.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\giaCut.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\giaEdge.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\giaEsop.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaExist.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\giaIiff.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaIiff.h
-# 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\giaOf.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaPack.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaPat.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaPf.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaQbf.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\giaRex.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaSat3.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaSatEdge.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaSatLE.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaSatLut.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaSatMap.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaSatoko.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\giaShow.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\giaSplit.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\giaSupp.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\giaUnate.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\abcOper.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\miniaig\miniaig.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\miniaig\minilut.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\miniaig\ndr.h
-# End Source File
-# End Group
-# Begin Group "uap"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\aig\uap\uap.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 "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\cecSat.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\cec\cecSatG.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 "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\pdrIncr.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\pdrTsim2.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\pdr\pdrTsim3.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
-# Begin Group "acec"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acec.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acec2Mult.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecBo.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecCl.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecCo.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecCore.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecCover.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecFadds.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecMult.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecNorm.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecOrder.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecPa.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecPo.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecPolyn.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecPool.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecRe.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecSt.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecStruct.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecTree.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecUtil.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\acec\acecXor.c
-# End Source File
-# End Group
-# End Group
-# End Group
-# Begin Group "Header Files"
-
-# PROP Default_Filter "h;hpp;hxx;hm;inl"
-# End Group
-# End Target
-# End Project
+# 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 "WINDOWS" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /D "ABC_USE_PTHREADS" /D "ABC_USE_CUDD" /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 "WINDOWS" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /D "ABC_USE_PTHREADS" /D "ABC_USE_CUDD" /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\abcHieGia.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\abcDetect.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\abcDress3.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abci\abcDsd.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abci\abcEco.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\abci\abcExact.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\cmdAuto.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\ioJson.c +# 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\ioReadPlaMo.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\abcapis.h +# End Source File +# 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\mainReal.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 "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\wlcAbc.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcAbs.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcAbs2.c +# 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\wlcGraft.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcJson.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcMem.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcNdr.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcNtk.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcPth.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcReadSmt.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcReadVer.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcShow.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcSim.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcStdin.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcUif.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcWin.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wlc\wlcWriteVer.c +# End Source File +# End Group +# Begin Group "pla" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\base\pla\pla.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\pla\plaCom.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\pla\plaHash.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\pla\plaMan.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\pla\plaMerge.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\pla\plaRead.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\pla\plaSimple.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\pla\plaWrite.c +# End Source File +# End Group +# Begin Group "bac" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\base\bac\bac.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bac.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacBac.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacBlast.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacCom.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacLib.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacNtk.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacOper.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacPrs.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacPrsBuild.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacPrsTrans.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacPtr.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacPtrAbc.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacReadBlif.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacReadSmt.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacReadVer.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacWriteBlif.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacWriteSmt.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\bac\bacWriteVer.c +# End Source File +# End Group +# Begin Group "cba" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\base\cba\cba.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cba.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cbaBlast.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cbaCba.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cbaCom.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cbaNtk.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cbaPrs.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cbaReadBlif.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cbaReadVer.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cbaTypes.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cbaWriteBlif.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\cba\cbaWriteVer.c +# End Source File +# End Group +# Begin Group "exor" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\base\exor\exor.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\exor\exor.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\exor\exorBits.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\exor\exorCubes.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\exor\exorLink.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\exor\exorList.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\exor\exorUtil.c +# End Source File +# End Group +# Begin Group "acb" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\base\acb\acb.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acb.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acbAbc.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acbAig.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acbCom.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acbFunc.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acbMfs.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acbPar.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acbPush.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acbSets.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acbSets.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\acb\acbUtil.c +# End Source File +# End Group +# Begin Group "wln" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\base\wln\wln.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wln\wln.h +# End Source File +# Begin Source File + +SOURCE=.\src\base\wln\wlnNdr.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wln\wlnNtk.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wln\wlnObj.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wln\wlnRetime.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\wln\wlnWriteVer.c +# End Source File +# End Group +# End Group +# Begin Group "bdd" + +# PROP Default_Filter "" +# Begin Group "extrab" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBdd.h +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddAuto.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddCas.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddImage.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddKmap.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddMaxMin.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddMisc.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddSet.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddSymm.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddThresh.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddTime.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddUnate.c +# End Source File +# End Group +# Begin Group "llb" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\bdd\llb\llb.h +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Cluster.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Constr.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Core.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Group.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Hint.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Man.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Matrix.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Pivot.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Reach.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Sched.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Bad.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Core.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Driver.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Dump.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Flow.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Image.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb3Image.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb3Nonlin.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Cex.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Cluster.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Image.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Map.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Nonlin.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Sweep.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llbInt.h +# End Source File +# End Group +# Begin Group "bbr" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\bdd\bbr\bbr.h +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\bbr\bbrCex.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\bbr\bbrImage.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\bbr\bbrNtbdd.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\bbr\bbrReach.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 +# 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 "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 "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 "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 "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 +# 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\satSolver3.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bsat\satSolver3.h +# 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\bmcBmcG.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcBmci.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcBmcS.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\bmcChain.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcClp.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcEco.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcExpand.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcFault.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcFx.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcGen.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\bmcMaj.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcMaj2.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcMaj3.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcMaxi.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcMesh.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcMesh2.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 +# Begin Group "bsat2" + +# PROP Default_Filter "" +# End Group +# Begin Group "satoko" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\sat\satoko\act_clause.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\act_var.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\utils\b_queue.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\cdb.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\clause.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\cnf_reader.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\utils\heap.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\utils\mem.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\utils\misc.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\satoko.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\utils\sdbl.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\solver.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\solver.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\solver_api.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\utils\sort.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\types.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\utils\vec\vec_char.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\utils\vec\vec_flt.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\utils\vec\vec_int.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\utils\vec\vec_uint.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\satoko\watch_list.h +# End Source File +# End Group +# Begin Group "xsat" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\sat\xsat\xsat.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatBQueue.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatClause.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatCnfReader.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatHeap.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatMemory.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatSolver.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatSolver.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatSolverAPI.c +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatUtils.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\xsat\xsatWatchList.h +# End Source File +# End Group +# Begin Group "glucose" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\sat\glucose\AbcGlucose.cpp +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\AbcGlucose.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\AbcGlucoseCmd.cpp +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Alg.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Alloc.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\BoundedQueue.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Constants.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Dimacs.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Glucose.cpp +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Heap.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\IntTypes.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Map.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Options.cpp +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Options.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\ParseUtils.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\pstdint.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Queue.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\SimpSolver.cpp +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\SimpSolver.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Solver.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\SolverTypes.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Sort.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\System.cpp +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\System.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\Vec.h +# End Source File +# Begin Source File + +SOURCE=.\src\sat\glucose\XAlloc.h +# 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\dauCount.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\dauNpn.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\dau\dauNpn2.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\sfmArea.c +# 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\sfmDec.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sfm\sfmInt.h +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sfm\sfmLib.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sfm\sfmMit.c +# 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\sfmTim.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sfm\sfmWin.c +# End Source File +# End Group +# Begin Group "fret" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\opt\fret\fretFlow.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\fret\fretime.h +# End Source File +# Begin Source File + +SOURCE=.\src\opt\fret\fretInit.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\fret\fretMain.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\fret\fretTime.c +# End Source File +# End Group +# Begin Group "fxch" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\opt\fxch\Fxch.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\fxch\Fxch.h +# End Source File +# Begin Source File + +SOURCE=.\src\opt\fxch\FxchDiv.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\fxch\FxchMan.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\fxch\FxchSCHashTable.c +# End Source File +# End Group +# Begin Group "dsc" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\opt\dsc\dsc.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\dsc\dsc.h +# End Source File +# End Group +# Begin Group "sbd" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\opt\sbd\sbd.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbd.h +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdCnf.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdCore.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdCut.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdCut2.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdInt.h +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdLut.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdPath.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdSat.c +# End Source File +# Begin Source File + +SOURCE=.\src\opt\sbd\sbdWin.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\sclCon.h +# 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\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\extraUtilMaj.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\extraUtilMult.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\extra\extraUtilPath.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\extra\extraUtilPerm.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\extra\extraUtilPrime.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\utilDouble.h +# End Source File +# Begin Source File + +SOURCE=.\src\misc\util\utilFile.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\util\utilFloat.h +# End Source File +# Begin Source File + +SOURCE=.\src\misc\util\utilIsop.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 +# Begin Group "parse" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\misc\parse\parseEqn.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\parse\parseInt.h +# End Source File +# Begin Source File + +SOURCE=.\src\misc\parse\parseStack.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\giaCSat2.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\giaCut.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\giaEdge.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\giaEsop.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaExist.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\giaIiff.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaIiff.h +# 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\giaOf.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaPack.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaPat.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaPf.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaQbf.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\giaRex.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaSat3.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaSatEdge.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaSatLE.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaSatLut.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaSatMap.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaSatoko.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\giaShow.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\giaSplit.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\giaSupp.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\giaUnate.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\abcOper.h +# End Source File +# Begin Source File + +SOURCE=.\src\aig\miniaig\miniaig.h +# End Source File +# Begin Source File + +SOURCE=.\src\aig\miniaig\minilut.h +# End Source File +# Begin Source File + +SOURCE=.\src\aig\miniaig\ndr.h +# End Source File +# End Group +# Begin Group "uap" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\aig\uap\uap.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 "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\cecSat.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\cec\cecSatG.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 "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\pdrIncr.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\pdrTsim2.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\pdr\pdrTsim3.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 +# Begin Group "acec" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\proof\acec\acec.h +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acec2Mult.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecBo.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecCl.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecCo.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecCore.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecCover.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecFadds.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecInt.h +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecMult.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecNorm.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecOrder.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecPa.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecPo.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecPolyn.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecPool.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecRe.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecSt.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecStruct.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecTree.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecUtil.c +# End Source File +# Begin Source File + +SOURCE=.\src\proof\acec\acecXor.c +# End Source File +# End Group +# End Group +# End Group +# Begin Group "Header Files" + +# PROP Default_Filter "h;hpp;hxx;hm;inl" +# End Group +# End Target +# End Project |