<?xml version="1.0" encoding="Windows-1252"?>
<VisualStudioProject
	ProjectType="Visual C++"
	Version="7.10"
	Name="util"
	ProjectGUID="{5096A355-8E9B-4F9E-B46F-3650E66BDBEC}"
	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="&quot;$(SolutionDir)&quot;;&quot;$(SolutionDir)..\src&quot;"
				PreprocessorDefinitions="WIN32;_DEBUG;_LIB"
				MinimalRebuild="TRUE"
				BasicRuntimeChecks="3"
				RuntimeLibrary="5"
				UsePrecompiledHeader="0"
				WarningLevel="3"
				Detect64BitPortabilityProblems="TRUE"
				DebugInformationFormat="4"/>
			<Tool
				Name="VCCustomBuildTool"/>
			<Tool
				Name="VCLibrarianTool"
				OutputFile="$(OutDir)/util.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="&quot;$(SolutionDir)&quot;;&quot;$(SolutionDir)..\src&quot;"
				PreprocessorDefinitions="WIN32;NDEBUG;_LIB"
				StringPooling="TRUE"
				RuntimeLibrary="4"
				EnableFunctionLevelLinking="TRUE"
				UsePrecompiledHeader="0"
				WarningLevel="3"
				Detect64BitPortabilityProblems="TRUE"
				DebugInformationFormat="3"/>
			<Tool
				Name="VCCustomBuildTool"/>
			<Tool
				Name="VCLibrarianTool"
				OutputFile="$(OutDir)/util.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\util\cpu_stats.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\cpu_time.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\datalimit.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\getopt.c">
			<FileConfiguration
				Name="Debug|Win32"
				ExcludedFromBuild="TRUE">
				<Tool
					Name="VCCLCompilerTool"/>
			</FileConfiguration>
			<FileConfiguration
				Name="Release|Win32"
				ExcludedFromBuild="TRUE">
				<Tool
					Name="VCCLCompilerTool"/>
			</FileConfiguration>
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\pathsearch.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\pipefork.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\prtime.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\ptime.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\restart.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\safe_mem.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\strsav.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\stub.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\texpand.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\tmpfile.c">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\util-std.h">
		</File>
		<File
			RelativePath="..\..\src\cudd\2.3.0\util\util.h">
		</File>
	</Files>
	<Globals>
	</Globals>
</VisualStudioProject>
