lib.vcproj

在vc上运行的回答集求解器源代码

<?xml version="1.0" encoding="Windows-1252"?>
<VisualStudioProject
	ProjectType="Visual C++"
	Version="8,00"
	Name="lib"
	ProjectGUID="{2AE65176-4340-460F-BA40-AAA4353B9691}"
	RootNamespace="lib"
	Keyword="Win32Proj"
	>
	<Platforms>
		<Platform
			Name="Win32"
		/>
	</Platforms>
	<ToolFiles>
	</ToolFiles>
	<Configurations>
		<Configuration
			Name="Debug|Win32"
			OutputDirectory="$(SolutionDir)$(ConfigurationName)"
			IntermediateDirectory="$(ConfigurationName)"
			ConfigurationType="4"
			CharacterSet="1"
			>
			<Tool
				Name="VCPreBuildEventTool"
			/>
			<Tool
				Name="VCCustomBuildTool"
			/>
			<Tool
				Name="VCXMLDataGeneratorTool"
			/>
			<Tool
				Name="VCWebServiceProxyGeneratorTool"
			/>
			<Tool
				Name="VCMIDLTool"
			/>
			<Tool
				Name="VCCLCompilerTool"
				Optimization="0"
				AdditionalIncludeDirectories="..\..\..\..\..\"
				PreprocessorDefinitions="WIN32;_DEBUG;_LIB"
				MinimalRebuild="true"
				BasicRuntimeChecks="3"
				RuntimeLibrary="3"
				UsePrecompiledHeader="0"
				WarningLevel="4"
				Detect64BitPortabilityProblems="true"
				DebugInformationFormat="4"
			/>
			<Tool
				Name="VCManagedResourceCompilerTool"
			/>
			<Tool
				Name="VCResourceCompilerTool"
			/>
			<Tool
				Name="VCPreLinkEventTool"
			/>
			<Tool
				Name="VCLibrarianTool"
			/>
			<Tool
				Name="VCALinkTool"
			/>
			<Tool
				Name="VCXDCMakeTool"
			/>
			<Tool
				Name="VCBscMakeTool"
			/>
			<Tool
				Name="VCFxCopTool"
			/>
			<Tool
				Name="VCPostBuildEventTool"
			/>
		</Configuration>
		<Configuration
			Name="Release|Win32"
			OutputDirectory="$(SolutionDir)$(ConfigurationName)"
			IntermediateDirectory="$(ConfigurationName)"
			ConfigurationType="4"
			CharacterSet="1"
			WholeProgramOptimization="1"
			>
			<Tool
				Name="VCPreBuildEventTool"
			/>
			<Tool
				Name="VCCustomBuildTool"
			/>
			<Tool
				Name="VCXMLDataGeneratorTool"
			/>
			<Tool
				Name="VCWebServiceProxyGeneratorTool"
			/>
			<Tool
				Name="VCMIDLTool"
			/>
			<Tool
				Name="VCCLCompilerTool"
				Optimization="2"
				AdditionalIncludeDirectories="..\..\..\..\..\"
				PreprocessorDefinitions="WIN32;NDEBUG;_LIB"
				RuntimeLibrary="2"
				BufferSecurityCheck="false"
				RuntimeTypeInfo="false"
				UsePrecompiledHeader="0"
				WarningLevel="3"
				Detect64BitPortabilityProblems="true"
				DebugInformationFormat="0"
			/>
			<Tool
				Name="VCManagedResourceCompilerTool"
			/>
			<Tool
				Name="VCResourceCompilerTool"
			/>
			<Tool
				Name="VCPreLinkEventTool"
			/>
			<Tool
				Name="VCLibrarianTool"
			/>
			<Tool
				Name="VCALinkTool"
			/>
			<Tool
				Name="VCXDCMakeTool"
			/>
			<Tool
				Name="VCBscMakeTool"
			/>
			<Tool
				Name="VCFxCopTool"
			/>
			<Tool
				Name="VCPostBuildEventTool"
			/>
		</Configuration>
	</Configurations>
	<References>
	</References>
	<Files>
		<Filter
			Name="Source Files"
			Filter="cpp;c;cc;cxx;def;odl;idl;hpj;bat;asm;asmx"
			UniqueIdentifier="{4FC737F1-C7A5-4376-A066-2A32D752A2FF}"
			>
			<File
				RelativePath="..\..\..\..\lib\clause.cpp"
				>
			</File>
			<File
				RelativePath="..\..\..\..\lib\constraint.cpp"
				>
			</File>
			<File
				RelativePath="..\..\..\..\lib\heuristics.cpp"
				>
			</File>
			<File
				RelativePath="..\..\..\..\lib\lparse_reader.cpp"
				>
			</File>
			<File
				RelativePath="..\..\..\..\lib\preprocessor.cpp"
				>
			</File>
			<File
				RelativePath="..\..\..\..\lib\program_builder.cpp"
				>
			</File>
			<File
				RelativePath="..\..\..\..\lib\program_rule.cpp"
				>
			</File>
			<File
				RelativePath="..\..\..\..\lib\smodels_constraints.cpp"
				>
			</File>
			<File
				RelativePath="..\..\..\..\lib\solve_algorithms.cpp"
				>
			</File>
			<File
				RelativePath="..\..\..\..\lib\solver.cpp"
				>
			</File>
			<File
				RelativePath="..\..\..\..\lib\unfounded_check.cpp"
				>
			</File>
		</Filter>
		<Filter
			Name="Header Files"
			Filter="h;hpp;hxx;hm;inl;inc;xsd"
			UniqueIdentifier="{93995380-89BD-4b04-88EB-625FBE52EBFB}"
			>
			<File
				RelativePath="..\..\..\..\include\clause.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\constraint.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\heuristics.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\util\indexed_priority_queue.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\literal.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\lparse_reader.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\util\misc_types.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\util\platform.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\pod_vector.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\preprocessor.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\program_builder.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\program_rule.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\smodels_constraints.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\solve_algorithms.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\solver.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\solver_types.h"
				>
			</File>
			<File
				RelativePath="..\..\..\..\include\unfounded_check.h"
				>
			</File>
		</Filter>
		<File
			RelativePath=".\ReadMe.txt"
			>
		</File>
	</Files>
	<Globals>
	</Globals>
</VisualStudioProject>