-
Notifications
You must be signed in to change notification settings - Fork 0
/
FSharpSMTExamples.sln
31 lines (31 loc) · 1.6 KB
/
FSharpSMTExamples.sln
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 16
VisualStudioVersion = 16.0.29411.108
MinimumVisualStudioVersion = 10.0.40219.1
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "FSharpSMTExamples", "FSharpSMTExamples\FSharpSMTExamples.fsproj", "{296DEDFF-CFF0-439E-AB2E-ECD6F73EA2DB}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "FSharpSMTExamplesCore", "FSharpSMTExamplesCore\FSharpSMTExamplesCore.fsproj", "{B27AA680-DF34-44D1-958D-0F05D8202061}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{296DEDFF-CFF0-439E-AB2E-ECD6F73EA2DB}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{296DEDFF-CFF0-439E-AB2E-ECD6F73EA2DB}.Debug|Any CPU.Build.0 = Debug|Any CPU
{296DEDFF-CFF0-439E-AB2E-ECD6F73EA2DB}.Release|Any CPU.ActiveCfg = Release|Any CPU
{296DEDFF-CFF0-439E-AB2E-ECD6F73EA2DB}.Release|Any CPU.Build.0 = Release|Any CPU
{B27AA680-DF34-44D1-958D-0F05D8202061}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{B27AA680-DF34-44D1-958D-0F05D8202061}.Debug|Any CPU.Build.0 = Debug|Any CPU
{B27AA680-DF34-44D1-958D-0F05D8202061}.Release|Any CPU.ActiveCfg = Release|Any CPU
{B27AA680-DF34-44D1-958D-0F05D8202061}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(ExtensibilityGlobals) = postSolution
SolutionGuid = {993FDE83-A986-4F04-B46E-A2B226A73E5B}
EndGlobalSection
EndGlobal