TonProof.sln


Microsoft Visual Studio Solution File, Format Version 12.00
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "TonProof", "TonProof\TonProof.csproj", "{8D1900FD-4602-44CE-B124-3D5C4FDDF121}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "TonProof.Demo", "TonProof.Demo\TonProof.Demo.csproj", "{86607E81-74CD-4E7F-978A-1589A57E7323}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "TonProof.Tests", "TonProof.Tests\TonProof.Tests.csproj", "{39B49E62-F447-4B04-8A77-F9ED1CABF352}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Solution Items", "Solution Items", "{9A97DA5F-8DC5-4582-B52B-ABD990421820}"
	ProjectSection(SolutionItems) = preProject
		.gitignore = .gitignore
		LICENSE = LICENSE
		README.md = README.md
	EndProjectSection
EndProject
Global
	GlobalSection(SolutionConfigurationPlatforms) = preSolution
		Debug|Any CPU = Debug|Any CPU
		Release|Any CPU = Release|Any CPU
	EndGlobalSection
	GlobalSection(ProjectConfigurationPlatforms) = postSolution
		{8D1900FD-4602-44CE-B124-3D5C4FDDF121}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{8D1900FD-4602-44CE-B124-3D5C4FDDF121}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{8D1900FD-4602-44CE-B124-3D5C4FDDF121}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{8D1900FD-4602-44CE-B124-3D5C4FDDF121}.Release|Any CPU.Build.0 = Release|Any CPU
		{86607E81-74CD-4E7F-978A-1589A57E7323}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{86607E81-74CD-4E7F-978A-1589A57E7323}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{86607E81-74CD-4E7F-978A-1589A57E7323}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{86607E81-74CD-4E7F-978A-1589A57E7323}.Release|Any CPU.Build.0 = Release|Any CPU
		{39B49E62-F447-4B04-8A77-F9ED1CABF352}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{39B49E62-F447-4B04-8A77-F9ED1CABF352}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{39B49E62-F447-4B04-8A77-F9ED1CABF352}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{39B49E62-F447-4B04-8A77-F9ED1CABF352}.Release|Any CPU.Build.0 = Release|Any CPU
	EndGlobalSection
EndGlobal