-
Notifications
You must be signed in to change notification settings - Fork 10
Expand file tree
/
Copy pathSudoku.sln
More file actions
50 lines (50 loc) · 2.89 KB
/
Copy pathSudoku.sln
File metadata and controls
50 lines (50 loc) · 2.89 KB
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 17
VisualStudioVersion = 17.4.33205.214
MinimumVisualStudioVersion = 10.0.40219.1
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "Sudoku.Shared", "Sudoku.Shared\Sudoku.Shared.csproj", "{875F71B2-99ED-4366-9C28-E5FFB5B5AA41}"
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "Sudoku.Benchmark", "Sudoku.Benchmark\Sudoku.Benchmark.csproj", "{3F6D87E5-3288-46C4-B192-F91D5FBB075B}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Puzzles", "Puzzles", "{5351C3A6-44B9-45CB-B4DB-4578796500FB}"
ProjectSection(SolutionItems) = preProject
Puzzles\Sudoku_Easy51.txt = Puzzles\Sudoku_Easy51.txt
Puzzles\Sudoku_hardest.txt = Puzzles\Sudoku_hardest.txt
Puzzles\Sudoku_top95.txt = Puzzles\Sudoku_top95.txt
EndProjectSection
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "Sudoku.Z3Solvers", "Sudoku.Z3Solvers\Sudoku.Z3Solvers.csproj", "{A35C20E9-B1AC-47FD-9213-E84C6C37C2E2}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Sudoku.DemoZ3", "Sudoku.DemoZ3\Sudoku.DemoZ3.csproj", "{5DA99591-58A6-4AA1-A7BD-DF61DC1319B8}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{875F71B2-99ED-4366-9C28-E5FFB5B5AA41}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{875F71B2-99ED-4366-9C28-E5FFB5B5AA41}.Debug|Any CPU.Build.0 = Debug|Any CPU
{875F71B2-99ED-4366-9C28-E5FFB5B5AA41}.Release|Any CPU.ActiveCfg = Release|Any CPU
{875F71B2-99ED-4366-9C28-E5FFB5B5AA41}.Release|Any CPU.Build.0 = Release|Any CPU
{3F6D87E5-3288-46C4-B192-F91D5FBB075B}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{3F6D87E5-3288-46C4-B192-F91D5FBB075B}.Debug|Any CPU.Build.0 = Debug|Any CPU
{3F6D87E5-3288-46C4-B192-F91D5FBB075B}.Release|Any CPU.ActiveCfg = Release|Any CPU
{3F6D87E5-3288-46C4-B192-F91D5FBB075B}.Release|Any CPU.Build.0 = Release|Any CPU
{A35C20E9-B1AC-47FD-9213-E84C6C37C2E2}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{A35C20E9-B1AC-47FD-9213-E84C6C37C2E2}.Debug|Any CPU.Build.0 = Debug|Any CPU
{A35C20E9-B1AC-47FD-9213-E84C6C37C2E2}.Release|Any CPU.ActiveCfg = Release|Any CPU
{A35C20E9-B1AC-47FD-9213-E84C6C37C2E2}.Release|Any CPU.Build.0 = Release|Any CPU
{5DA99591-58A6-4AA1-A7BD-DF61DC1319B8}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{5DA99591-58A6-4AA1-A7BD-DF61DC1319B8}.Debug|Any CPU.Build.0 = Debug|Any CPU
{5DA99591-58A6-4AA1-A7BD-DF61DC1319B8}.Release|Any CPU.ActiveCfg = Release|Any CPU
{5DA99591-58A6-4AA1-A7BD-DF61DC1319B8}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(ExtensibilityGlobals) = postSolution
SolutionGuid = {BEE8F8D1-8D10-45DA-ABF1-5DE630CBE60B}
EndGlobalSection
EndGlobal