<?xml version="1.0" encoding="Windows-1252"?>
<VisualStudioProject
	ProjectType="Visual C++"
	Version="7.10"
	Name="cudd"
	ProjectGUID="{F8F6394C-A8A0-4746-9EC0-13263553D0D8}"
	RootNamespace="cudd"
	Keyword="Win32Proj">
	<Platforms>
		<Platform
			Name="Win32"/>
	</Platforms>
	<Configurations>
		<Configuration
			Name="Debug|Win32"
			OutputDirectory="$(SolutionDir)\$(IntDir)"
			IntermediateDirectory="Debug"
			ConfigurationType="4"
			CharacterSet="2">
			<Tool
				Name="VCCLCompilerTool"
				Optimization="0"
				AdditionalIncludeDirectories="..;..\..\src\cudd\2.3.0\util;..\..\src\cudd\2.3.0\cudd;..\..\src\cudd\2.3.0\mtr;..\..\src\cudd\2.3.0\st;&quot;$(SolutionDir)..\src&quot;"
				PreprocessorDefinitions="WIN32;_DEBUG;_LIB"
				MinimalRebuild="TRUE"
				BasicRuntimeChecks="3"
				RuntimeLibrary="5"
				UsePrecompiledHeader="0"
				WarningLevel="3"
				Detect64BitPortabilityProblems="FALSE"
				DebugInformationFormat="4"/>
			<Tool
				Name="VCCustomBuildTool"/>
			<Tool
				Name="VCLibrarianTool"
				OutputFile="$(OutDir)/cudd.lib"
				IgnoreDefaultLibraryNames="LIBCMTD"/>
			<Tool
				Name="VCMIDLTool"/>
			<Tool
				Name="VCPostBuildEventTool"/>
			<Tool
				Name="VCPreBuildEventTool"/>
			<Tool
				Name="VCPreLinkEventTool"/>
			<Tool
				Name="VCResourceCompilerTool"/>
			<Tool
				Name="VCWebServiceProxyGeneratorTool"/>
			<Tool
				Name="VCXMLDataGeneratorTool"/>
			<Tool
				Name="VCManagedWrapperGeneratorTool"/>
			<Tool
				Name="VCAuxiliaryManagedWrapperGeneratorTool"/>
		</Configuration>
		<Configuration
			Name="Release|Win32"
			OutputDirectory="$(SolutionDir)\$(IntDir)"
			IntermediateDirectory="Release"
			ConfigurationType="4"
			CharacterSet="2">
			<Tool
				Name="VCCLCompilerTool"
				Optimization="2"
				InlineFunctionExpansion="1"
				OmitFramePointers="TRUE"
				AdditionalIncludeDirectories="..;..\..\src\cudd\2.3.0\util;..\..\src\cudd\2.3.0\cudd;..\..\src\cudd\2.3.0\mtr;..\..\src\cudd\2.3.0\st;&quot;$(SolutionDir)..\src&quot;"
				PreprocessorDefinitions="WIN32;NDEBUG;_LIB"
				StringPooling="TRUE"
				RuntimeLibrary="4"
				EnableFunctionLevelLinking="TRUE"
				UsePrecompiledHeader="0"
				WarningLevel="3"
				Detect64BitPortabilityProblems="FALSE"
				DebugInformationFormat="3"/>
			<Tool
				Name="VCCustomBuildTool"/>
			<Tool
				Name="VCLibrarianTool"
				OutputFile="$(OutDir)/cudd.lib"
				IgnoreDefaultLibraryNames="LIBCMTD"/>
			<Tool
				Name="VCMIDLTool"/>
			<Tool
				Name="VCPostBuildEventTool"/>
			<Tool
				Name="VCPreBuildEventTool"/>
			<Tool
				Name="VCPreLinkEventTool"/>
			<Tool
				Name="VCResourceCompilerTool"/>
			<Tool
				Name="VCWebServiceProxyGeneratorTool"/>
			<Tool
				Name="VCXMLDataGeneratorTool"/>
			<Tool
				Name="VCManagedWrapperGeneratorTool"/>
			<Tool
				Name="VCAuxiliaryManagedWrapperGeneratorTool"/>
		</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="Release|Win32"
				ExcludedFromBuild="TRUE">
				<Tool
					Name="VCCLCompilerTool"/>
			</FileConfiguration>
		</File>
	</Files>
	<Globals>
	</Globals>
</VisualStudioProject>
