kissat.sln


Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 16
VisualStudioVersion = 16.0.30413.136
MinimumVisualStudioVersion = 10.0.40219.1
Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "kissat", "kissat.vcxproj", "{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}"
EndProject
Global
	GlobalSection(SolutionConfigurationPlatforms) = preSolution
		Debug|x64 = Debug|x64
		Debug|x86 = Debug|x86
		Library|x64 = Library|x64
		Library|x86 = Library|x86
		Release|x64 = Release|x64
		Release|x86 = Release|x86
	EndGlobalSection
	GlobalSection(ProjectConfigurationPlatforms) = postSolution
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Debug|x64.ActiveCfg = Debug|x64
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Debug|x64.Build.0 = Debug|x64
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Debug|x86.ActiveCfg = Debug|Win32
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Debug|x86.Build.0 = Debug|Win32
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Library|x64.ActiveCfg = Library|x64
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Library|x64.Build.0 = Library|x64
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Library|x86.ActiveCfg = Library|Win32
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Library|x86.Build.0 = Library|Win32
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Release|x64.ActiveCfg = Release|x64
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Release|x64.Build.0 = Release|x64
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Release|x86.ActiveCfg = Release|Win32
		{AD72A16B-EA68-492E-B4EE-7C1BC7B1BBA7}.Release|x86.Build.0 = Release|Win32
	EndGlobalSection
	GlobalSection(SolutionProperties) = preSolution
		HideSolutionNode = FALSE
	EndGlobalSection
	GlobalSection(ExtensibilityGlobals) = postSolution
		SolutionGuid = {4F07DAA2-C6C1-4B67-ADF9-7EE1A5F4130A}
	EndGlobalSection
EndGlobal