-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathSMTLIB2.sln
28 lines (28 loc) · 1.69 KB
/
SMTLIB2.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
Microsoft Visual Studio Solution File, Format Version 12.00
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "SMTLIB2Parser", "SMTLIB2Parser\SMTLIB2Parser.csproj", "{C2C26B7F-4DE1-484A-8F31-82F50D27E3D5}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "SMTLIB2", "SMTLIB2\SMTLIB2.fsproj", "{5CBA8717-1614-429C-8960-6C6C55EFC197}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "Tests", "Tests\Tests.fsproj", "{4797DDB1-0B44-4C58-9F57-2D4C550BE16B}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{C2C26B7F-4DE1-484A-8F31-82F50D27E3D5}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{C2C26B7F-4DE1-484A-8F31-82F50D27E3D5}.Debug|Any CPU.Build.0 = Debug|Any CPU
{C2C26B7F-4DE1-484A-8F31-82F50D27E3D5}.Release|Any CPU.ActiveCfg = Release|Any CPU
{C2C26B7F-4DE1-484A-8F31-82F50D27E3D5}.Release|Any CPU.Build.0 = Release|Any CPU
{5CBA8717-1614-429C-8960-6C6C55EFC197}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{5CBA8717-1614-429C-8960-6C6C55EFC197}.Debug|Any CPU.Build.0 = Debug|Any CPU
{5CBA8717-1614-429C-8960-6C6C55EFC197}.Release|Any CPU.ActiveCfg = Release|Any CPU
{5CBA8717-1614-429C-8960-6C6C55EFC197}.Release|Any CPU.Build.0 = Release|Any CPU
{4797DDB1-0B44-4C58-9F57-2D4C550BE16B}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{4797DDB1-0B44-4C58-9F57-2D4C550BE16B}.Debug|Any CPU.Build.0 = Debug|Any CPU
{4797DDB1-0B44-4C58-9F57-2D4C550BE16B}.Release|Any CPU.ActiveCfg = Release|Any CPU
{4797DDB1-0B44-4C58-9F57-2D4C550BE16B}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
EndGlobal