-
Notifications
You must be signed in to change notification settings - Fork 2
/
RInGen.sln
34 lines (34 loc) · 2.15 KB
/
RInGen.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
32
33
34
Microsoft Visual Studio Solution File, Format Version 12.00
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "RInGen", "RInGen.fsproj", "{845A8DE1-46E1-40B4-83BC-F963B333E22E}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "Tests", "Tests\Tests.fsproj", "{B3EB00BA-BE47-458E-BC9E-77F0CFAC0741}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "SMTLIB2", "SMTLIB2\SMTLIB2\SMTLIB2.fsproj", "{68A39717-A237-42A3-BB2E-6309B6C3FC3C}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "SMTLIB2Parser", "SMTLIB2\SMTLIB2Parser\SMTLIB2Parser.csproj", "{80201CDB-371F-4D54-A87B-6E4DB7985C7F}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{845A8DE1-46E1-40B4-83BC-F963B333E22E}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{845A8DE1-46E1-40B4-83BC-F963B333E22E}.Debug|Any CPU.Build.0 = Debug|Any CPU
{845A8DE1-46E1-40B4-83BC-F963B333E22E}.Release|Any CPU.ActiveCfg = Release|Any CPU
{845A8DE1-46E1-40B4-83BC-F963B333E22E}.Release|Any CPU.Build.0 = Release|Any CPU
{B3EB00BA-BE47-458E-BC9E-77F0CFAC0741}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{B3EB00BA-BE47-458E-BC9E-77F0CFAC0741}.Debug|Any CPU.Build.0 = Debug|Any CPU
{B3EB00BA-BE47-458E-BC9E-77F0CFAC0741}.Release|Any CPU.ActiveCfg = Release|Any CPU
{B3EB00BA-BE47-458E-BC9E-77F0CFAC0741}.Release|Any CPU.Build.0 = Release|Any CPU
{68A39717-A237-42A3-BB2E-6309B6C3FC3C}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{68A39717-A237-42A3-BB2E-6309B6C3FC3C}.Debug|Any CPU.Build.0 = Debug|Any CPU
{68A39717-A237-42A3-BB2E-6309B6C3FC3C}.Release|Any CPU.ActiveCfg = Release|Any CPU
{68A39717-A237-42A3-BB2E-6309B6C3FC3C}.Release|Any CPU.Build.0 = Release|Any CPU
{80201CDB-371F-4D54-A87B-6E4DB7985C7F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{80201CDB-371F-4D54-A87B-6E4DB7985C7F}.Debug|Any CPU.Build.0 = Debug|Any CPU
{80201CDB-371F-4D54-A87B-6E4DB7985C7F}.Release|Any CPU.ActiveCfg = Release|Any CPU
{80201CDB-371F-4D54-A87B-6E4DB7985C7F}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
EndGlobal