推理机.sln

来自「一个基于H.wang的谓词演算公式的机器证明的vc实现」· SLN 代码 · 共 21 行


Microsoft Visual Studio Solution File, Format Version 10.00
# Visual Studio 2008
Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "推理机", "推理机\推理机.vcproj", "{0C80B2FD-0778-4540-8E87-81AF576E832B}"
EndProject
Global
	GlobalSection(SolutionConfigurationPlatforms) = preSolution
		Debug|Win32 = Debug|Win32
		Release|Win32 = Release|Win32
	EndGlobalSection
	GlobalSection(ProjectConfigurationPlatforms) = postSolution
		{0C80B2FD-0778-4540-8E87-81AF576E832B}.Debug|Win32.ActiveCfg = Debug|Win32
		{0C80B2FD-0778-4540-8E87-81AF576E832B}.Debug|Win32.Build.0 = Debug|Win32
		{0C80B2FD-0778-4540-8E87-81AF576E832B}.Release|Win32.ActiveCfg = Release|Win32
		{0C80B2FD-0778-4540-8E87-81AF576E832B}.Release|Win32.Build.0 = Release|Win32
	EndGlobalSection
	GlobalSection(SolutionProperties) = preSolution
		HideSolutionNode = FALSE
	EndGlobalSection
EndGlobal