# 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
