<?xml version="1.0" encoding="Windows-1252"?>
<VisualStudioProject
	ProjectType="Visual C++"
	Version="8.00"
	Name="cudd"
	ProjectGUID="{F8F6394C-A8A0-4746-9EC0-13263553D0D8}"
	RootNamespace="cudd"
	Keyword="Win32Proj"
	>
	<Platforms>
		<Platform
			Name="Win32"
		/>
		<Platform
			Name="x64"
		/>
	</Platforms>
	<ToolFiles>
	</ToolFiles>
	<Configurations>
		<Configuration
			Name="Debug|Win32"
			OutputDirectory="$(SolutionDir)\$(IntDir)"
			IntermediateDirectory="$(ConfigurationName)"
			ConfigurationType="4"
			InheritedPropertySheets="$(VCInstallDir)VCProjectDefaults\UpgradeFromVC71.vsprops"
			CharacterSet="2"
			>
			<Tool
				Name="VCPreBuildEventTool"
			/>
			<Tool
				Name="VCCustomBuildTool"
			/>
			<Tool
				Name="VCXMLDataGeneratorTool"
			/>
			<Tool
				Name="VCWebServiceProxyGeneratorTool"
			/>
			<Tool
				Name="VCMIDLTool"
			/>
			<Tool
				Name="VCCLCompilerTool"
				Optimization="0"
				AdditionalIncludeDirectories="&quot;$(ProjectDir)..&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\cudd&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\util&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\mtr&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\st&quot;"
				PreprocessorDefinitions="WIN32;_DEBUG;_LIB"
				MinimalRebuild="true"
				BasicRuntimeChecks="3"
				RuntimeLibrary="1"
				UsePrecompiledHeader="0"
				WarningLevel="3"
				Detect64BitPortabilityProblems="false"
				DebugInformationFormat="3"
				DisableSpecificWarnings="4996"
			/>
			<Tool
				Name="VCManagedResourceCompilerTool"
			/>
			<Tool
				Name="VCResourceCompilerTool"
			/>
			<Tool
				Name="VCPreLinkEventTool"
			/>
			<Tool
				Name="VCLibrarianTool"
				OutputFile="$(OutDir)/cudd.lib"
				IgnoreDefaultLibraryNames="LIBCMTD"
			/>
			<Tool
				Name="VCALinkTool"
			/>
			<Tool
				Name="VCXDCMakeTool"
			/>
			<Tool
				Name="VCBscMakeTool"
			/>
			<Tool
				Name="VCFxCopTool"
			/>
			<Tool
				Name="VCPostBuildEventTool"
			/>
		</Configuration>
		<Configuration
			Name="Debug|x64"
			OutputDirectory="$(SolutionDir)\$(IntDir)"
			IntermediateDirectory="$(PlatformName)\$(ConfigurationName)"
			ConfigurationType="4"
			InheritedPropertySheets="$(VCInstallDir)VCProjectDefaults\UpgradeFromVC71.vsprops"
			CharacterSet="2"
			>
			<Tool
				Name="VCPreBuildEventTool"
			/>
			<Tool
				Name="VCCustomBuildTool"
			/>
			<Tool
				Name="VCXMLDataGeneratorTool"
			/>
			<Tool
				Name="VCWebServiceProxyGeneratorTool"
			/>
			<Tool
				Name="VCMIDLTool"
				TargetEnvironment="3"
			/>
			<Tool
				Name="VCCLCompilerTool"
				Optimization="0"
				AdditionalIncludeDirectories="&quot;$(ProjectDir)..&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\cudd&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\util&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\mtr&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\st&quot;"
				PreprocessorDefinitions="WIN64;_DEBUG;_LIB"
				MinimalRebuild="true"
				BasicRuntimeChecks="3"
				RuntimeLibrary="1"
				UsePrecompiledHeader="0"
				WarningLevel="3"
				Detect64BitPortabilityProblems="false"
				DebugInformationFormat="3"
				DisableSpecificWarnings="4996"
			/>
			<Tool
				Name="VCManagedResourceCompilerTool"
			/>
			<Tool
				Name="VCResourceCompilerTool"
			/>
			<Tool
				Name="VCPreLinkEventTool"
			/>
			<Tool
				Name="VCLibrarianTool"
				OutputFile="$(OutDir)/cudd.lib"
				IgnoreDefaultLibraryNames="LIBCMTD"
			/>
			<Tool
				Name="VCALinkTool"
			/>
			<Tool
				Name="VCXDCMakeTool"
			/>
			<Tool
				Name="VCBscMakeTool"
			/>
			<Tool
				Name="VCFxCopTool"
			/>
			<Tool
				Name="VCPostBuildEventTool"
			/>
		</Configuration>
		<Configuration
			Name="Release|Win32"
			OutputDirectory="$(SolutionDir)\$(IntDir)"
			IntermediateDirectory="$(ConfigurationName)"
			ConfigurationType="4"
			InheritedPropertySheets="$(VCInstallDir)VCProjectDefaults\UpgradeFromVC71.vsprops"
			CharacterSet="2"
			>
			<Tool
				Name="VCPreBuildEventTool"
			/>
			<Tool
				Name="VCCustomBuildTool"
			/>
			<Tool
				Name="VCXMLDataGeneratorTool"
			/>
			<Tool
				Name="VCWebServiceProxyGeneratorTool"
			/>
			<Tool
				Name="VCMIDLTool"
			/>
			<Tool
				Name="VCCLCompilerTool"
				Optimization="2"
				InlineFunctionExpansion="1"
				OmitFramePointers="true"
				AdditionalIncludeDirectories="&quot;$(ProjectDir)..&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\cudd&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\util&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\mtr&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\st&quot;"
				PreprocessorDefinitions="WIN32;NDEBUG;_LIB"
				StringPooling="true"
				RuntimeLibrary="0"
				EnableFunctionLevelLinking="true"
				UsePrecompiledHeader="0"
				WarningLevel="3"
				Detect64BitPortabilityProblems="false"
				DebugInformationFormat="3"
				DisableSpecificWarnings="4996"
			/>
			<Tool
				Name="VCManagedResourceCompilerTool"
			/>
			<Tool
				Name="VCResourceCompilerTool"
			/>
			<Tool
				Name="VCPreLinkEventTool"
			/>
			<Tool
				Name="VCLibrarianTool"
				OutputFile="$(OutDir)/cudd.lib"
				IgnoreDefaultLibraryNames="LIBCMTD"
			/>
			<Tool
				Name="VCALinkTool"
			/>
			<Tool
				Name="VCXDCMakeTool"
			/>
			<Tool
				Name="VCBscMakeTool"
			/>
			<Tool
				Name="VCFxCopTool"
			/>
			<Tool
				Name="VCPostBuildEventTool"
			/>
		</Configuration>
		<Configuration
			Name="Release|x64"
			OutputDirectory="$(SolutionDir)\$(IntDir)"
			IntermediateDirectory="$(PlatformName)\$(ConfigurationName)"
			ConfigurationType="4"
			InheritedPropertySheets="$(VCInstallDir)VCProjectDefaults\UpgradeFromVC71.vsprops"
			CharacterSet="2"
			>
			<Tool
				Name="VCPreBuildEventTool"
			/>
			<Tool
				Name="VCCustomBuildTool"
			/>
			<Tool
				Name="VCXMLDataGeneratorTool"
			/>
			<Tool
				Name="VCWebServiceProxyGeneratorTool"
			/>
			<Tool
				Name="VCMIDLTool"
				TargetEnvironment="3"
			/>
			<Tool
				Name="VCCLCompilerTool"
				Optimization="2"
				InlineFunctionExpansion="1"
				OmitFramePointers="true"
				AdditionalIncludeDirectories="&quot;$(ProjectDir)..&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\cudd&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\util&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\mtr&quot;;&quot;$(ProjectDir)..\..\src\cudd\2.3.0\st&quot;"
				PreprocessorDefinitions="WIN64;NDEBUG;_LIB"
				StringPooling="true"
				RuntimeLibrary="0"
				EnableFunctionLevelLinking="true"
				UsePrecompiledHeader="0"
				WarningLevel="3"
				Detect64BitPortabilityProblems="false"
				DebugInformationFormat="3"
				DisableSpecificWarnings="4996"
			/>
			<Tool
				Name="VCManagedResourceCompilerTool"
			/>
			<Tool
				Name="VCResourceCompilerTool"
			/>
			<Tool
				Name="VCPreLinkEventTool"
			/>
			<Tool
				Name="VCLibrarianTool"
				OutputFile="$(OutDir)/cudd.lib"
				IgnoreDefaultLibraryNames="LIBCMTD"
			/>
			<Tool
				Name="VCALinkTool"
			/>
			<Tool
				Name="VCXDCMakeTool"
			/>
			<Tool
				Name="VCBscMakeTool"
			/>
			<Tool
				Name="VCFxCopTool"
			/>
			<Tool
				Name="VCPostBuildEventTool"
			/>
		</Configuration>
	</Configurations>
	<References>
	</References>
	<Files>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cudd.h"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddAddAbs.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddAddApply.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddAddFind.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddAddInv.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddAddIte.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddAddNeg.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddAddWalsh.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddAndAbs.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddAnneal.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddApa.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddAPI.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddApprox.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddBddAbs.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddBddCorr.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddBddIte.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddBridge.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddCache.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddCheck.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddClip.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddCof.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddCompose.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddDecomp.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddEssent.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddExact.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddExport.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddGenCof.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddGenetic.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddGroup.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddHarwell.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddInit.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddInt.h"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddInteract.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddLCache.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddLevelQ.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddLinear.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddLiteral.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddMatMult.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddPriority.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddRead.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddRef.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddReorder.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddSat.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddSign.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddSolve.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddSplit.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddSubsetHB.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddSubsetSP.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddSymmetry.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddTable.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddUtil.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddWindow.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddCount.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddFuncs.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddGroup.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddIsop.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddLin.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddMisc.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddPort.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddReord.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddSetop.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddSymm.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\cuddZddUtil.c"
			>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\cudd\testcudd.c"
			>
			<FileConfiguration
				Name="Debug|Win32"
				ExcludedFromBuild="true"
				>
				<Tool
					Name="VCCLCompilerTool"
				/>
			</FileConfiguration>
			<FileConfiguration
				Name="Debug|x64"
				ExcludedFromBuild="true"
				>
				<Tool
					Name="VCCLCompilerTool"
				/>
			</FileConfiguration>
			<FileConfiguration
				Name="Release|Win32"
				ExcludedFromBuild="true"
				>
				<Tool
					Name="VCCLCompilerTool"
				/>
			</FileConfiguration>
			<FileConfiguration
				Name="Release|x64"
				ExcludedFromBuild="true"
				>
				<Tool
					Name="VCCLCompilerTool"
				/>
			</FileConfiguration>
		</File>
	</Files>
	<Globals>
	</Globals>
</VisualStudioProject>
