conseq.sln

命题逻辑中的归结推理系统设计与实现用C++实现


Microsoft Visual Studio Solution File, Format Version 9.00
# Visual Studio 2005
Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "conseq", "conseq.vcproj", "{887F3CF6-790C-4343-99E1-15F8E9304FBD}"
EndProject
Global
	GlobalSection(SolutionConfigurationPlatforms) = preSolution
		Debug|Win32 = Debug|Win32
		Release|Win32 = Release|Win32
	EndGlobalSection
	GlobalSection(ProjectConfigurationPlatforms) = postSolution
		{887F3CF6-790C-4343-99E1-15F8E9304FBD}.Debug|Win32.ActiveCfg = Debug|Win32
		{887F3CF6-790C-4343-99E1-15F8E9304FBD}.Debug|Win32.Build.0 = Debug|Win32
		{887F3CF6-790C-4343-99E1-15F8E9304FBD}.Release|Win32.ActiveCfg = Release|Win32
		{887F3CF6-790C-4343-99E1-15F8E9304FBD}.Release|Win32.Build.0 = Release|Win32
	EndGlobalSection
	GlobalSection(SolutionProperties) = preSolution
		HideSolutionNode = FALSE
	EndGlobalSection
EndGlobal