<?xml version="1.0" encoding="Windows-1252"?>
<VisualStudioProject
	ProjectType="Visual C++"
	Version="8.00"
	Name="abc"
	ProjectGUID="{FB2E2609-AB86-4DF3-A3F9-9A650B363718}"
	>
	<Platforms>
		<Platform
			Name="Win32"
		/>
	</Platforms>
	<ToolFiles>
	</ToolFiles>
	<Configurations>
		<Configuration
			Name="Debug|Win32"
			OutputDirectory=".\Debug"
			IntermediateDirectory=".\Debug"
			ConfigurationType="1"
			InheritedPropertySheets="$(VCInstallDir)VCProjectDefaults\UpgradeFromVC60.vsprops"
			UseOfMFC="0"
			ATLMinimizesCRunTimeLibraryUsage="false"
			CharacterSet="2"
			>
			<Tool
				Name="VCPreBuildEventTool"
			/>
			<Tool
				Name="VCCustomBuildTool"
			/>
			<Tool
				Name="VCXMLDataGeneratorTool"
			/>
			<Tool
				Name="VCWebServiceProxyGeneratorTool"
			/>
			<Tool
				Name="VCMIDLTool"
				TypeLibraryName=".\Debug/abc.tlb"
				HeaderFileName=""
			/>
			<Tool
				Name="VCCLCompilerTool"
				Optimization="0"
				AdditionalIncludeDirectories="src\base\abc,src\base\abci,src\base\abcs,src\base\seq,src\base\cmd,src\base\io,src\base\main,src\bdd\cudd,src\bdd\epd,src\bdd\mtr,src\bdd\parse,src\bdd\dsd,src\bdd\reo,src\sop\ft,src\sat\asat,src\sat\bsat,src\sat\msat,src\sat\fraig,src\opt\cut,src\opt\dec,src\opt\fxu,src\opt\sim,src\opt\rwr,src\opt\res,src\opt\lpk,src\map\fpga,src\map\if,src\map\mapper,src\map\mio,src\map\super,src\misc\extra,src\misc\st,src\misc\mvc,src\misc\util,src\misc\npn,src\misc\vec,src\misc\espresso,src\misc\nm,src\misc\hash,src\aig\ivy,src\aig\hop,src\aig\rwt,src\aig\deco,src\aig\mem,src\aig\aig,src\aig\dar,src\aig\cnf,src\aig\fra,src\aig\kit,src\aig\bdc,src\temp\esop,src\phys\place"
				PreprocessorDefinitions="WIN32;_DEBUG;_CONSOLE;__STDC__"
				MinimalRebuild="true"
				BasicRuntimeChecks="3"
				RuntimeLibrary="1"
				PrecompiledHeaderFile=".\Debug/abc.pch"
				AssemblerListingLocation=".\Debug/"
				ObjectFile=".\Debug/"
				ProgramDataBaseFileName=".\Debug/"
				BrowseInformation="1"
				WarningLevel="3"
				SuppressStartupBanner="true"
				DebugInformationFormat="4"
			/>
			<Tool
				Name="VCManagedResourceCompilerTool"
			/>
			<Tool
				Name="VCResourceCompilerTool"
				PreprocessorDefinitions="_DEBUG"
				Culture="1033"
			/>
			<Tool
				Name="VCPreLinkEventTool"
			/>
			<Tool
				Name="VCLinkerTool"
				AdditionalDependencies="odbc32.lib odbccp32.lib"
				OutputFile="_TEST/abc.exe"
				LinkIncremental="2"
				SuppressStartupBanner="true"
				GenerateDebugInformation="true"
				ProgramDatabaseFile=".\Debug/abc.pdb"
				SubSystem="1"
				TargetMachine="1"
			/>
			<Tool
				Name="VCALinkTool"
			/>
			<Tool
				Name="VCManifestTool"
			/>
			<Tool
				Name="VCXDCMakeTool"
			/>
			<Tool
				Name="VCBscMakeTool"
				SuppressStartupBanner="true"
				OutputFile=".\Debug/abc.bsc"
			/>
			<Tool
				Name="VCFxCopTool"
			/>
			<Tool
				Name="VCAppVerifierTool"
			/>
			<Tool
				Name="VCWebDeploymentTool"
			/>
			<Tool
				Name="VCPostBuildEventTool"
			/>
		</Configuration>
		<Configuration
			Name="Release|Win32"
			OutputDirectory=".\Release"
			IntermediateDirectory=".\Release"
			ConfigurationType="1"
			InheritedPropertySheets="$(VCInstallDir)VCProjectDefaults\UpgradeFromVC60.vsprops"
			UseOfMFC="0"
			ATLMinimizesCRunTimeLibraryUsage="false"
			CharacterSet="2"
			>
			<Tool
				Name="VCPreBuildEventTool"
			/>
			<Tool
				Name="VCCustomBuildTool"
			/>
			<Tool
				Name="VCXMLDataGeneratorTool"
			/>
			<Tool
				Name="VCWebServiceProxyGeneratorTool"
			/>
			<Tool
				Name="VCMIDLTool"
				TypeLibraryName=".\Release/abc.tlb"
				HeaderFileName=""
			/>
			<Tool
				Name="VCCLCompilerTool"
				Optimization="2"
				InlineFunctionExpansion="1"
				AdditionalIncludeDirectories="src\base\abc,src\base\abci,src\base\abcs,src\base\seq,src\base\cmd,src\base\io,src\base\main,src\bdd\cudd,src\bdd\epd,src\bdd\mtr,src\bdd\parse,src\bdd\dsd,src\bdd\reo,src\sop\ft,src\sat\asat,src\sat\bsat,src\sat\msat,src\sat\fraig,src\opt\cut,src\opt\dec,src\opt\fxu,src\opt\sim,src\opt\rwr,src\opt\res,src\opt\lpk,src\map\fpga,src\map\if,src\map\mapper,src\map\mio,src\map\super,src\misc\extra,src\misc\st,src\misc\mvc,src\misc\util,src\misc\npn,src\misc\vec,src\misc\espresso,src\misc\nm,src\misc\hash,src\aig\ivy,src\aig\hop,src\aig\rwt,src\aig\deco,src\aig\mem,src\aig\aig,src\aig\dar,src\aig\cnf,src\aig\fra,src\aig\kit,src\aig\bdc,src\temp\esop,src\phys\place"
				PreprocessorDefinitions="WIN32;NDEBUG;_CONSOLE;__STDC__"
				StringPooling="true"
				RuntimeLibrary="0"
				EnableFunctionLevelLinking="true"
				PrecompiledHeaderFile=".\Release/abc.pch"
				AssemblerListingLocation=".\Release/"
				ObjectFile=".\Release/"
				ProgramDataBaseFileName=".\Release/"
				BrowseInformation="1"
				WarningLevel="3"
				SuppressStartupBanner="true"
			/>
			<Tool
				Name="VCManagedResourceCompilerTool"
			/>
			<Tool
				Name="VCResourceCompilerTool"
				PreprocessorDefinitions="NDEBUG"
				Culture="1033"
			/>
			<Tool
				Name="VCPreLinkEventTool"
			/>
			<Tool
				Name="VCLinkerTool"
				AdditionalDependencies="odbc32.lib odbccp32.lib"
				OutputFile="_TEST/abc.exe"
				LinkIncremental="1"
				SuppressStartupBanner="true"
				SubSystem="1"
				TargetMachine="1"
			/>
			<Tool
				Name="VCALinkTool"
			/>
			<Tool
				Name="VCManifestTool"
			/>
			<Tool
				Name="VCXDCMakeTool"
			/>
			<Tool
				Name="VCBscMakeTool"
				SuppressStartupBanner="true"
				OutputFile=".\Release/abc.bsc"
			/>
			<Tool
				Name="VCFxCopTool"
			/>
			<Tool
				Name="VCAppVerifierTool"
			/>
			<Tool
				Name="VCWebDeploymentTool"
			/>
			<Tool
				Name="VCPostBuildEventTool"
			/>
		</Configuration>
	</Configurations>
	<References>
	</References>
	<Files>
		<Filter
			Name="Source Files"
			Filter="cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"
			>
			<Filter
				Name="base"
				>
				<Filter
					Name="abc"
					>
					<File
						RelativePath="src\base\abc\abc.h"
						>
					</File>
					<File
						RelativePath="src\base\abc\abcAig.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcBlifMv.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcCheck.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcDfs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcFanio.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcFunc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcHie.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcInt.h"
						>
					</File>
					<File
						RelativePath="src\base\abc\abcLatch.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcLib.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcMinBase.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcNames.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcNetlist.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcNtk.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcObj.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcRefs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcShow.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcSop.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abc\abcUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="abci"
					>
					<File
						RelativePath="src\base\abci\abc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcAttach.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcAuto.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcBalance.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcBmc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcCas.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcClpBdd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcClpSop.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcCut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcDar.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcDebug.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcDress.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcDsd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcEspresso.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcExtract.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcFpga.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcFpgaFast.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcFraig.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcFxu.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcGen.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcHaig.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcIf.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcIvy.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcLut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcMap.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcMeasure.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcMini.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcMiter.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcMulti.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcMv.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcNtbdd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcOdc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcOrder.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcPart.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcPlace.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcPrint.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcProve.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcQbf.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcQuant.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcRec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcReconv.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcRefactor.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcRenode.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcReorder.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcRestruct.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcResub.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcRewrite.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcRr.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcSat.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcStrash.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcSweep.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcSymm.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcTiming.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcUnate.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcUnreach.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcVerify.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\abci\abcXsim.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="cmd"
					>
					<File
						RelativePath="src\base\cmd\cmd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\cmd\cmd.h"
						>
					</File>
					<File
						RelativePath="src\base\cmd\cmdAlias.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\cmd\cmdApi.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\cmd\cmdFlag.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\cmd\cmdHist.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\cmd\cmdInt.h"
						>
					</File>
					<File
						RelativePath="src\base\cmd\cmdUtils.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="io"
					>
					<File
						RelativePath="src\base\io\io.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\io.h"
						>
					</File>
					<File
						RelativePath="src\base\io\ioInt.h"
						>
					</File>
					<File
						RelativePath="src\base\io\ioReadAiger.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioReadBaf.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioReadBench.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioReadBlif.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioReadBlifAig.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioReadBlifMv.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioReadDsd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioReadEdif.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioReadEqn.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioReadPla.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioReadVerilog.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteAiger.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteBaf.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteBench.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteBlif.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteBlifMv.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteCnf.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteDot.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteEqn.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteGml.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteList.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWritePla.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\io\ioWriteVerilog.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="main"
					>
					<File
						RelativePath="src\base\main\libSupport.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\main\main.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\main\main.h"
						>
					</File>
					<File
						RelativePath="src\base\main\mainFrame.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\main\mainInit.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\main\mainInt.h"
						>
					</File>
					<File
						RelativePath="src\base\main\mainUtils.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="ver"
					>
					<File
						RelativePath="src\base\ver\ver.h"
						>
					</File>
					<File
						RelativePath="src\base\ver\verCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\ver\verFormula.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\ver\verParse.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\base\ver\verStream.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
			</Filter>
			<Filter
				Name="bdd"
				>
				<Filter
					Name="cudd"
					>
					<File
						RelativePath="src\bdd\cudd\cudd.h"
						>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddAddAbs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddAddApply.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddAddFind.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddAddInv.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddAddIte.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddAddNeg.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddAddWalsh.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddAndAbs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddAnneal.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddApa.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddAPI.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddApprox.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddBddAbs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddBddCorr.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddBddIte.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddBridge.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddCache.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddCheck.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddClip.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddCof.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddCompose.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddDecomp.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddEssent.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddExact.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddExport.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddGenCof.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddGenetic.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddGroup.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddHarwell.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddInit.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddInt.h"
						>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddInteract.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddLCache.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddLevelQ.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddLinear.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddLiteral.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddMatMult.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddPriority.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddRead.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddRef.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddReorder.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddSat.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddSign.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddSolve.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddSplit.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddSubsetHB.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddSubsetSP.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddSymmetry.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddTable.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddWindow.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddCount.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddFuncs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddGroup.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddIsop.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddLin.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddMisc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddPort.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddReord.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddSetop.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddSymm.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cudd\cuddZddUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="epd"
					>
					<File
						RelativePath="src\bdd\epd\epd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\epd\epd.h"
						>
					</File>
				</Filter>
				<Filter
					Name="mtr"
					>
					<File
						RelativePath="src\bdd\mtr\mtr.h"
						>
					</File>
					<File
						RelativePath="src\bdd\mtr\mtrBasic.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\mtr\mtrGroup.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\mtr\mtrInt.h"
						>
					</File>
				</Filter>
				<Filter
					Name="parse"
					>
					<File
						RelativePath="src\bdd\parse\parse.h"
						>
					</File>
					<File
						RelativePath="src\bdd\parse\parseCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\parse\parseEqn.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\parse\parseInt.h"
						>
					</File>
					<File
						RelativePath="src\bdd\parse\parseStack.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="dsd"
					>
					<File
						RelativePath="src\bdd\dsd\dsd.h"
						>
					</File>
					<File
						RelativePath="src\bdd\dsd\dsdApi.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\dsd\dsdCheck.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\dsd\dsdInt.h"
						>
					</File>
					<File
						RelativePath="src\bdd\dsd\dsdLocal.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\dsd\dsdMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\dsd\dsdProc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\dsd\dsdTree.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="reo"
					>
					<File
						RelativePath="src\bdd\reo\reo.h"
						>
					</File>
					<File
						RelativePath="src\bdd\reo\reoApi.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\reo\reoCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\reo\reoProfile.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\reo\reoSift.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\reo\reoSwap.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\reo\reoTest.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\reo\reoTransfer.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\reo\reoUnits.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="cas"
					>
					<File
						RelativePath="src\bdd\cas\cas.h"
						>
					</File>
					<File
						RelativePath="src\bdd\cas\casCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\bdd\cas\casDec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
			</Filter>
			<Filter
				Name="sat"
				>
				<Filter
					Name="msat"
					>
					<File
						RelativePath="src\sat\msat\msat.h"
						>
					</File>
					<File
						RelativePath="src\sat\msat\msatActivity.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatClause.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatClauseVec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatInt.h"
						>
					</File>
					<File
						RelativePath="src\sat\msat\msatMem.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatOrderH.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatQueue.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatRead.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatSolverApi.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatSolverCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatSolverIo.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatSolverSearch.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatSort.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\msat\msatVec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="fraig"
					>
					<File
						RelativePath="src\sat\fraig\fraig.h"
						>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigApi.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigCanon.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigChoice.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigFanout.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigFeed.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigInt.h"
						>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigMem.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigNode.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigPrime.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigSat.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigTable.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\fraig\fraigVec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="csat"
					>
					<File
						RelativePath="src\sat\csat\csat_apis.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\csat\csat_apis.h"
						>
					</File>
				</Filter>
				<Filter
					Name="bsat"
					>
					<File
						RelativePath="src\sat\bsat\satInter.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\bsat\satMem.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\bsat\satMem.h"
						>
					</File>
					<File
						RelativePath="src\sat\bsat\satSolver.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\bsat\satSolver.h"
						>
					</File>
					<File
						RelativePath="src\sat\bsat\satStore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\bsat\satStore.h"
						>
					</File>
					<File
						RelativePath="src\sat\bsat\satTrace.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\bsat\satUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\bsat\satVec.h"
						>
					</File>
				</Filter>
				<Filter
					Name="proof"
					>
					<File
						RelativePath="src\sat\proof\pr.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\sat\proof\pr.h"
						>
					</File>
				</Filter>
			</Filter>
			<Filter
				Name="opt"
				>
				<Filter
					Name="fxu"
					>
					<File
						RelativePath="src\opt\fxu\fxu.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxu.h"
						>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuCreate.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuHeapD.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuHeapS.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuInt.h"
						>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuList.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuMatrix.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuPair.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuPrint.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuReduce.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuSelect.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuSingle.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\fxu\fxuUpdate.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="rwr"
					>
					<File
						RelativePath="src\opt\rwr\rwr.h"
						>
					</File>
					<File
						RelativePath="src\opt\rwr\rwrDec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\rwr\rwrEva.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\rwr\rwrExp.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\rwr\rwrLib.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\rwr\rwrMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\rwr\rwrPrint.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\rwr\rwrTemp.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\rwr\rwrUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="cut"
					>
					<File
						RelativePath="src\opt\cut\cut.h"
						>
					</File>
					<File
						RelativePath="src\opt\cut\cutApi.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\cut\cutCut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\cut\cutExpand.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\cut\cutInt.h"
						>
					</File>
					<File
						RelativePath="src\opt\cut\cutList.h"
						>
					</File>
					<File
						RelativePath="src\opt\cut\cutMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\cut\cutMerge.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\cut\cutNode.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\cut\cutOracle.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\cut\cutPre22.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\cut\cutSeq.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\cut\cutTruth.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="dec"
					>
					<File
						RelativePath="src\opt\dec\dec.h"
						>
					</File>
					<File
						RelativePath="src\opt\dec\decAbc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\dec\decFactor.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\dec\decMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\dec\decPrint.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\dec\decUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="sim"
					>
					<File
						RelativePath="src\opt\sim\sim.h"
						>
					</File>
					<File
						RelativePath="src\opt\sim\simMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\sim\simSat.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\sim\simSeq.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\sim\simSupp.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\sim\simSwitch.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\sim\simSym.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\sim\simSymSat.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\sim\simSymSim.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\sim\simSymStr.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\sim\simUtils.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="ret"
					>
					<File
						RelativePath="src\opt\ret\retArea.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\ret\retCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\ret\retDelay.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\ret\retFlow.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\ret\retIncrem.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\ret\retInit.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\ret\retInt.h"
						>
					</File>
					<File
						RelativePath="src\opt\ret\retLvalue.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="res"
					>
					<File
						RelativePath="src\opt\res\res.h"
						>
					</File>
					<File
						RelativePath="src\opt\res\resCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\res\resDivs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\res\resFilter.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\res\resInt.h"
						>
					</File>
					<File
						RelativePath="src\opt\res\resSat.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\res\resSim.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\res\resStrash.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\res\resWin.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="lpk"
					>
					<File
						RelativePath="src\opt\lpk\lpk.h"
						>
					</File>
					<File
						RelativePath="src\opt\lpk\lpkCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\lpk\lpkCut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\lpk\lpkInt.h"
						>
					</File>
					<File
						RelativePath="src\opt\lpk\lpkMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\lpk\lpkMap.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\lpk\lpkMulti.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\lpk\lpkMux.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\opt\lpk\lpkSets.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
			</Filter>
			<Filter
				Name="map"
				>
				<Filter
					Name="fpga"
					>
					<File
						RelativePath="src\map\fpga\fpga.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpga.h"
						>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaCreate.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaCut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaCutUtils.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaFanout.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaInt.h"
						>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaLib.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaMatch.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaSwitch.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaTime.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaTruth.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaUtils.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\fpga\fpgaVec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="mapper"
					>
					<File
						RelativePath="src\map\mapper\mapper.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapper.h"
						>
					</File>
					<File
						RelativePath="src\map\mapper\mapperCanon.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperCreate.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperCut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperCutUtils.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperFanout.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperInt.h"
						>
					</File>
					<File
						RelativePath="src\map\mapper\mapperLib.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperMatch.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperRefs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperSuper.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperSwitch.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperTable.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperTime.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperTree.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperTruth.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperUtils.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mapper\mapperVec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="mio"
					>
					<File
						RelativePath="src\map\mio\mio.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mio\mio.h"
						>
					</File>
					<File
						RelativePath="src\map\mio\mioApi.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mio\mioFunc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mio\mioInt.h"
						>
					</File>
					<File
						RelativePath="src\map\mio\mioRead.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\mio\mioUtils.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="super"
					>
					<File
						RelativePath="src\map\super\super.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\super\super.h"
						>
					</File>
					<File
						RelativePath="src\map\super\superAnd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\super\superGate.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\super\superInt.h"
						>
					</File>
					<File
						RelativePath="src\map\super\superWrite.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="if"
					>
					<File
						RelativePath="src\map\if\if.h"
						>
					</File>
					<File
						RelativePath="src\map\if\ifCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\if\ifCut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\if\ifMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\if\ifMap.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\if\ifReduce.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\if\ifSeq.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\if\ifTime.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\if\ifTruth.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\map\if\ifUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
			</Filter>
			<Filter
				Name="misc"
				>
				<Filter
					Name="extra"
					>
					<File
						RelativePath="src\misc\extra\extra.h"
						>
					</File>
					<File
						RelativePath="src\misc\extra\extraBddAuto.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraBddCas.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraBddKmap.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraBddMisc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraBddSymm.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraBddUnate.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraUtilBitMatrix.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraUtilCanon.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraUtilFile.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraUtilMemory.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraUtilMisc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraUtilProgress.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraUtilReader.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraUtilTruth.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\extra\extraUtilUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="st"
					>
					<File
						RelativePath="src\misc\st\st.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\st\st.h"
						>
					</File>
					<File
						RelativePath="src\misc\st\stmm.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\st\stmm.h"
						>
					</File>
				</Filter>
				<Filter
					Name="mvc"
					>
					<File
						RelativePath="src\misc\mvc\mvc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvc.h"
						>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcApi.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcCompare.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcContain.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcCover.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcCube.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcDivide.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcDivisor.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcList.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcLits.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcOpAlg.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcOpBool.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcPrint.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcSort.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\mvc\mvcUtils.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="vec"
					>
					<File
						RelativePath="src\misc\vec\vec.h"
						>
					</File>
					<File
						RelativePath="src\misc\vec\vecAtt.h"
						>
					</File>
					<File
						RelativePath="src\misc\vec\vecFlt.h"
						>
					</File>
					<File
						RelativePath="src\misc\vec\vecInt.h"
						>
					</File>
					<File
						RelativePath="src\misc\vec\vecPtr.h"
						>
					</File>
					<File
						RelativePath="src\misc\vec\vecStr.h"
						>
					</File>
					<File
						RelativePath="src\misc\vec\vecVec.h"
						>
					</File>
				</Filter>
				<Filter
					Name="espresso"
					>
					<File
						RelativePath="src\misc\espresso\cofactor.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\cols.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\compl.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\contain.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\cubehack.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\cubestr.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\cvrin.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\cvrm.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\cvrmisc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\cvrout.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\dominate.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\equiv.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\espresso.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\espresso.h"
						>
					</File>
					<File
						RelativePath="src\misc\espresso\essen.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\exact.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\expand.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\gasp.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\gimpel.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\globals.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\hack.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\indep.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\irred.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\map.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\matrix.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\mincov.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\mincov.h"
						>
					</File>
					<File
						RelativePath="src\misc\espresso\mincov_int.h"
						>
					</File>
					<File
						RelativePath="src\misc\espresso\opo.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\pair.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\part.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\primes.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\reduce.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\rows.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\set.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\setc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\sharp.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\sminterf.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\solution.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\sparse.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\sparse.h"
						>
					</File>
					<File
						RelativePath="src\misc\espresso\sparse_int.h"
						>
					</File>
					<File
						RelativePath="src\misc\espresso\unate.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\espresso\verify.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="util"
					>
					<File
						RelativePath="src\misc\util\util_hack.h"
						>
					</File>
				</Filter>
				<Filter
					Name="nm"
					>
					<File
						RelativePath="src\misc\nm\nm.h"
						>
					</File>
					<File
						RelativePath="src\misc\nm\nmApi.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\misc\nm\nmInt.h"
						>
					</File>
					<File
						RelativePath="src\misc\nm\nmTable.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="hash"
					>
					<File
						RelativePath="src\misc\hash\hash.h"
						>
					</File>
					<File
						RelativePath="src\misc\hash\hashFlt.h"
						>
					</File>
					<File
						RelativePath="src\misc\hash\hashInt.h"
						>
					</File>
					<File
						RelativePath="src\misc\hash\hashPtr.h"
						>
					</File>
				</Filter>
			</Filter>
			<Filter
				Name="phys"
				>
				<Filter
					Name="place"
					>
					<File
						RelativePath="src\phys\place\libhmetis.h"
						>
					</File>
					<File
						RelativePath="src\phys\place\place_base.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\phys\place\place_base.h"
						>
					</File>
					<File
						RelativePath="src\phys\place\place_bin.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\phys\place\place_genqp.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\phys\place\place_gordian.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\phys\place\place_gordian.h"
						>
					</File>
					<File
						RelativePath="src\phys\place\place_legalize.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\phys\place\place_pads.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\phys\place\place_partition.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\phys\place\place_qpsolver.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\phys\place\place_qpsolver.h"
						>
					</File>
				</Filter>
			</Filter>
			<Filter
				Name="ai"
				>
				<Filter
					Name="hop"
					>
					<File
						RelativePath="src\aig\hop\hop.h"
						>
					</File>
					<File
						RelativePath="src\aig\hop\hopBalance.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\hop\hopCheck.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\hop\hopDfs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\hop\hopMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\hop\hopMem.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\hop\hopObj.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\hop\hopOper.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\hop\hopTable.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\hop\hopUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="ivy"
					>
					<File
						RelativePath="src\aig\ivy\ivy.h"
						>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyBalance.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyCanon.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyCheck.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyCut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyCutTrav.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyDfs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyDsd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyFanout.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyFastMap.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyFraig.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyHaig.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyMem.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyMulti.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyObj.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyOper.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyResyn.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyRwr.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivySeq.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyShow.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyTable.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\ivy\ivyUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="rwt"
					>
					<File
						RelativePath="src\aig\rwt\rwt.h"
						>
					</File>
					<File
						RelativePath="src\aig\rwt\rwtDec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\rwt\rwtMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\rwt\rwtUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="deco"
					>
					<File
						RelativePath="src\aig\deco\deco.h"
						>
					</File>
				</Filter>
				<Filter
					Name="mem"
					>
					<File
						RelativePath="src\aig\mem\mem.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\mem\mem.h"
						>
					</File>
				</Filter>
				<Filter
					Name="dar"
					>
					<File
						RelativePath="src\aig\dar\dar.h"
						>
					</File>
					<File
						RelativePath="src\aig\dar\darBalance.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\dar\darCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\dar\darCut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\dar\darData.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\dar\darInt.h"
						>
					</File>
					<File
						RelativePath="src\aig\dar\darLib.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\dar\darMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\dar\darRefact.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\dar\darResub.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\dar\darScript.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\dar\darTruth.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="fra"
					>
					<File
						RelativePath="src\aig\fra\fra.h"
						>
					</File>
					<File
						RelativePath="src\aig\fra\fraCec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\fra\fraClass.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\fra\fraCnf.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\fra\fraCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\fra\fraInd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\fra\fraMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\fra\fraSat.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\fra\fraSec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\fra\fraSim.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="cnf"
					>
					<File
						RelativePath="src\aig\cnf\cnf.h"
						>
					</File>
					<File
						RelativePath="src\aig\cnf\cnfCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\cnf\cnfCut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\cnf\cnfData.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\cnf\cnfMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\cnf\cnfMap.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\cnf\cnfPost.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\cnf\cnfUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\cnf\cnfWrite.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="csw"
					>
					<File
						RelativePath="src\aig\csw\csw.h"
						>
					</File>
					<File
						RelativePath="src\aig\csw\cswCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\csw\cswCut.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\csw\cswInt.h"
						>
					</File>
					<File
						RelativePath="src\aig\csw\cswMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\csw\cswTable.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="kit"
					>
					<File
						RelativePath="src\aig\kit\kit.h"
						>
					</File>
					<File
						RelativePath="src\aig\kit\kitBdd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\kit\kitDsd.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\kit\kitFactor.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\kit\kitGraph.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\kit\kitHop.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\kit\kitIsop.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\kit\kitSop.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\kit\kitTruth.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="bdc"
					>
					<File
						RelativePath="src\aig\bdc\bdc.h"
						>
					</File>
					<File
						RelativePath="src\aig\bdc\bdcCore.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\bdc\bdcDec.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\bdc\bdcInt.h"
						>
					</File>
					<File
						RelativePath="src\aig\bdc\bdcTable.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
				<Filter
					Name="aig"
					>
					<File
						RelativePath="src\aig\aig\aig.h"
						>
					</File>
					<File
						RelativePath="src\aig\aig\aigCheck.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigDfs.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigFanout.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigMan.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigMem.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigMffc.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigObj.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigOper.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigOrder.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigPart.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigRepr.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigSeq.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigShow.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigTable.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigTiming.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigTruth.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigUtil.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
					<File
						RelativePath="src\aig\aig\aigWin.c"
						>
						<FileConfiguration
							Name="Debug|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
						<FileConfiguration
							Name="Release|Win32"
							>
							<Tool
								Name="VCCLCompilerTool"
								AdditionalIncludeDirectories=""
								PreprocessorDefinitions=""
							/>
						</FileConfiguration>
					</File>
				</Filter>
			</Filter>
		</Filter>
		<Filter
			Name="Header Files"
			Filter="h;hpp;hxx;hm;inl"
			>
		</Filter>
		<Filter
			Name="Resource Files"
			Filter="ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe"
			>
		</Filter>
	</Files>
	<Globals>
	</Globals>
</VisualStudioProject>