<?xml version="1.0" encoding="utf-8"?>
<Project DefaultTargets="Build" ToolsVersion="12.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <ItemGroup Label="ProjectConfigurations">
    <ProjectConfiguration Include="Debug|Win32">
      <Configuration>Debug</Configuration>
      <Platform>Win32</Platform>
    </ProjectConfiguration>
    <ProjectConfiguration Include="Release|Win32">
      <Configuration>Release</Configuration>
      <Platform>Win32</Platform>
    </ProjectConfiguration>
    <ProjectConfiguration Include="Template|Win32">
      <Configuration>Template</Configuration>
      <Platform>Win32</Platform>
    </ProjectConfiguration>
  </ItemGroup>
  <PropertyGroup Label="Globals">
    <SccProjectName />
    <SccLocalPath />
    <ProjectGuid>{F8A2A25F-13F6-4B17-948E-9883766DCAB3}</ProjectGuid>
  </PropertyGroup>
  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Template|Win32'" Label="Configuration">
    <ConfigurationType>Application</ConfigurationType>
    <PlatformToolset>v120</PlatformToolset>
  </PropertyGroup>
  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
    <ConfigurationType>StaticLibrary</ConfigurationType>
    <PlatformToolset>v120</PlatformToolset>
    <UseOfMfc>false</UseOfMfc>
    <CharacterSet>MultiByte</CharacterSet>
  </PropertyGroup>
  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
    <ConfigurationType>StaticLibrary</ConfigurationType>
    <PlatformToolset>v120</PlatformToolset>
    <UseOfMfc>false</UseOfMfc>
    <CharacterSet>MultiByte</CharacterSet>
  </PropertyGroup>
  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
  <ImportGroup Label="ExtensionSettings">
  </ImportGroup>
  <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Template|Win32'">
    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
  </ImportGroup>
  <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="PropertySheets">
    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
    <Import Project="$(VCTargetsPath)Microsoft.Cpp.UpgradeFromVC60.props" />
  </ImportGroup>
  <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="PropertySheets">
    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
    <Import Project="$(VCTargetsPath)Microsoft.Cpp.UpgradeFromVC60.props" />
  </ImportGroup>
  <PropertyGroup Label="UserMacros" />
  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
    <OutDir>.\DebugLib\</OutDir>
    <IntDir>.\DebugLib\</IntDir>
    <LinkIncremental>true</LinkIncremental>
  </PropertyGroup>
  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
    <OutDir>.\ReleaseLib\</OutDir>
    <IntDir>.\ReleaseLib\</IntDir>
    <LinkIncremental>false</LinkIncremental>
  </PropertyGroup>
  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
    <ClCompile>
      <RuntimeLibrary>MultiThreadedDebugDLL</RuntimeLibrary>
      <InlineFunctionExpansion>Default</InlineFunctionExpansion>
      <FunctionLevelLinking>false</FunctionLevelLinking>
      <Optimization>Disabled</Optimization>
      <SuppressStartupBanner>true</SuppressStartupBanner>
      <WarningLevel>Level3</WarningLevel>
      <MinimalRebuild>true</MinimalRebuild>
      <DebugInformationFormat>EditAndContinue</DebugInformationFormat>
      <AdditionalIncludeDirectories>src;%(AdditionalIncludeDirectories)</AdditionalIncludeDirectories>
      <PreprocessorDefinitions>WIN32;WINDOWS;_DEBUG;_CONSOLE;ABC_DLL=ABC_DLLEXPORT;_CRT_SECURE_NO_DEPRECATE;ABC_USE_PTHREADS;%(PreprocessorDefinitions)</PreprocessorDefinitions>
      <AssemblerListingLocation>.\DebugLib\</AssemblerListingLocation>
      <BrowseInformation>true</BrowseInformation>
      <PrecompiledHeaderOutputFile>.\DebugLib\abclib.pch</PrecompiledHeaderOutputFile>
      <ObjectFileName>.\DebugLib\</ObjectFileName>
      <ProgramDataBaseFileName>.\DebugLib\</ProgramDataBaseFileName>
      <BasicRuntimeChecks>EnableFastChecks</BasicRuntimeChecks>
    </ClCompile>
    <ResourceCompile>
      <Culture>0x0409</Culture>
      <PreprocessorDefinitions>_DEBUG;%(PreprocessorDefinitions)</PreprocessorDefinitions>
    </ResourceCompile>
    <Bscmake>
      <SuppressStartupBanner>true</SuppressStartupBanner>
      <OutputFile>.\DebugLib\abclib.bsc</OutputFile>
    </Bscmake>
    <Lib>
      <SuppressStartupBanner>true</SuppressStartupBanner>
      <OutputFile>lib\abcd.lib</OutputFile>
    </Lib>
  </ItemDefinitionGroup>
  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
    <ClCompile>
      <RuntimeLibrary>MultiThreadedDLL</RuntimeLibrary>
      <InlineFunctionExpansion>Default</InlineFunctionExpansion>
      <StringPooling>true</StringPooling>
      <FunctionLevelLinking>true</FunctionLevelLinking>
      <Optimization>MaxSpeed</Optimization>
      <SuppressStartupBanner>true</SuppressStartupBanner>
      <WarningLevel>Level3</WarningLevel>
      <AdditionalIncludeDirectories>src;%(AdditionalIncludeDirectories)</AdditionalIncludeDirectories>
      <PreprocessorDefinitions>WIN32;WINDOWS;NDEBUG;_CONSOLE;ABC_DLL=ABC_DLLEXPORT;_CRT_SECURE_NO_DEPRECATE;ABC_USE_PTHREADS;%(PreprocessorDefinitions)</PreprocessorDefinitions>
      <AssemblerListingLocation>.\ReleaseLib\</AssemblerListingLocation>
      <BrowseInformation>true</BrowseInformation>
      <PrecompiledHeaderOutputFile>.\ReleaseLib\abclib.pch</PrecompiledHeaderOutputFile>
      <ObjectFileName>.\ReleaseLib\</ObjectFileName>
      <ProgramDataBaseFileName>.\ReleaseLib\</ProgramDataBaseFileName>
    </ClCompile>
    <ResourceCompile>
      <Culture>0x0409</Culture>
      <PreprocessorDefinitions>NDEBUG;%(PreprocessorDefinitions)</PreprocessorDefinitions>
    </ResourceCompile>
    <Bscmake>
      <SuppressStartupBanner>true</SuppressStartupBanner>
      <OutputFile>.\ReleaseLib\abclib.bsc</OutputFile>
    </Bscmake>
    <Lib>
      <SuppressStartupBanner>true</SuppressStartupBanner>
      <OutputFile>lib\abcr.lib</OutputFile>
    </Lib>
  </ItemDefinitionGroup>
  <ItemGroup>
    <ClInclude Include="src\aig\aig\aig.h" />
    <ClInclude Include="src\aig\gia\gia.h" />
    <ClInclude Include="src\aig\gia\giaAig.h" />
    <ClInclude Include="src\aig\hop\hop.h" />
    <ClInclude Include="src\aig\ioa\ioa.h" />
    <ClInclude Include="src\aig\ivy\ivy.h" />
    <ClInclude Include="src\aig\miniaig\miniaig.h" />
    <ClInclude Include="src\aig\saig\saig.h" />
    <ClInclude Include="src\base\abc\abc.h" />
    <ClInclude Include="src\base\abc\abcInt.h" />
    <ClInclude Include="src\base\cba\cba.h" />
    <ClInclude Include="src\base\cba\cbaPrs.h" />
    <ClInclude Include="src\base\cmd\cmd.h" />
    <ClInclude Include="src\base\cmd\cmdInt.h" />
    <ClInclude Include="src\base\io\ioabc.h" />
    <ClInclude Include="src\base\io\ioInt.h" />
    <ClInclude Include="src\base\main\main.h" />
    <ClInclude Include="src\base\main\mainInt.h" />
    <ClInclude Include="src\base\ver\ver.h" />
    <ClInclude Include="src\base\wlc\wlc.h" />
    <ClInclude Include="src\bdd\cas\cas.h" />
    <ClInclude Include="src\bdd\cudd\cudd.h" />
    <ClInclude Include="src\bdd\cudd\cuddInt.h" />
    <ClInclude Include="src\bdd\dsd\dsd.h" />
    <ClInclude Include="src\bdd\dsd\dsdInt.h" />
    <ClInclude Include="src\bdd\epd\epd.h" />
    <ClInclude Include="src\bdd\mtr\mtr.h" />
    <ClInclude Include="src\bdd\mtr\mtrInt.h" />
    <ClInclude Include="src\bdd\parse\parse.h" />
    <ClInclude Include="src\bdd\parse\parseInt.h" />
    <ClInclude Include="src\bdd\reo\reo.h" />
    <ClInclude Include="src\bool\bdc\bdc.h" />
    <ClInclude Include="src\bool\bdc\bdcInt.h" />
    <ClInclude Include="src\bool\deco\deco.h" />
    <ClInclude Include="src\bool\dec\dec.h" />
    <ClInclude Include="src\bool\kit\cloud.h" />
    <ClInclude Include="src\bool\kit\kit.h" />
    <ClInclude Include="src\bool\lucky\lucky.h" />
    <ClInclude Include="src\bool\lucky\luckyInt.h" />
    <ClInclude Include="src\bool\rpo\literal.h" />
    <ClInclude Include="src\bool\rpo\rpo.h" />
    <ClInclude Include="src\bool\rsb\rsb.h" />
    <ClInclude Include="src\bool\rsb\rsbInt.h" />
    <ClInclude Include="src\map\amap\amap.h" />
    <ClInclude Include="src\map\amap\amapInt.h" />
    <ClInclude Include="src\map\cov\cov.h" />
    <ClInclude Include="src\map\cov\covInt.h" />
    <ClInclude Include="src\map\if\if.h" />
    <ClInclude Include="src\map\if\ifCount.h" />
    <ClInclude Include="src\map\mapper\mapper.h" />
    <ClInclude Include="src\map\mapper\mapperInt.h" />
    <ClInclude Include="src\map\mio\exp.h" />
    <ClInclude Include="src\map\mio\mio.h" />
    <ClInclude Include="src\map\mio\mioInt.h" />
    <ClInclude Include="src\map\mpm\mpm.h" />
    <ClInclude Include="src\map\mpm\mpmInt.h" />
    <ClInclude Include="src\map\mpm\mpmMig.h" />
    <ClInclude Include="src\map\scl\scl.h" />
    <ClInclude Include="src\map\scl\sclLib.h" />
    <ClInclude Include="src\map\scl\sclSize.h" />
    <ClInclude Include="src\map\scl\sclTime.h" />
    <ClInclude Include="src\map\super\super.h" />
    <ClInclude Include="src\map\super\superInt.h" />
    <ClInclude Include="src\misc\bar\bar.h" />
    <ClInclude Include="src\misc\bbl\bblif.h" />
    <ClInclude Include="src\misc\bzlib\bzlib.h" />
    <ClInclude Include="src\misc\bzlib\bzlib_private.h" />
    <ClInclude Include="src\misc\extra\extra.h" />
    <ClInclude Include="src\misc\extra\extraBdd.h" />
    <ClInclude Include="src\misc\hash\hash.h" />
    <ClInclude Include="src\misc\hash\hashFlt.h" />
    <ClInclude Include="src\misc\hash\hashInt.h" />
    <ClInclude Include="src\misc\hash\hashPtr.h" />
    <ClInclude Include="src\misc\mem\mem.h" />
    <ClInclude Include="src\misc\mem\mem2.h" />
    <ClInclude Include="src\misc\mvc\mvc.h" />
    <ClInclude Include="src\misc\nm\nm.h" />
    <ClInclude Include="src\misc\nm\nmInt.h" />
    <ClInclude Include="src\misc\st\st.h" />
    <ClInclude Include="src\misc\st\stmm.h" />
    <ClInclude Include="src\misc\tim\tim.h" />
    <ClInclude Include="src\misc\tim\timInt.h" />
    <ClInclude Include="src\misc\util\abc_global.h" />
    <ClInclude Include="src\misc\util\utilCex.h" />
    <ClInclude Include="src\misc\util\utilMem.h" />
    <ClInclude Include="src\misc\util\utilNam.h" />
    <ClInclude Include="src\misc\util\utilSignal.h" />
    <ClInclude Include="src\misc\util\utilTruth.h" />
    <ClInclude Include="src\misc\util\util_hack.h" />
    <ClInclude Include="src\misc\vec\vec.h" />
    <ClInclude Include="src\misc\vec\vecAtt.h" />
    <ClInclude Include="src\misc\vec\vecBit.h" />
    <ClInclude Include="src\misc\vec\vecFlt.h" />
    <ClInclude Include="src\misc\vec\vecHash.h" />
    <ClInclude Include="src\misc\vec\vecHsh.h" />
    <ClInclude Include="src\misc\vec\vecInt.h" />
    <ClInclude Include="src\misc\vec\vecMem.h" />
    <ClInclude Include="src\misc\vec\vecPtr.h" />
    <ClInclude Include="src\misc\vec\vecQue.h" />
    <ClInclude Include="src\misc\vec\vecSet.h" />
    <ClInclude Include="src\misc\vec\vecStr.h" />
    <ClInclude Include="src\misc\vec\vecVec.h" />
    <ClInclude Include="src\misc\vec\vecWec.h" />
    <ClInclude Include="src\misc\vec\vecWrd.h" />
    <ClInclude Include="src\misc\zlib\crc32.h" />
    <ClInclude Include="src\misc\zlib\deflate.h" />
    <ClInclude Include="src\misc\zlib\gzguts.h" />
    <ClInclude Include="src\misc\zlib\inffast.h" />
    <ClInclude Include="src\misc\zlib\inffixed.h" />
    <ClInclude Include="src\misc\zlib\inflate.h" />
    <ClInclude Include="src\misc\zlib\inftrees.h" />
    <ClInclude Include="src\misc\zlib\trees.h" />
    <ClInclude Include="src\misc\zlib\zconf.h" />
    <ClInclude Include="src\misc\zlib\zlib.h" />
    <ClInclude Include="src\misc\zlib\zutil.h" />
    <ClInclude Include="src\opt\cgt\cgt.h" />
    <ClInclude Include="src\opt\cgt\cgtInt.h" />
    <ClInclude Include="src\opt\csw\csw.h" />
    <ClInclude Include="src\opt\csw\cswInt.h" />
    <ClInclude Include="src\opt\cut\cut.h" />
    <ClInclude Include="src\opt\cut\cutInt.h" />
    <ClInclude Include="src\opt\cut\cutList.h" />
    <ClInclude Include="src\opt\dar\dar.h" />
    <ClInclude Include="src\opt\dar\darInt.h" />
    <ClInclude Include="src\opt\dau\dau.h" />
    <ClInclude Include="src\opt\dau\dauInt.h" />
    <ClInclude Include="src\opt\fxu\fxu.h" />
    <ClInclude Include="src\opt\fxu\fxuInt.h" />
    <ClInclude Include="src\opt\lpk\lpk.h" />
    <ClInclude Include="src\opt\lpk\lpkInt.h" />
    <ClInclude Include="src\opt\mfs\mfs.h" />
    <ClInclude Include="src\opt\mfs\mfsInt.h" />
    <ClInclude Include="src\opt\nwk\ntlnwk.h" />
    <ClInclude Include="src\opt\nwk\nwk.h" />
    <ClInclude Include="src\opt\nwk\nwkMerge.h" />
    <ClInclude Include="src\opt\res\res.h" />
    <ClInclude Include="src\opt\res\resInt.h" />
    <ClInclude Include="src\opt\ret\retInt.h" />
    <ClInclude Include="src\opt\rwr\rwr.h" />
    <ClInclude Include="src\opt\rwt\rwt.h" />
    <ClInclude Include="src\opt\sfm\sfm.h" />
    <ClInclude Include="src\opt\sfm\sfmInt.h" />
    <ClInclude Include="src\opt\sim\sim.h" />
    <ClInclude Include="src\proof\abs\abs.h" />
    <ClInclude Include="src\proof\abs\absRef.h" />
    <ClInclude Include="src\proof\bbr\bbr.h" />
    <ClInclude Include="src\proof\cec\cec.h" />
    <ClInclude Include="src\proof\cec\cecInt.h" />
    <ClInclude Include="src\proof\dch\dch.h" />
    <ClInclude Include="src\proof\dch\dchInt.h" />
    <ClInclude Include="src\proof\fraig\fraig.h" />
    <ClInclude Include="src\proof\fraig\fraigInt.h" />
    <ClInclude Include="src\proof\fra\fra.h" />
    <ClInclude Include="src\proof\int\int.h" />
    <ClInclude Include="src\proof\int\intInt.h" />
    <ClInclude Include="src\proof\llb\llb.h" />
    <ClInclude Include="src\proof\llb\llbInt.h" />
    <ClInclude Include="src\proof\pdr\pdr.h" />
    <ClInclude Include="src\proof\pdr\pdrInt.h" />
    <ClInclude Include="src\proof\ssc\ssc.h" />
    <ClInclude Include="src\proof\ssc\sscInt.h" />
    <ClInclude Include="src\proof\ssw\ssw.h" />
    <ClInclude Include="src\proof\ssw\sswInt.h" />
    <ClInclude Include="src\sat\bmc\bmc.h" />
    <ClInclude Include="src\sat\bsat\satClause.h" />
    <ClInclude Include="src\sat\bsat\satMem.h" />
    <ClInclude Include="src\sat\bsat\satProof2.h" />
    <ClInclude Include="src\sat\bsat\satSolver.h" />
    <ClInclude Include="src\sat\bsat\satSolver2.h" />
    <ClInclude Include="src\sat\bsat\satStore.h" />
    <ClInclude Include="src\sat\bsat\satTruth.h" />
    <ClInclude Include="src\sat\bsat\satVec.h" />
    <ClInclude Include="src\sat\cnf\cnf.h" />
    <ClInclude Include="src\sat\csat\csat_apis.h" />
    <ClInclude Include="src\sat\lsat\solver.h" />
    <ClInclude Include="src\sat\msat\msat.h" />
    <ClInclude Include="src\sat\msat\msatInt.h" />
    <ClInclude Include="src\sat\proof\pr.h" />
    <ClInclude Include="src\sat\psat\m114p.h" />
    <ClInclude Include="src\sat\psat\m114p_types.h" />
  </ItemGroup>
  <ItemGroup>
    <ClCompile Include="src\aig\aig\aigCanon.c" />
    <ClCompile Include="src\aig\aig\aigCheck.c" />
    <ClCompile Include="src\aig\aig\aigCuts.c" />
    <ClCompile Include="src\aig\aig\aigDfs.c" />
    <ClCompile Include="src\aig\aig\aigDoms.c" />
    <ClCompile Include="src\aig\aig\aigDup.c" />
    <ClCompile Include="src\aig\aig\aigFact.c" />
    <ClCompile Include="src\aig\aig\aigFanout.c" />
    <ClCompile Include="src\aig\aig\aigFrames.c" />
    <ClCompile Include="src\aig\aig\aigInter.c" />
    <ClCompile Include="src\aig\aig\aigJust.c" />
    <ClCompile Include="src\aig\aig\aigMan.c" />
    <ClCompile Include="src\aig\aig\aigMem.c" />
    <ClCompile Include="src\aig\aig\aigMffc.c" />
    <ClCompile Include="src\aig\aig\aigObj.c" />
    <ClCompile Include="src\aig\aig\aigOper.c" />
    <ClCompile Include="src\aig\aig\aigOrder.c" />
    <ClCompile Include="src\aig\aig\aigPack.c" />
    <ClCompile Include="src\aig\aig\aigPart.c" />
    <ClCompile Include="src\aig\aig\aigPartReg.c" />
    <ClCompile Include="src\aig\aig\aigPartSat.c" />
    <ClCompile Include="src\aig\aig\aigRepr.c" />
    <ClCompile Include="src\aig\aig\aigRet.c" />
    <ClCompile Include="src\aig\aig\aigRetF.c" />
    <ClCompile Include="src\aig\aig\aigScl.c" />
    <ClCompile Include="src\aig\aig\aigShow.c" />
    <ClCompile Include="src\aig\aig\aigSplit.c" />
    <ClCompile Include="src\aig\aig\aigTable.c" />
    <ClCompile Include="src\aig\aig\aigTiming.c" />
    <ClCompile Include="src\aig\aig\aigTruth.c" />
    <ClCompile Include="src\aig\aig\aigTsim.c" />
    <ClCompile Include="src\aig\aig\aigUtil.c" />
    <ClCompile Include="src\aig\aig\aigWin.c" />
    <ClCompile Include="src\aig\gia\gia.c" />
    <ClCompile Include="src\aig\gia\giaAig.c" />
    <ClCompile Include="src\aig\gia\giaAiger.c" />
    <ClCompile Include="src\aig\gia\giaAigerExt.c" />
    <ClCompile Include="src\aig\gia\giaBalAig.c" />
    <ClCompile Include="src\aig\gia\giaBalLut.c" />
    <ClCompile Include="src\aig\gia\giaBalMap.c" />
    <ClCompile Include="src\aig\gia\giaBidec.c" />
    <ClCompile Include="src\aig\gia\giaCCof.c" />
    <ClCompile Include="src\aig\gia\giaCex.c" />
    <ClCompile Include="src\aig\gia\giaClp.c" />
    <ClCompile Include="src\aig\gia\giaCof.c" />
    <ClCompile Include="src\aig\gia\giaCone.c" />
    <ClCompile Include="src\aig\gia\giaCSat.c" />
    <ClCompile Include="src\aig\gia\giaCSatOld.c" />
    <ClCompile Include="src\aig\gia\giaCTas.c" />
    <ClCompile Include="src\aig\gia\giaDfs.c" />
    <ClCompile Include="src\aig\gia\giaDup.c" />
    <ClCompile Include="src\aig\gia\giaEmbed.c" />
    <ClCompile Include="src\aig\gia\giaEnable.c" />
    <ClCompile Include="src\aig\gia\giaEquiv.c" />
    <ClCompile Include="src\aig\gia\giaEra.c" />
    <ClCompile Include="src\aig\gia\giaEra2.c" />
    <ClCompile Include="src\aig\gia\giaFadds.c" />
    <ClCompile Include="src\aig\gia\giaFalse.c" />
    <ClCompile Include="src\aig\gia\giaFanout.c" />
    <ClCompile Include="src\aig\gia\giaForce.c" />
    <ClCompile Include="src\aig\gia\giaFrames.c" />
    <ClCompile Include="src\aig\gia\giaFront.c" />
    <ClCompile Include="src\aig\gia\giaFx.c" />
    <ClCompile Include="src\aig\gia\giaGig.c" />
    <ClCompile Include="src\aig\gia\giaGlitch.c" />
    <ClCompile Include="src\aig\gia\giaHash.c" />
    <ClCompile Include="src\aig\gia\giaIf.c" />
    <ClCompile Include="src\aig\gia\giaIff.c" />
    <ClCompile Include="src\aig\gia\giaIso.c" />
    <ClCompile Include="src\aig\gia\giaIso2.c" />
    <ClCompile Include="src\aig\gia\giaIso3.c" />
    <ClCompile Include="src\aig\gia\giaJf.c" />
    <ClCompile Include="src\aig\gia\giaKf.c" />
    <ClCompile Include="src\aig\gia\giaLf.c" />
    <ClCompile Include="src\aig\gia\giaMan.c" />
    <ClCompile Include="src\aig\gia\giaMem.c" />
    <ClCompile Include="src\aig\gia\giaMf.c" />
    <ClCompile Include="src\aig\gia\giaMfs.c" />
    <ClCompile Include="src\aig\gia\giaMini.c" />
    <ClCompile Include="src\aig\gia\giaMuxes.c" />
    <ClCompile Include="src\aig\gia\giaNf.c" />
    <ClCompile Include="src\aig\gia\giaPat.c" />
    <ClCompile Include="src\aig\gia\giaPf.c" />
    <ClCompile Include="src\aig\gia\giaQbf.c" />
    <ClCompile Include="src\aig\gia\giaResub.c" />
    <ClCompile Include="src\aig\gia\giaRetime.c" />
    <ClCompile Include="src\aig\gia\giaScl.c" />
    <ClCompile Include="src\aig\gia\giaScript.c" />
    <ClCompile Include="src\aig\gia\giaShrink.c" />
    <ClCompile Include="src\aig\gia\giaShrink6.c" />
    <ClCompile Include="src\aig\gia\giaShrink7.c" />
    <ClCompile Include="src\aig\gia\giaSim.c" />
    <ClCompile Include="src\aig\gia\giaSim2.c" />
    <ClCompile Include="src\aig\gia\giaSort.c" />
    <ClCompile Include="src\aig\gia\giaSpeedup.c" />
    <ClCompile Include="src\aig\gia\giaStg.c" />
    <ClCompile Include="src\aig\gia\giaStr.c" />
    <ClCompile Include="src\aig\gia\giaSupMin.c" />
    <ClCompile Include="src\aig\gia\giaSweep.c" />
    <ClCompile Include="src\aig\gia\giaSweeper.c" />
    <ClCompile Include="src\aig\gia\giaSwitch.c" />
    <ClCompile Include="src\aig\gia\giaTim.c" />
    <ClCompile Include="src\aig\gia\giaTis.c" />
    <ClCompile Include="src\aig\gia\giaTruth.c" />
    <ClCompile Include="src\aig\gia\giaTsim.c" />
    <ClCompile Include="src\aig\gia\giaUtil.c" />
    <ClCompile Include="src\aig\hop\hopBalance.c" />
    <ClCompile Include="src\aig\hop\hopCheck.c" />
    <ClCompile Include="src\aig\hop\hopDfs.c" />
    <ClCompile Include="src\aig\hop\hopMan.c" />
    <ClCompile Include="src\aig\hop\hopMem.c" />
    <ClCompile Include="src\aig\hop\hopObj.c" />
    <ClCompile Include="src\aig\hop\hopOper.c" />
    <ClCompile Include="src\aig\hop\hopTable.c" />
    <ClCompile Include="src\aig\hop\hopTruth.c" />
    <ClCompile Include="src\aig\hop\hopUtil.c" />
    <ClCompile Include="src\aig\ioa\ioaReadAig.c" />
    <ClCompile Include="src\aig\ioa\ioaUtil.c" />
    <ClCompile Include="src\aig\ioa\ioaWriteAig.c" />
    <ClCompile Include="src\aig\ivy\ivyBalance.c" />
    <ClCompile Include="src\aig\ivy\ivyCanon.c" />
    <ClCompile Include="src\aig\ivy\ivyCheck.c" />
    <ClCompile Include="src\aig\ivy\ivyCut.c" />
    <ClCompile Include="src\aig\ivy\ivyCutTrav.c" />
    <ClCompile Include="src\aig\ivy\ivyDfs.c" />
    <ClCompile Include="src\aig\ivy\ivyDsd.c" />
    <ClCompile Include="src\aig\ivy\ivyFanout.c" />
    <ClCompile Include="src\aig\ivy\ivyFastMap.c" />
    <ClCompile Include="src\aig\ivy\ivyFraig.c" />
    <ClCompile Include="src\aig\ivy\ivyHaig.c" />
    <ClCompile Include="src\aig\ivy\ivyMan.c" />
    <ClCompile Include="src\aig\ivy\ivyMem.c" />
    <ClCompile Include="src\aig\ivy\ivyMulti.c" />
    <ClCompile Include="src\aig\ivy\ivyObj.c" />
    <ClCompile Include="src\aig\ivy\ivyOper.c" />
    <ClCompile Include="src\aig\ivy\ivyResyn.c" />
    <ClCompile Include="src\aig\ivy\ivyRwr.c" />
    <ClCompile Include="src\aig\ivy\ivySeq.c" />
    <ClCompile Include="src\aig\ivy\ivyShow.c" />
    <ClCompile Include="src\aig\ivy\ivyTable.c" />
    <ClCompile Include="src\aig\ivy\ivyUtil.c" />
    <ClCompile Include="src\aig\saig\saigCone.c" />
    <ClCompile Include="src\aig\saig\saigConstr.c" />
    <ClCompile Include="src\aig\saig\saigConstr2.c" />
    <ClCompile Include="src\aig\saig\saigDual.c" />
    <ClCompile Include="src\aig\saig\saigDup.c" />
    <ClCompile Include="src\aig\saig\saigInd.c" />
    <ClCompile Include="src\aig\saig\saigIoa.c" />
    <ClCompile Include="src\aig\saig\saigIso.c" />
    <ClCompile Include="src\aig\saig\saigIsoFast.c" />
    <ClCompile Include="src\aig\saig\saigIsoSlow.c" />
    <ClCompile Include="src\aig\saig\saigMiter.c" />
    <ClCompile Include="src\aig\saig\saigOutDec.c" />
    <ClCompile Include="src\aig\saig\saigPhase.c" />
    <ClCompile Include="src\aig\saig\saigRetFwd.c" />
    <ClCompile Include="src\aig\saig\saigRetMin.c" />
    <ClCompile Include="src\aig\saig\saigRetStep.c" />
    <ClCompile Include="src\aig\saig\saigScl.c" />
    <ClCompile Include="src\aig\saig\saigSimFast.c" />
    <ClCompile Include="src\aig\saig\saigSimMv.c" />
    <ClCompile Include="src\aig\saig\saigSimSeq.c" />
    <ClCompile Include="src\aig\saig\saigStrSim.c" />
    <ClCompile Include="src\aig\saig\saigSwitch.c" />
    <ClCompile Include="src\aig\saig\saigSynch.c" />
    <ClCompile Include="src\aig\saig\saigTempor.c" />
    <ClCompile Include="src\aig\saig\saigTrans.c" />
    <ClCompile Include="src\aig\saig\saigWnd.c" />
    <ClCompile Include="src\base\abci\abc.c" />
    <ClCompile Include="src\base\abci\abcAttach.c" />
    <ClCompile Include="src\base\abci\abcAuto.c" />
    <ClCompile Include="src\base\abci\abcBalance.c" />
    <ClCompile Include="src\base\abci\abcBidec.c" />
    <ClCompile Include="src\base\abci\abcBm.c" />
    <ClCompile Include="src\base\abci\abcBmc.c" />
    <ClCompile Include="src\base\abci\abcCas.c" />
    <ClCompile Include="src\base\abci\abcCascade.c" />
    <ClCompile Include="src\base\abci\abcCollapse.c" />
    <ClCompile Include="src\base\abci\abcCut.c" />
    <ClCompile Include="src\base\abci\abcDar.c" />
    <ClCompile Include="src\base\abci\abcDebug.c" />
    <ClCompile Include="src\base\abci\abcDec.c" />
    <ClCompile Include="src\base\abci\abcDress.c" />
    <ClCompile Include="src\base\abci\abcDress2.c" />
    <ClCompile Include="src\base\abci\abcDsd.c" />
    <ClCompile Include="src\base\abci\abcExtract.c" />
    <ClCompile Include="src\base\abci\abcFraig.c" />
    <ClCompile Include="src\base\abci\abcFx.c" />
    <ClCompile Include="src\base\abci\abcFxu.c" />
    <ClCompile Include="src\base\abci\abcGen.c" />
    <ClCompile Include="src\base\abci\abcHaig.c" />
    <ClCompile Include="src\base\abci\abcIf.c" />
    <ClCompile Include="src\base\abci\abcIfif.c" />
    <ClCompile Include="src\base\abci\abcIfMux.c" />
    <ClCompile Include="src\base\abci\abcIvy.c" />
    <ClCompile Include="src\base\abci\abcLog.c" />
    <ClCompile Include="src\base\abci\abcLut.c" />
    <ClCompile Include="src\base\abci\abcLutmin.c" />
    <ClCompile Include="src\base\abci\abcMap.c" />
    <ClCompile Include="src\base\abci\abcMeasure.c" />
    <ClCompile Include="src\base\abci\abcMerge.c" />
    <ClCompile Include="src\base\abci\abcMffc.c" />
    <ClCompile Include="src\base\abci\abcMfs.c" />
    <ClCompile Include="src\base\abci\abcMini.c" />
    <ClCompile Include="src\base\abci\abcMiter.c" />
    <ClCompile Include="src\base\abci\abcMulti.c" />
    <ClCompile Include="src\base\abci\abcMv.c" />
    <ClCompile Include="src\base\abci\abcNpn.c" />
    <ClCompile Include="src\base\abci\abcNpnSave.c" />
    <ClCompile Include="src\base\abci\abcNtbdd.c" />
    <ClCompile Include="src\base\abci\abcOdc.c" />
    <ClCompile Include="src\base\abci\abcOrder.c" />
    <ClCompile Include="src\base\abci\abcPart.c" />
    <ClCompile Include="src\base\abci\abcPrint.c" />
    <ClCompile Include="src\base\abci\abcProve.c" />
    <ClCompile Include="src\base\abci\abcQbf.c" />
    <ClCompile Include="src\base\abci\abcQuant.c" />
    <ClCompile Include="src\base\abci\abcReach.c" />
    <ClCompile Include="src\base\abci\abcRec3.c" />
    <ClCompile Include="src\base\abci\abcReconv.c" />
    <ClCompile Include="src\base\abci\abcRefactor.c" />
    <ClCompile Include="src\base\abci\abcRenode.c" />
    <ClCompile Include="src\base\abci\abcReorder.c" />
    <ClCompile Include="src\base\abci\abcRestruct.c" />
    <ClCompile Include="src\base\abci\abcResub.c" />
    <ClCompile Include="src\base\abci\abcRewrite.c" />
    <ClCompile Include="src\base\abci\abcRpo.c" />
    <ClCompile Include="src\base\abci\abcRr.c" />
    <ClCompile Include="src\base\abci\abcSat.c" />
    <ClCompile Include="src\base\abci\abcSaucy.c" />
    <ClCompile Include="src\base\abci\abcScorr.c" />
    <ClCompile Include="src\base\abci\abcSense.c" />
    <ClCompile Include="src\base\abci\abcSpeedup.c" />
    <ClCompile Include="src\base\abci\abcStrash.c" />
    <ClCompile Include="src\base\abci\abcSweep.c" />
    <ClCompile Include="src\base\abci\abcSymm.c" />
    <ClCompile Include="src\base\abci\abcTim.c" />
    <ClCompile Include="src\base\abci\abcTiming.c" />
    <ClCompile Include="src\base\abci\abcUnate.c" />
    <ClCompile Include="src\base\abci\abcUnreach.c" />
    <ClCompile Include="src\base\abci\abcVerify.c" />
    <ClCompile Include="src\base\abci\abcXsim.c" />
    <ClCompile Include="src\base\abc\abcAig.c" />
    <ClCompile Include="src\base\abc\abcBarBuf.c" />
    <ClCompile Include="src\base\abc\abcBlifMv.c" />
    <ClCompile Include="src\base\abc\abcCheck.c" />
    <ClCompile Include="src\base\abc\abcDfs.c" />
    <ClCompile Include="src\base\abc\abcFanio.c" />
    <ClCompile Include="src\base\abc\abcFanOrder.c" />
    <ClCompile Include="src\base\abc\abcFunc.c" />
    <ClCompile Include="src\base\abc\abcHie.c" />
    <ClCompile Include="src\base\abc\abcHieCec.c" />
    <ClCompile Include="src\base\abc\abcHieGia.c" />
    <ClCompile Include="src\base\abc\abcHieNew.c" />
    <ClCompile Include="src\base\abc\abcLatch.c" />
    <ClCompile Include="src\base\abc\abcLib.c" />
    <ClCompile Include="src\base\abc\abcMinBase.c" />
    <ClCompile Include="src\base\abc\abcNames.c" />
    <ClCompile Include="src\base\abc\abcNetlist.c" />
    <ClCompile Include="src\base\abc\abcNtk.c" />
    <ClCompile Include="src\base\abc\abcObj.c" />
    <ClCompile Include="src\base\abc\abcRefs.c" />
    <ClCompile Include="src\base\abc\abcShow.c" />
    <ClCompile Include="src\base\abc\abcSop.c" />
    <ClCompile Include="src\base\abc\abcUtil.c" />
    <ClCompile Include="src\base\cba\cbaBlast.c" />
    <ClCompile Include="src\base\cba\cbaCba.c" />
    <ClCompile Include="src\base\cba\cbaCom.c" />
    <ClCompile Include="src\base\cba\cbaLib.c" />
    <ClCompile Include="src\base\cba\cbaNtk.c" />
    <ClCompile Include="src\base\cba\cbaOper.c" />
    <ClCompile Include="src\base\cba\cbaPrsBuild.c" />
    <ClCompile Include="src\base\cba\cbaPrsTrans.c" />
    <ClCompile Include="src\base\cba\cbaPtr.c" />
    <ClCompile Include="src\base\cba\cbaPtrAbc.c" />
    <ClCompile Include="src\base\cba\cbaReadBlif.c" />
    <ClCompile Include="src\base\cba\cbaReadSmt.c" />
    <ClCompile Include="src\base\cba\cbaReadVer.c" />
    <ClCompile Include="src\base\cba\cbaWriteBlif.c" />
    <ClCompile Include="src\base\cba\cbaWriteSmt.c" />
    <ClCompile Include="src\base\cba\cbaWriteVer.c" />
    <ClCompile Include="src\base\cmd\cmd.c" />
    <ClCompile Include="src\base\cmd\cmdAlias.c" />
    <ClCompile Include="src\base\cmd\cmdApi.c" />
    <ClCompile Include="src\base\cmd\cmdFlag.c" />
    <ClCompile Include="src\base\cmd\cmdHist.c" />
    <ClCompile Include="src\base\cmd\cmdLoad.c" />
    <ClCompile Include="src\base\cmd\cmdPlugin.c" />
    <ClCompile Include="src\base\cmd\cmdStarter.c" />
    <ClCompile Include="src\base\cmd\cmdUtils.c" />
    <ClCompile Include="src\base\io\io.c" />
    <ClCompile Include="src\base\io\ioReadAiger.c" />
    <ClCompile Include="src\base\io\ioReadBaf.c" />
    <ClCompile Include="src\base\io\ioReadBblif.c" />
    <ClCompile Include="src\base\io\ioReadBench.c" />
    <ClCompile Include="src\base\io\ioReadBlif.c" />
    <ClCompile Include="src\base\io\ioReadBlifAig.c" />
    <ClCompile Include="src\base\io\ioReadBlifMv.c" />
    <ClCompile Include="src\base\io\ioReadDsd.c" />
    <ClCompile Include="src\base\io\ioReadEdif.c" />
    <ClCompile Include="src\base\io\ioReadEqn.c" />
    <ClCompile Include="src\base\io\ioReadPla.c" />
    <ClCompile Include="src\base\io\ioReadVerilog.c" />
    <ClCompile Include="src\base\io\ioUtil.c" />
    <ClCompile Include="src\base\io\ioWriteAiger.c" />
    <ClCompile Include="src\base\io\ioWriteBaf.c" />
    <ClCompile Include="src\base\io\ioWriteBblif.c" />
    <ClCompile Include="src\base\io\ioWriteBench.c" />
    <ClCompile Include="src\base\io\ioWriteBlif.c" />
    <ClCompile Include="src\base\io\ioWriteBlifMv.c" />
    <ClCompile Include="src\base\io\ioWriteBook.c" />
    <ClCompile Include="src\base\io\ioWriteCnf.c" />
    <ClCompile Include="src\base\io\ioWriteDot.c" />
    <ClCompile Include="src\base\io\ioWriteEqn.c" />
    <ClCompile Include="src\base\io\ioWriteGml.c" />
    <ClCompile Include="src\base\io\ioWriteList.c" />
    <ClCompile Include="src\base\io\ioWritePla.c" />
    <ClCompile Include="src\base\io\ioWriteSmv.c" />
    <ClCompile Include="src\base\io\ioWriteVerilog.c" />
    <ClCompile Include="src\base\main\libSupport.c" />
    <ClCompile Include="src\base\main\mainFrame.c" />
    <ClCompile Include="src\base\main\mainInit.c" />
    <ClCompile Include="src\base\main\mainLib.c" />
    <ClCompile Include="src\base\main\mainReal.c" />
    <ClCompile Include="src\base\main\mainUtils.c" />
    <ClCompile Include="src\base\test\test.c" />
    <ClCompile Include="src\base\ver\verCore.c" />
    <ClCompile Include="src\base\ver\verFormula.c" />
    <ClCompile Include="src\base\ver\verParse.c" />
    <ClCompile Include="src\base\ver\verStream.c" />
    <ClCompile Include="src\base\wlc\wlc.c" />
    <ClCompile Include="src\base\wlc\wlcAbs.c" />
    <ClCompile Include="src\base\wlc\wlcBlast.c" />
    <ClCompile Include="src\base\wlc\wlcCom.c" />
    <ClCompile Include="src\base\wlc\wlcNtk.c" />
    <ClCompile Include="src\base\wlc\wlcReadSmt.c" />
    <ClCompile Include="src\base\wlc\wlcReadVer.c" />
    <ClCompile Include="src\base\wlc\wlcStdin.c" />
    <ClCompile Include="src\base\wlc\wlcWriteVer.c" />
    <ClCompile Include="src\bdd\cas\casCore.c" />
    <ClCompile Include="src\bdd\cas\casDec.c" />
    <ClCompile Include="src\bdd\cudd\cuddAddAbs.c" />
    <ClCompile Include="src\bdd\cudd\cuddAddApply.c" />
    <ClCompile Include="src\bdd\cudd\cuddAddFind.c" />
    <ClCompile Include="src\bdd\cudd\cuddAddInv.c" />
    <ClCompile Include="src\bdd\cudd\cuddAddIte.c" />
    <ClCompile Include="src\bdd\cudd\cuddAddNeg.c" />
    <ClCompile Include="src\bdd\cudd\cuddAddWalsh.c" />
    <ClCompile Include="src\bdd\cudd\cuddAndAbs.c" />
    <ClCompile Include="src\bdd\cudd\cuddAnneal.c" />
    <ClCompile Include="src\bdd\cudd\cuddApa.c" />
    <ClCompile Include="src\bdd\cudd\cuddAPI.c" />
    <ClCompile Include="src\bdd\cudd\cuddApprox.c" />
    <ClCompile Include="src\bdd\cudd\cuddBddAbs.c" />
    <ClCompile Include="src\bdd\cudd\cuddBddCorr.c" />
    <ClCompile Include="src\bdd\cudd\cuddBddIte.c" />
    <ClCompile Include="src\bdd\cudd\cuddBridge.c" />
    <ClCompile Include="src\bdd\cudd\cuddCache.c" />
    <ClCompile Include="src\bdd\cudd\cuddCheck.c" />
    <ClCompile Include="src\bdd\cudd\cuddClip.c" />
    <ClCompile Include="src\bdd\cudd\cuddCof.c" />
    <ClCompile Include="src\bdd\cudd\cuddCompose.c" />
    <ClCompile Include="src\bdd\cudd\cuddDecomp.c" />
    <ClCompile Include="src\bdd\cudd\cuddEssent.c" />
    <ClCompile Include="src\bdd\cudd\cuddExact.c" />
    <ClCompile Include="src\bdd\cudd\cuddExport.c" />
    <ClCompile Include="src\bdd\cudd\cuddGenCof.c" />
    <ClCompile Include="src\bdd\cudd\cuddGenetic.c" />
    <ClCompile Include="src\bdd\cudd\cuddGroup.c" />
    <ClCompile Include="src\bdd\cudd\cuddHarwell.c" />
    <ClCompile Include="src\bdd\cudd\cuddInit.c" />
    <ClCompile Include="src\bdd\cudd\cuddInteract.c" />
    <ClCompile Include="src\bdd\cudd\cuddLCache.c" />
    <ClCompile Include="src\bdd\cudd\cuddLevelQ.c" />
    <ClCompile Include="src\bdd\cudd\cuddLinear.c" />
    <ClCompile Include="src\bdd\cudd\cuddLiteral.c" />
    <ClCompile Include="src\bdd\cudd\cuddMatMult.c" />
    <ClCompile Include="src\bdd\cudd\cuddPriority.c" />
    <ClCompile Include="src\bdd\cudd\cuddRead.c" />
    <ClCompile Include="src\bdd\cudd\cuddRef.c" />
    <ClCompile Include="src\bdd\cudd\cuddReorder.c" />
    <ClCompile Include="src\bdd\cudd\cuddSat.c" />
    <ClCompile Include="src\bdd\cudd\cuddSign.c" />
    <ClCompile Include="src\bdd\cudd\cuddSolve.c" />
    <ClCompile Include="src\bdd\cudd\cuddSplit.c" />
    <ClCompile Include="src\bdd\cudd\cuddSubsetHB.c" />
    <ClCompile Include="src\bdd\cudd\cuddSubsetSP.c" />
    <ClCompile Include="src\bdd\cudd\cuddSymmetry.c" />
    <ClCompile Include="src\bdd\cudd\cuddTable.c" />
    <ClCompile Include="src\bdd\cudd\cuddUtil.c" />
    <ClCompile Include="src\bdd\cudd\cuddWindow.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddCount.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddFuncs.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddGroup.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddIsop.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddLin.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddMisc.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddPort.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddReord.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddSetop.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddSymm.c" />
    <ClCompile Include="src\bdd\cudd\cuddZddUtil.c" />
    <ClCompile Include="src\bdd\dsd\dsdApi.c" />
    <ClCompile Include="src\bdd\dsd\dsdCheck.c" />
    <ClCompile Include="src\bdd\dsd\dsdLocal.c" />
    <ClCompile Include="src\bdd\dsd\dsdMan.c" />
    <ClCompile Include="src\bdd\dsd\dsdProc.c" />
    <ClCompile Include="src\bdd\dsd\dsdTree.c" />
    <ClCompile Include="src\bdd\epd\epd.c" />
    <ClCompile Include="src\bdd\mtr\mtrBasic.c" />
    <ClCompile Include="src\bdd\mtr\mtrGroup.c" />
    <ClCompile Include="src\bdd\parse\parseCore.c" />
    <ClCompile Include="src\bdd\parse\parseEqn.c" />
    <ClCompile Include="src\bdd\parse\parseStack.c" />
    <ClCompile Include="src\bdd\reo\reoApi.c" />
    <ClCompile Include="src\bdd\reo\reoCore.c" />
    <ClCompile Include="src\bdd\reo\reoProfile.c" />
    <ClCompile Include="src\bdd\reo\reoShuffle.c" />
    <ClCompile Include="src\bdd\reo\reoSift.c" />
    <ClCompile Include="src\bdd\reo\reoSwap.c" />
    <ClCompile Include="src\bdd\reo\reoTest.c" />
    <ClCompile Include="src\bdd\reo\reoTransfer.c" />
    <ClCompile Include="src\bdd\reo\reoUnits.c" />
    <ClCompile Include="src\bool\bdc\bdcCore.c" />
    <ClCompile Include="src\bool\bdc\bdcDec.c" />
    <ClCompile Include="src\bool\bdc\bdcSpfd.c" />
    <ClCompile Include="src\bool\bdc\bdcTable.c" />
    <ClCompile Include="src\bool\dec\decAbc.c" />
    <ClCompile Include="src\bool\dec\decFactor.c" />
    <ClCompile Include="src\bool\dec\decMan.c" />
    <ClCompile Include="src\bool\dec\decPrint.c" />
    <ClCompile Include="src\bool\dec\decUtil.c" />
    <ClCompile Include="src\bool\kit\cloud.c" />
    <ClCompile Include="src\bool\kit\kitAig.c" />
    <ClCompile Include="src\bool\kit\kitBdd.c" />
    <ClCompile Include="src\bool\kit\kitCloud.c" />
    <ClCompile Include="src\bool\kit\kitDec.c" />
    <ClCompile Include="src\bool\kit\kitDsd.c" />
    <ClCompile Include="src\bool\kit\kitFactor.c" />
    <ClCompile Include="src\bool\kit\kitGraph.c" />
    <ClCompile Include="src\bool\kit\kitHop.c" />
    <ClCompile Include="src\bool\kit\kitIsop.c" />
    <ClCompile Include="src\bool\kit\kitPerm.c" />
    <ClCompile Include="src\bool\kit\kitPla.c" />
    <ClCompile Include="src\bool\kit\kitSop.c" />
    <ClCompile Include="src\bool\kit\kitTruth.c" />
    <ClCompile Include="src\bool\kit\kit_.c" />
    <ClCompile Include="src\bool\lucky\lucky.c" />
    <ClCompile Include="src\bool\lucky\luckyFast16.c" />
    <ClCompile Include="src\bool\lucky\luckyFast6.c" />
    <ClCompile Include="src\bool\lucky\luckyRead.c" />
    <ClCompile Include="src\bool\lucky\luckySimple.c" />
    <ClCompile Include="src\bool\lucky\luckySwap.c" />
    <ClCompile Include="src\bool\lucky\luckySwapIJ.c" />
    <ClCompile Include="src\bool\rpo\rpo.c" />
    <ClCompile Include="src\bool\rsb\rsbDec6.c" />
    <ClCompile Include="src\bool\rsb\rsbMan.c" />
    <ClCompile Include="src\map\amap\amapCore.c" />
    <ClCompile Include="src\map\amap\amapGraph.c" />
    <ClCompile Include="src\map\amap\amapLib.c" />
    <ClCompile Include="src\map\amap\amapLiberty.c" />
    <ClCompile Include="src\map\amap\amapMan.c" />
    <ClCompile Include="src\map\amap\amapMatch.c" />
    <ClCompile Include="src\map\amap\amapMerge.c" />
    <ClCompile Include="src\map\amap\amapOutput.c" />
    <ClCompile Include="src\map\amap\amapParse.c" />
    <ClCompile Include="src\map\amap\amapPerm.c" />
    <ClCompile Include="src\map\amap\amapRead.c" />
    <ClCompile Include="src\map\amap\amapRule.c" />
    <ClCompile Include="src\map\amap\amapUniq.c" />
    <ClCompile Include="src\map\cov\covBuild.c" />
    <ClCompile Include="src\map\cov\covCore.c" />
    <ClCompile Include="src\map\cov\covMan.c" />
    <ClCompile Include="src\map\cov\covMinEsop.c" />
    <ClCompile Include="src\map\cov\covMinMan.c" />
    <ClCompile Include="src\map\cov\covMinSop.c" />
    <ClCompile Include="src\map\cov\covMinUtil.c" />
    <ClCompile Include="src\map\if\ifCache.c" />
    <ClCompile Include="src\map\if\ifCom.c" />
    <ClCompile Include="src\map\if\ifCore.c" />
    <ClCompile Include="src\map\if\ifCut.c" />
    <ClCompile Include="src\map\if\ifData2.c" />
    <ClCompile Include="src\map\if\ifDec07.c" />
    <ClCompile Include="src\map\if\ifDec08.c" />
    <ClCompile Include="src\map\if\ifDec10.c" />
    <ClCompile Include="src\map\if\ifDec16.c" />
    <ClCompile Include="src\map\if\ifDec75.c" />
    <ClCompile Include="src\map\if\ifDelay.c" />
    <ClCompile Include="src\map\if\ifDsd.c" />
    <ClCompile Include="src\map\if\ifLibBox.c" />
    <ClCompile Include="src\map\if\ifLibLut.c" />
    <ClCompile Include="src\map\if\ifMan.c" />
    <ClCompile Include="src\map\if\ifMap.c" />
    <ClCompile Include="src\map\if\ifMatch2.c" />
    <ClCompile Include="src\map\if\ifReduce.c" />
    <ClCompile Include="src\map\if\ifSat.c" />
    <ClCompile Include="src\map\if\ifSelect.c" />
    <ClCompile Include="src\map\if\ifSeq.c" />
    <ClCompile Include="src\map\if\ifTest.c" />
    <ClCompile Include="src\map\if\ifTime.c" />
    <ClCompile Include="src\map\if\ifTruth.c" />
    <ClCompile Include="src\map\if\ifTune.c" />
    <ClCompile Include="src\map\if\ifUtil.c" />
    <ClCompile Include="src\map\mapper\mapper.c" />
    <ClCompile Include="src\map\mapper\mapperCanon.c" />
    <ClCompile Include="src\map\mapper\mapperCore.c" />
    <ClCompile Include="src\map\mapper\mapperCreate.c" />
    <ClCompile Include="src\map\mapper\mapperCut.c" />
    <ClCompile Include="src\map\mapper\mapperCutUtils.c" />
    <ClCompile Include="src\map\mapper\mapperFanout.c" />
    <ClCompile Include="src\map\mapper\mapperLib.c" />
    <ClCompile Include="src\map\mapper\mapperMatch.c" />
    <ClCompile Include="src\map\mapper\mapperRefs.c" />
    <ClCompile Include="src\map\mapper\mapperSuper.c" />
    <ClCompile Include="src\map\mapper\mapperSwitch.c" />
    <ClCompile Include="src\map\mapper\mapperTable.c" />
    <ClCompile Include="src\map\mapper\mapperTime.c" />
    <ClCompile Include="src\map\mapper\mapperTree.c" />
    <ClCompile Include="src\map\mapper\mapperTruth.c" />
    <ClCompile Include="src\map\mapper\mapperUtils.c" />
    <ClCompile Include="src\map\mapper\mapperVec.c" />
    <ClCompile Include="src\map\mio\mio.c" />
    <ClCompile Include="src\map\mio\mioApi.c" />
    <ClCompile Include="src\map\mio\mioFunc.c" />
    <ClCompile Include="src\map\mio\mioParse.c" />
    <ClCompile Include="src\map\mio\mioRead.c" />
    <ClCompile Include="src\map\mio\mioSop.c" />
    <ClCompile Include="src\map\mio\mioUtils.c" />
    <ClCompile Include="src\map\mpm\mpm.c" />
    <ClCompile Include="src\map\mpm\mpmAbc.c" />
    <ClCompile Include="src\map\mpm\mpmCore.c" />
    <ClCompile Include="src\map\mpm\mpmDsd.c" />
    <ClCompile Include="src\map\mpm\mpmGates.c" />
    <ClCompile Include="src\map\mpm\mpmLib.c" />
    <ClCompile Include="src\map\mpm\mpmMan.c" />
    <ClCompile Include="src\map\mpm\mpmMap.c" />
    <ClCompile Include="src\map\mpm\mpmMig.c" />
    <ClCompile Include="src\map\mpm\mpmPre.c" />
    <ClCompile Include="src\map\mpm\mpmTruth.c" />
    <ClCompile Include="src\map\mpm\mpmUtil.c" />
    <ClCompile Include="src\map\scl\scl.c" />
    <ClCompile Include="src\map\scl\sclBuffer.c" />
    <ClCompile Include="src\map\scl\sclBufSize.c" />
    <ClCompile Include="src\map\scl\sclDnsize.c" />
    <ClCompile Include="src\map\scl\sclLiberty.c" />
    <ClCompile Include="src\map\scl\sclLibScl.c" />
    <ClCompile Include="src\map\scl\sclLibUtil.c" />
    <ClCompile Include="src\map\scl\sclLoad.c" />
    <ClCompile Include="src\map\scl\sclSize.c" />
    <ClCompile Include="src\map\scl\sclUpsize.c" />
    <ClCompile Include="src\map\scl\sclUtil.c" />
    <ClCompile Include="src\map\super\super.c" />
    <ClCompile Include="src\map\super\superAnd.c" />
    <ClCompile Include="src\map\super\superGate.c" />
    <ClCompile Include="src\misc\bar\bar.c" />
    <ClCompile Include="src\misc\bbl\bblif.c" />
    <ClCompile Include="src\misc\bzlib\blocksort.c" />
    <ClCompile Include="src\misc\bzlib\bzlib.c" />
    <ClCompile Include="src\misc\bzlib\compress.c" />
    <ClCompile Include="src\misc\bzlib\crctable.c" />
    <ClCompile Include="src\misc\bzlib\decompress.c" />
    <ClCompile Include="src\misc\bzlib\huffman.c" />
    <ClCompile Include="src\misc\bzlib\randtable.c" />
    <ClCompile Include="src\misc\extra\extraBddAuto.c" />
    <ClCompile Include="src\misc\extra\extraBddCas.c" />
    <ClCompile Include="src\misc\extra\extraBddImage.c" />
    <ClCompile Include="src\misc\extra\extraBddKmap.c" />
    <ClCompile Include="src\misc\extra\extraBddMisc.c" />
    <ClCompile Include="src\misc\extra\extraBddSymm.c" />
    <ClCompile Include="src\misc\extra\extraBddTime.c" />
    <ClCompile Include="src\misc\extra\extraBddUnate.c" />
    <ClCompile Include="src\misc\extra\extraUtilBitMatrix.c" />
    <ClCompile Include="src\misc\extra\extraUtilCanon.c" />
    <ClCompile Include="src\misc\extra\extraUtilCube.c" />
    <ClCompile Include="src\misc\extra\extraUtilDsd.c" />
    <ClCompile Include="src\misc\extra\extraUtilEnum.c" />
    <ClCompile Include="src\misc\extra\extraUtilFile.c" />
    <ClCompile Include="src\misc\extra\extraUtilMemory.c" />
    <ClCompile Include="src\misc\extra\extraUtilMisc.c" />
    <ClCompile Include="src\misc\extra\extraUtilPerm.c" />
    <ClCompile Include="src\misc\extra\extraUtilPrime.c" />
    <ClCompile Include="src\misc\extra\extraUtilProgress.c" />
    <ClCompile Include="src\misc\extra\extraUtilReader.c" />
    <ClCompile Include="src\misc\extra\extraUtilSupp.c" />
    <ClCompile Include="src\misc\extra\extraUtilThresh.c" />
    <ClCompile Include="src\misc\extra\extraUtilTruth.c" />
    <ClCompile Include="src\misc\extra\extraUtilUtil.c" />
    <ClCompile Include="src\misc\mem\mem.c" />
    <ClCompile Include="src\misc\mvc\mvc.c" />
    <ClCompile Include="src\misc\mvc\mvcApi.c" />
    <ClCompile Include="src\misc\mvc\mvcCompare.c" />
    <ClCompile Include="src\misc\mvc\mvcContain.c" />
    <ClCompile Include="src\misc\mvc\mvcCover.c" />
    <ClCompile Include="src\misc\mvc\mvcCube.c" />
    <ClCompile Include="src\misc\mvc\mvcDivide.c" />
    <ClCompile Include="src\misc\mvc\mvcDivisor.c" />
    <ClCompile Include="src\misc\mvc\mvcList.c" />
    <ClCompile Include="src\misc\mvc\mvcLits.c" />
    <ClCompile Include="src\misc\mvc\mvcMan.c" />
    <ClCompile Include="src\misc\mvc\mvcOpAlg.c" />
    <ClCompile Include="src\misc\mvc\mvcOpBool.c" />
    <ClCompile Include="src\misc\mvc\mvcPrint.c" />
    <ClCompile Include="src\misc\mvc\mvcSort.c" />
    <ClCompile Include="src\misc\mvc\mvcUtils.c" />
    <ClCompile Include="src\misc\nm\nmApi.c" />
    <ClCompile Include="src\misc\nm\nmTable.c" />
    <ClCompile Include="src\misc\st\st.c" />
    <ClCompile Include="src\misc\st\stmm.c" />
    <ClCompile Include="src\misc\tim\tim.c" />
    <ClCompile Include="src\misc\tim\timBox.c" />
    <ClCompile Include="src\misc\tim\timDump.c" />
    <ClCompile Include="src\misc\tim\timMan.c" />
    <ClCompile Include="src\misc\tim\timTime.c" />
    <ClCompile Include="src\misc\tim\timTrav.c" />
    <ClCompile Include="src\misc\util\utilBridge.c" />
    <ClCompile Include="src\misc\util\utilCex.c" />
    <ClCompile Include="src\misc\util\utilColor.c" />
    <ClCompile Include="src\misc\util\utilFile.c" />
    <ClCompile Include="src\misc\util\utilIsop.c" />
    <ClCompile Include="src\misc\util\utilMem.c" />
    <ClCompile Include="src\misc\util\utilNam.c" />
    <ClCompile Include="src\misc\util\utilSignal.c" />
    <ClCompile Include="src\misc\util\utilSort.c" />
    <ClCompile Include="src\misc\zlib\adler32.c" />
    <ClCompile Include="src\misc\zlib\compress_.c" />
    <ClCompile Include="src\misc\zlib\crc32.c" />
    <ClCompile Include="src\misc\zlib\deflate.c" />
    <ClCompile Include="src\misc\zlib\gzclose.c" />
    <ClCompile Include="src\misc\zlib\gzlib.c" />
    <ClCompile Include="src\misc\zlib\gzread.c" />
    <ClCompile Include="src\misc\zlib\gzwrite.c" />
    <ClCompile Include="src\misc\zlib\infback.c" />
    <ClCompile Include="src\misc\zlib\inffast.c" />
    <ClCompile Include="src\misc\zlib\inflate.c" />
    <ClCompile Include="src\misc\zlib\inftrees.c" />
    <ClCompile Include="src\misc\zlib\trees.c" />
    <ClCompile Include="src\misc\zlib\uncompr.c" />
    <ClCompile Include="src\misc\zlib\zutil.c" />
    <ClCompile Include="src\opt\cgt\cgtAig.c" />
    <ClCompile Include="src\opt\cgt\cgtCore.c" />
    <ClCompile Include="src\opt\cgt\cgtDecide.c" />
    <ClCompile Include="src\opt\cgt\cgtMan.c" />
    <ClCompile Include="src\opt\cgt\cgtSat.c" />
    <ClCompile Include="src\opt\csw\cswCore.c" />
    <ClCompile Include="src\opt\csw\cswCut.c" />
    <ClCompile Include="src\opt\csw\cswMan.c" />
    <ClCompile Include="src\opt\csw\cswTable.c" />
    <ClCompile Include="src\opt\cut\cutApi.c" />
    <ClCompile Include="src\opt\cut\cutCut.c" />
    <ClCompile Include="src\opt\cut\cutExpand.c" />
    <ClCompile Include="src\opt\cut\cutMan.c" />
    <ClCompile Include="src\opt\cut\cutMerge.c" />
    <ClCompile Include="src\opt\cut\cutNode.c" />
    <ClCompile Include="src\opt\cut\cutOracle.c" />
    <ClCompile Include="src\opt\cut\cutPre22.c" />
    <ClCompile Include="src\opt\cut\cutSeq.c" />
    <ClCompile Include="src\opt\cut\cutTruth.c" />
    <ClCompile Include="src\opt\dar\darBalance.c" />
    <ClCompile Include="src\opt\dar\darCore.c" />
    <ClCompile Include="src\opt\dar\darCut.c" />
    <ClCompile Include="src\opt\dar\darData.c" />
    <ClCompile Include="src\opt\dar\darLib.c" />
    <ClCompile Include="src\opt\dar\darMan.c" />
    <ClCompile Include="src\opt\dar\darPrec.c" />
    <ClCompile Include="src\opt\dar\darRefact.c" />
    <ClCompile Include="src\opt\dar\darResub.c" />
    <ClCompile Include="src\opt\dar\darScript.c" />
    <ClCompile Include="src\opt\dau\dau.c" />
    <ClCompile Include="src\opt\dau\dauCanon.c" />
    <ClCompile Include="src\opt\dau\dauCore.c" />
    <ClCompile Include="src\opt\dau\dauDivs.c" />
    <ClCompile Include="src\opt\dau\dauDsd.c" />
    <ClCompile Include="src\opt\dau\dauEnum.c" />
    <ClCompile Include="src\opt\dau\dauGia.c" />
    <ClCompile Include="src\opt\dau\dauMerge.c" />
    <ClCompile Include="src\opt\dau\dauNonDsd.c" />
    <ClCompile Include="src\opt\dau\dauTree.c" />
    <ClCompile Include="src\opt\fxu\fxu.c" />
    <ClCompile Include="src\opt\fxu\fxuCreate.c" />
    <ClCompile Include="src\opt\fxu\fxuHeapD.c" />
    <ClCompile Include="src\opt\fxu\fxuHeapS.c" />
    <ClCompile Include="src\opt\fxu\fxuList.c" />
    <ClCompile Include="src\opt\fxu\fxuMatrix.c" />
    <ClCompile Include="src\opt\fxu\fxuPair.c" />
    <ClCompile Include="src\opt\fxu\fxuPrint.c" />
    <ClCompile Include="src\opt\fxu\fxuReduce.c" />
    <ClCompile Include="src\opt\fxu\fxuSelect.c" />
    <ClCompile Include="src\opt\fxu\fxuSingle.c" />
    <ClCompile Include="src\opt\fxu\fxuUpdate.c" />
    <ClCompile Include="src\opt\lpk\lpkAbcDec.c" />
    <ClCompile Include="src\opt\lpk\lpkAbcDsd.c" />
    <ClCompile Include="src\opt\lpk\lpkAbcMux.c" />
    <ClCompile Include="src\opt\lpk\lpkAbcUtil.c" />
    <ClCompile Include="src\opt\lpk\lpkCore.c" />
    <ClCompile Include="src\opt\lpk\lpkCut.c" />
    <ClCompile Include="src\opt\lpk\lpkMan.c" />
    <ClCompile Include="src\opt\lpk\lpkMap.c" />
    <ClCompile Include="src\opt\lpk\lpkMulti.c" />
    <ClCompile Include="src\opt\lpk\lpkMux.c" />
    <ClCompile Include="src\opt\lpk\lpkSets.c" />
    <ClCompile Include="src\opt\mfs\mfsCore.c" />
    <ClCompile Include="src\opt\mfs\mfsDiv.c" />
    <ClCompile Include="src\opt\mfs\mfsInter.c" />
    <ClCompile Include="src\opt\mfs\mfsMan.c" />
    <ClCompile Include="src\opt\mfs\mfsResub.c" />
    <ClCompile Include="src\opt\mfs\mfsSat.c" />
    <ClCompile Include="src\opt\mfs\mfsStrash.c" />
    <ClCompile Include="src\opt\mfs\mfsWin.c" />
    <ClCompile Include="src\opt\nwk\nwkAig.c" />
    <ClCompile Include="src\opt\nwk\nwkBidec.c" />
    <ClCompile Include="src\opt\nwk\nwkCheck.c" />
    <ClCompile Include="src\opt\nwk\nwkDfs.c" />
    <ClCompile Include="src\opt\nwk\nwkFanio.c" />
    <ClCompile Include="src\opt\nwk\nwkFlow.c" />
    <ClCompile Include="src\opt\nwk\nwkMan.c" />
    <ClCompile Include="src\opt\nwk\nwkMap.c" />
    <ClCompile Include="src\opt\nwk\nwkMerge.c" />
    <ClCompile Include="src\opt\nwk\nwkObj.c" />
    <ClCompile Include="src\opt\nwk\nwkSpeedup.c" />
    <ClCompile Include="src\opt\nwk\nwkStrash.c" />
    <ClCompile Include="src\opt\nwk\nwkTiming.c" />
    <ClCompile Include="src\opt\nwk\nwkUtil.c" />
    <ClCompile Include="src\opt\res\resCore.c" />
    <ClCompile Include="src\opt\res\resDivs.c" />
    <ClCompile Include="src\opt\res\resFilter.c" />
    <ClCompile Include="src\opt\res\resSat.c" />
    <ClCompile Include="src\opt\res\resSim.c" />
    <ClCompile Include="src\opt\res\resStrash.c" />
    <ClCompile Include="src\opt\res\resWin.c" />
    <ClCompile Include="src\opt\ret\retArea.c" />
    <ClCompile Include="src\opt\ret\retCore.c" />
    <ClCompile Include="src\opt\ret\retDelay.c" />
    <ClCompile Include="src\opt\ret\retFlow.c" />
    <ClCompile Include="src\opt\ret\retIncrem.c" />
    <ClCompile Include="src\opt\ret\retInit.c" />
    <ClCompile Include="src\opt\ret\retLvalue.c" />
    <ClCompile Include="src\opt\rwr\rwrDec.c" />
    <ClCompile Include="src\opt\rwr\rwrEva.c" />
    <ClCompile Include="src\opt\rwr\rwrExp.c" />
    <ClCompile Include="src\opt\rwr\rwrLib.c" />
    <ClCompile Include="src\opt\rwr\rwrMan.c" />
    <ClCompile Include="src\opt\rwr\rwrPrint.c" />
    <ClCompile Include="src\opt\rwr\rwrTemp.c" />
    <ClCompile Include="src\opt\rwr\rwrUtil.c" />
    <ClCompile Include="src\opt\rwt\rwtDec.c" />
    <ClCompile Include="src\opt\rwt\rwtMan.c" />
    <ClCompile Include="src\opt\rwt\rwtUtil.c" />
    <ClCompile Include="src\opt\sfm\sfmCnf.c" />
    <ClCompile Include="src\opt\sfm\sfmCore.c" />
    <ClCompile Include="src\opt\sfm\sfmNtk.c" />
    <ClCompile Include="src\opt\sfm\sfmSat.c" />
    <ClCompile Include="src\opt\sfm\sfmWin.c" />
    <ClCompile Include="src\opt\sim\simMan.c" />
    <ClCompile Include="src\opt\sim\simSat.c" />
    <ClCompile Include="src\opt\sim\simSeq.c" />
    <ClCompile Include="src\opt\sim\simSupp.c" />
    <ClCompile Include="src\opt\sim\simSwitch.c" />
    <ClCompile Include="src\opt\sim\simSym.c" />
    <ClCompile Include="src\opt\sim\simSymSat.c" />
    <ClCompile Include="src\opt\sim\simSymSim.c" />
    <ClCompile Include="src\opt\sim\simSymStr.c" />
    <ClCompile Include="src\opt\sim\simUtils.c" />
    <ClCompile Include="src\proof\abs\abs.c" />
    <ClCompile Include="src\proof\abs\absDup.c" />
    <ClCompile Include="src\proof\abs\absGla.c" />
    <ClCompile Include="src\proof\abs\absGlaOld.c" />
    <ClCompile Include="src\proof\abs\absIter.c" />
    <ClCompile Include="src\proof\abs\absOldCex.c" />
    <ClCompile Include="src\proof\abs\absOldRef.c" />
    <ClCompile Include="src\proof\abs\absOldSat.c" />
    <ClCompile Include="src\proof\abs\absOldSim.c" />
    <ClCompile Include="src\proof\abs\absOut.c" />
    <ClCompile Include="src\proof\abs\absPth.c" />
    <ClCompile Include="src\proof\abs\absRef.c" />
    <ClCompile Include="src\proof\abs\absRefSelect.c" />
    <ClCompile Include="src\proof\abs\absRpm.c" />
    <ClCompile Include="src\proof\abs\absRpmOld.c" />
    <ClCompile Include="src\proof\abs\absUtil.c" />
    <ClCompile Include="src\proof\abs\absVta.c" />
    <ClCompile Include="src\proof\bbr\bbrCex.c" />
    <ClCompile Include="src\proof\bbr\bbrImage.c" />
    <ClCompile Include="src\proof\bbr\bbrNtbdd.c" />
    <ClCompile Include="src\proof\bbr\bbrReach.c" />
    <ClCompile Include="src\proof\cec\cecCec.c" />
    <ClCompile Include="src\proof\cec\cecChoice.c" />
    <ClCompile Include="src\proof\cec\cecClass.c" />
    <ClCompile Include="src\proof\cec\cecCore.c" />
    <ClCompile Include="src\proof\cec\cecCorr.c" />
    <ClCompile Include="src\proof\cec\cecIso.c" />
    <ClCompile Include="src\proof\cec\cecMan.c" />
    <ClCompile Include="src\proof\cec\cecPat.c" />
    <ClCompile Include="src\proof\cec\cecSeq.c" />
    <ClCompile Include="src\proof\cec\cecSolve.c" />
    <ClCompile Include="src\proof\cec\cecSplit.c" />
    <ClCompile Include="src\proof\cec\cecSweep.c" />
    <ClCompile Include="src\proof\cec\cecSynth.c" />
    <ClCompile Include="src\proof\dch\dchAig.c" />
    <ClCompile Include="src\proof\dch\dchChoice.c" />
    <ClCompile Include="src\proof\dch\dchClass.c" />
    <ClCompile Include="src\proof\dch\dchCnf.c" />
    <ClCompile Include="src\proof\dch\dchCore.c" />
    <ClCompile Include="src\proof\dch\dchMan.c" />
    <ClCompile Include="src\proof\dch\dchSat.c" />
    <ClCompile Include="src\proof\dch\dchSim.c" />
    <ClCompile Include="src\proof\dch\dchSimSat.c" />
    <ClCompile Include="src\proof\dch\dchSweep.c" />
    <ClCompile Include="src\proof\fraig\fraigApi.c" />
    <ClCompile Include="src\proof\fraig\fraigCanon.c" />
    <ClCompile Include="src\proof\fraig\fraigChoice.c" />
    <ClCompile Include="src\proof\fraig\fraigFanout.c" />
    <ClCompile Include="src\proof\fraig\fraigFeed.c" />
    <ClCompile Include="src\proof\fraig\fraigMan.c" />
    <ClCompile Include="src\proof\fraig\fraigMem.c" />
    <ClCompile Include="src\proof\fraig\fraigNode.c" />
    <ClCompile Include="src\proof\fraig\fraigPrime.c" />
    <ClCompile Include="src\proof\fraig\fraigSat.c" />
    <ClCompile Include="src\proof\fraig\fraigTable.c" />
    <ClCompile Include="src\proof\fraig\fraigUtil.c" />
    <ClCompile Include="src\proof\fraig\fraigVec.c" />
    <ClCompile Include="src\proof\fra\fraBmc.c" />
    <ClCompile Include="src\proof\fra\fraCec.c" />
    <ClCompile Include="src\proof\fra\fraClass.c" />
    <ClCompile Include="src\proof\fra\fraClau.c" />
    <ClCompile Include="src\proof\fra\fraClaus.c" />
    <ClCompile Include="src\proof\fra\fraCnf.c" />
    <ClCompile Include="src\proof\fra\fraCore.c" />
    <ClCompile Include="src\proof\fra\fraHot.c" />
    <ClCompile Include="src\proof\fra\fraImp.c" />
    <ClCompile Include="src\proof\fra\fraInd.c" />
    <ClCompile Include="src\proof\fra\fraIndVer.c" />
    <ClCompile Include="src\proof\fra\fraLcr.c" />
    <ClCompile Include="src\proof\fra\fraMan.c" />
    <ClCompile Include="src\proof\fra\fraPart.c" />
    <ClCompile Include="src\proof\fra\fraSat.c" />
    <ClCompile Include="src\proof\fra\fraSec.c" />
    <ClCompile Include="src\proof\fra\fraSim.c" />
    <ClCompile Include="src\proof\int\intCheck.c" />
    <ClCompile Include="src\proof\int\intContain.c" />
    <ClCompile Include="src\proof\int\intCore.c" />
    <ClCompile Include="src\proof\int\intCtrex.c" />
    <ClCompile Include="src\proof\int\intDup.c" />
    <ClCompile Include="src\proof\int\intFrames.c" />
    <ClCompile Include="src\proof\int\intInter.c" />
    <ClCompile Include="src\proof\int\intM114.c" />
    <ClCompile Include="src\proof\int\intMan.c" />
    <ClCompile Include="src\proof\int\intUtil.c" />
    <ClCompile Include="src\proof\live\arenaViolation.c" />
    <ClCompile Include="src\proof\live\combination.c" />
    <ClCompile Include="src\proof\live\disjunctiveMonotone.c" />
    <ClCompile Include="src\proof\live\kLiveConstraints.c" />
    <ClCompile Include="src\proof\live\kliveness.c" />
    <ClCompile Include="src\proof\live\liveness.c" />
    <ClCompile Include="src\proof\live\liveness_sim.c" />
    <ClCompile Include="src\proof\live\ltl_parser.c" />
    <ClCompile Include="src\proof\live\monotone.c" />
    <ClCompile Include="src\proof\llb\llb.c" />
    <ClCompile Include="src\proof\llb\llb1Cluster.c" />
    <ClCompile Include="src\proof\llb\llb1Constr.c" />
    <ClCompile Include="src\proof\llb\llb1Core.c" />
    <ClCompile Include="src\proof\llb\llb1Group.c" />
    <ClCompile Include="src\proof\llb\llb1Hint.c" />
    <ClCompile Include="src\proof\llb\llb1Man.c" />
    <ClCompile Include="src\proof\llb\llb1Matrix.c" />
    <ClCompile Include="src\proof\llb\llb1Pivot.c" />
    <ClCompile Include="src\proof\llb\llb1Reach.c" />
    <ClCompile Include="src\proof\llb\llb1Sched.c" />
    <ClCompile Include="src\proof\llb\llb2Bad.c" />
    <ClCompile Include="src\proof\llb\llb2Core.c" />
    <ClCompile Include="src\proof\llb\llb2Driver.c" />
    <ClCompile Include="src\proof\llb\llb2Dump.c" />
    <ClCompile Include="src\proof\llb\llb2Flow.c" />
    <ClCompile Include="src\proof\llb\llb2Image.c" />
    <ClCompile Include="src\proof\llb\llb3Image.c" />
    <ClCompile Include="src\proof\llb\llb3Nonlin.c" />
    <ClCompile Include="src\proof\llb\llb4Cex.c" />
    <ClCompile Include="src\proof\llb\llb4Cluster.c" />
    <ClCompile Include="src\proof\llb\llb4Image.c" />
    <ClCompile Include="src\proof\llb\llb4Map.c" />
    <ClCompile Include="src\proof\llb\llb4Nonlin.c" />
    <ClCompile Include="src\proof\llb\llb4Sweep.c" />
    <ClCompile Include="src\proof\pdr\pdrClass.c" />
    <ClCompile Include="src\proof\pdr\pdrCnf.c" />
    <ClCompile Include="src\proof\pdr\pdrCore.c" />
    <ClCompile Include="src\proof\pdr\pdrInv.c" />
    <ClCompile Include="src\proof\pdr\pdrMan.c" />
    <ClCompile Include="src\proof\pdr\pdrSat.c" />
    <ClCompile Include="src\proof\pdr\pdrTsim.c" />
    <ClCompile Include="src\proof\pdr\pdrUtil.c" />
    <ClCompile Include="src\proof\ssc\sscClass.c" />
    <ClCompile Include="src\proof\ssc\sscCore.c" />
    <ClCompile Include="src\proof\ssc\sscSat.c" />
    <ClCompile Include="src\proof\ssc\sscSim.c" />
    <ClCompile Include="src\proof\ssc\sscUtil.c" />
    <ClCompile Include="src\proof\ssw\sswAig.c" />
    <ClCompile Include="src\proof\ssw\sswBmc.c" />
    <ClCompile Include="src\proof\ssw\sswClass.c" />
    <ClCompile Include="src\proof\ssw\sswCnf.c" />
    <ClCompile Include="src\proof\ssw\sswConstr.c" />
    <ClCompile Include="src\proof\ssw\sswCore.c" />
    <ClCompile Include="src\proof\ssw\sswDyn.c" />
    <ClCompile Include="src\proof\ssw\sswFilter.c" />
    <ClCompile Include="src\proof\ssw\sswIslands.c" />
    <ClCompile Include="src\proof\ssw\sswLcorr.c" />
    <ClCompile Include="src\proof\ssw\sswMan.c" />
    <ClCompile Include="src\proof\ssw\sswPairs.c" />
    <ClCompile Include="src\proof\ssw\sswPart.c" />
    <ClCompile Include="src\proof\ssw\sswRarity.c" />
    <ClCompile Include="src\proof\ssw\sswRarity2.c" />
    <ClCompile Include="src\proof\ssw\sswSat.c" />
    <ClCompile Include="src\proof\ssw\sswSemi.c" />
    <ClCompile Include="src\proof\ssw\sswSim.c" />
    <ClCompile Include="src\proof\ssw\sswSimSat.c" />
    <ClCompile Include="src\proof\ssw\sswSweep.c" />
    <ClCompile Include="src\proof\ssw\sswUnique.c" />
    <ClCompile Include="src\sat\bmc\bmc.c" />
    <ClCompile Include="src\sat\bmc\bmcBCore.c" />
    <ClCompile Include="src\sat\bmc\bmcBmc.c" />
    <ClCompile Include="src\sat\bmc\bmcBmc2.c" />
    <ClCompile Include="src\sat\bmc\bmcBmc3.c" />
    <ClCompile Include="src\sat\bmc\bmcBmcAnd.c" />
    <ClCompile Include="src\sat\bmc\bmcBmci.c" />
    <ClCompile Include="src\sat\bmc\bmcCexCare.c" />
    <ClCompile Include="src\sat\bmc\bmcCexCut.c" />
    <ClCompile Include="src\sat\bmc\bmcCexDepth.c" />
    <ClCompile Include="src\sat\bmc\bmcCexMin1.c" />
    <ClCompile Include="src\sat\bmc\bmcCexMin2.c" />
    <ClCompile Include="src\sat\bmc\bmcCexTools.c" />
    <ClCompile Include="src\sat\bmc\bmcChain.c" />
    <ClCompile Include="src\sat\bmc\bmcEco.c" />
    <ClCompile Include="src\sat\bmc\bmcFault.c" />
    <ClCompile Include="src\sat\bmc\bmcFx.c" />
    <ClCompile Include="src\sat\bmc\bmcICheck.c" />
    <ClCompile Include="src\sat\bmc\bmcInse.c" />
    <ClCompile Include="src\sat\bmc\bmcLoad.c" />
    <ClCompile Include="src\sat\bmc\bmcMaxi.c" />
    <ClCompile Include="src\sat\bmc\bmcMulti.c" />
    <ClCompile Include="src\sat\bmc\bmcUnroll.c" />
    <ClCompile Include="src\sat\bsat\satInter.c" />
    <ClCompile Include="src\sat\bsat\satInterA.c" />
    <ClCompile Include="src\sat\bsat\satInterB.c" />
    <ClCompile Include="src\sat\bsat\satInterP.c" />
    <ClCompile Include="src\sat\bsat\satMem.c" />
    <ClCompile Include="src\sat\bsat\satProof.c" />
    <ClCompile Include="src\sat\bsat\satSolver.c" />
    <ClCompile Include="src\sat\bsat\satSolver2.c" />
    <ClCompile Include="src\sat\bsat\satSolver2i.c" />
    <ClCompile Include="src\sat\bsat\satStore.c" />
    <ClCompile Include="src\sat\bsat\satTrace.c" />
    <ClCompile Include="src\sat\bsat\satTruth.c" />
    <ClCompile Include="src\sat\bsat\satUtil.c" />
    <ClCompile Include="src\sat\cnf\cnfCore.c" />
    <ClCompile Include="src\sat\cnf\cnfCut.c" />
    <ClCompile Include="src\sat\cnf\cnfData.c" />
    <ClCompile Include="src\sat\cnf\cnfFast.c" />
    <ClCompile Include="src\sat\cnf\cnfMan.c" />
    <ClCompile Include="src\sat\cnf\cnfMap.c" />
    <ClCompile Include="src\sat\cnf\cnfPost.c" />
    <ClCompile Include="src\sat\cnf\cnfUtil.c" />
    <ClCompile Include="src\sat\cnf\cnfWrite.c" />
    <ClCompile Include="src\sat\csat\csat_apis.c" />
    <ClCompile Include="src\sat\msat\msatActivity.c" />
    <ClCompile Include="src\sat\msat\msatClause.c" />
    <ClCompile Include="src\sat\msat\msatClauseVec.c" />
    <ClCompile Include="src\sat\msat\msatMem.c" />
    <ClCompile Include="src\sat\msat\msatOrderH.c" />
    <ClCompile Include="src\sat\msat\msatQueue.c" />
    <ClCompile Include="src\sat\msat\msatRead.c" />
    <ClCompile Include="src\sat\msat\msatSolverApi.c" />
    <ClCompile Include="src\sat\msat\msatSolverCore.c" />
    <ClCompile Include="src\sat\msat\msatSolverIo.c" />
    <ClCompile Include="src\sat\msat\msatSolverSearch.c" />
    <ClCompile Include="src\sat\msat\msatSort.c" />
    <ClCompile Include="src\sat\msat\msatVec.c" />
    <ClCompile Include="src\sat\proof\pr.c" />
  </ItemGroup>
  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
  <ImportGroup Label="ExtensionTargets">
  </ImportGroup>
</Project>