BisimulationRelationObtainer.sln


Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 17
VisualStudioVersion = 17.5.33502.453
MinimumVisualStudioVersion = 10.0.40219.1
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "BisimulationRelationObtainer", "BisimulationRelationObtainer\BisimulationRelationObtainer.csproj", "{D7478A7E-BBF5-49E0-AC63-E49EEE9D2A39}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "BisimulationRelationObtainerTests", "BisimulationRelationObtainerTests\BisimulationRelationObtainerTests.csproj", "{AC145F63-81EA-408F-8317-2DDA8C19F2D1}"
EndProject
Global
	GlobalSection(SolutionConfigurationPlatforms) = preSolution
		Debug|Any CPU = Debug|Any CPU
		Release|Any CPU = Release|Any CPU
	EndGlobalSection
	GlobalSection(ProjectConfigurationPlatforms) = postSolution
		{D7478A7E-BBF5-49E0-AC63-E49EEE9D2A39}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{D7478A7E-BBF5-49E0-AC63-E49EEE9D2A39}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{D7478A7E-BBF5-49E0-AC63-E49EEE9D2A39}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{D7478A7E-BBF5-49E0-AC63-E49EEE9D2A39}.Release|Any CPU.Build.0 = Release|Any CPU
		{AC145F63-81EA-408F-8317-2DDA8C19F2D1}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{AC145F63-81EA-408F-8317-2DDA8C19F2D1}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{AC145F63-81EA-408F-8317-2DDA8C19F2D1}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{AC145F63-81EA-408F-8317-2DDA8C19F2D1}.Release|Any CPU.Build.0 = Release|Any CPU
	EndGlobalSection
	GlobalSection(SolutionProperties) = preSolution
		HideSolutionNode = FALSE
	EndGlobalSection
	GlobalSection(ExtensibilityGlobals) = postSolution
		SolutionGuid = {8EEF6D33-0698-46B8-B955-373385D20055}
	EndGlobalSection
EndGlobal