diff --git a/Microsoft.Z3/Microsoft.Z3.csproj b/Microsoft.Z3/Microsoft.Z3.csproj
index 2b82ee89f..9ca28df75 100644
--- a/Microsoft.Z3/Microsoft.Z3.csproj
+++ b/Microsoft.Z3/Microsoft.Z3.csproj
@@ -207,75 +207,6 @@
;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
true
-
- ..\x64\external_64\
- true
- ..\x64\external_64\Microsoft.Z3.xml
- true
- pdbonly
- AnyCPU
- bin\Release\Microsoft.Z3.dll.CodeAnalysisLog.xml
- true
- GlobalSuppressions.cs
- prompt
- MinimumRecommendedRules.ruleset
- ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets
- true
- ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
- true
- false
-
-
- ..\x64\external_64\
- true
- ..\x64\external_64\Microsoft.Z3.xml
- true
- pdbonly
- x64
- bin\Release\Microsoft.Z3.dll.CodeAnalysisLog.xml
- true
- GlobalSuppressions.cs
- prompt
- MinimumRecommendedRules.ruleset
- ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets
- true
- ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
- true
- false
- True
- False
- True
- False
- False
- False
- False
- False
- False
- False
- False
- False
- False
- False
- False
- False
- True
- False
- False
- True
- False
- False
- False
-
-
-
-
-
-
- False
- Full
- %28none%29
- 0
-
true
diff --git a/Microsoft.Z3/test_mapi/Program.cs b/Microsoft.Z3/test_mapi/Program.cs
index 99f431d2d..db3cd30b2 100644
--- a/Microsoft.Z3/test_mapi/Program.cs
+++ b/Microsoft.Z3/test_mapi/Program.cs
@@ -184,7 +184,7 @@ namespace test_mapi
///
public static void SimpleExample()
{
- Console.WriteLine("SimpleExample");
+ Console.WriteLine("SimpleExample");
using (Context ctx = new Context())
{
@@ -649,7 +649,7 @@ namespace test_mapi
{ "MBQI", "false" },
{ "PROOF_MODE", "2" },
{ "AUTO_CONFIG", "false" }
- };
+ };
/* If quantified formulas are asserted in a logical context, then
the model produced by Z3 should be viewed as a potential model. */
@@ -975,7 +975,7 @@ namespace test_mapi
///
static void SMT1FileTest(string filename)
{
- Console.Write("SMT File test ");
+ Console.Write("SMT File test ");
using (Context ctx = new Context(new Dictionary() { { "MODEL", "true" } }))
{
@@ -983,7 +983,7 @@ namespace test_mapi
BoolExpr a = ctx.MkAnd(ctx.SMTLIBFormulas);
Console.WriteLine("read formula: " + a);
- }
+ }
}
///
@@ -2022,30 +2022,30 @@ namespace test_mapi
}
}
- public static void FiniteDomainExample(Context ctx)
- {
+ public static void FiniteDomainExample(Context ctx)
+ {
Console.WriteLine("FiniteDomainExample");
- var s = ctx.MkFiniteDomainSort("S", 10);
- var t = ctx.MkFiniteDomainSort("T", 10);
- var s1 = ctx.MkNumeral(1, s);
- var t1 = ctx.MkNumeral(1, t);
- Console.WriteLine("{0}", s);
- Console.WriteLine("{0}", t);
- Console.WriteLine("{0}", s1);
- Console.WriteLine("{0}", ctx.MkNumeral(2, s));
- Console.WriteLine("{0}", t1);
+ var s = ctx.MkFiniteDomainSort("S", 10);
+ var t = ctx.MkFiniteDomainSort("T", 10);
+ var s1 = ctx.MkNumeral(1, s);
+ var t1 = ctx.MkNumeral(1, t);
+ Console.WriteLine("{0}", s);
+ Console.WriteLine("{0}", t);
+ Console.WriteLine("{0}", s1);
+ Console.WriteLine("{0}", ctx.MkNumeral(2, s));
+ Console.WriteLine("{0}", t1);
// But you cannot mix numerals of different sorts
// even if the size of their domains are the same:
- // Console.WriteLine("{0}", ctx.MkEq(s1, t1));
- }
+ // Console.WriteLine("{0}", ctx.MkEq(s1, t1));
+ }
static void Main(string[] args)
{
try
{
Context.ToggleWarningMessages(true);
- Log.Open("test.log");
+ Log.Open("test.log");
Console.Write("Z3 Major Version: ");
Console.WriteLine(Microsoft.Z3.Version.Major.ToString());
@@ -2090,7 +2090,7 @@ namespace test_mapi
EvalExample2(ctx);
FindSmallModelExample(ctx);
SimplifierExample(ctx);
- FiniteDomainExample(ctx);
+ FiniteDomainExample(ctx);
}
QuantifierExample3();
diff --git a/Microsoft.Z3/test_mapi/build.cmd b/Microsoft.Z3/test_mapi/build.cmd
index bdcf0f15c..bfc0870aa 100644
--- a/Microsoft.Z3/test_mapi/build.cmd
+++ b/Microsoft.Z3/test_mapi/build.cmd
@@ -1,4 +1,4 @@
-copy ..\..\x64\release\Microsoft.Z3.dll .
-copy ..\..\x64\release\Z3.dll .
+copy ..\..\external\Microsoft.Z3.dll .
+copy ..\..\external\Z3.dll .
-csc /reference:..\..\x64\release\Microsoft.Z3.dll /debug:full /platform:x64 /reference:System.Numerics.dll Program.cs
\ No newline at end of file
+csc /reference:..\..\external\Microsoft.Z3.dll /platform:anycpu /reference:System.Numerics.dll Program.cs
\ No newline at end of file
diff --git a/Microsoft.Z3/test_mapi/test_mapi.csproj b/Microsoft.Z3/test_mapi/test_mapi.csproj
index f43ce3915..9b8a935ec 100644
--- a/Microsoft.Z3/test_mapi/test_mapi.csproj
+++ b/Microsoft.Z3/test_mapi/test_mapi.csproj
@@ -36,6 +36,71 @@
test_mapi.Program
+
+ true
+ bin\Debug\
+ DEBUG;TRACE
+ full
+ AnyCPU
+ bin\Debug\test_mapi.exe.CodeAnalysisLog.xml
+ true
+ GlobalSuppressions.cs
+ prompt
+ MinimumRecommendedRules.ruleset
+ ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets
+ true
+ ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
+ true
+
+
+ bin\Release\
+ TRACE
+ true
+ pdbonly
+ AnyCPU
+ bin\Release\test_mapi.exe.CodeAnalysisLog.xml
+ true
+ GlobalSuppressions.cs
+ prompt
+ MinimumRecommendedRules.ruleset
+ ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets
+ true
+ ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
+ true
+
+
+ true
+ bin\x64\Debug\
+ DEBUG;TRACE
+ full
+ x64
+ bin\Debug\test_mapi.exe.CodeAnalysisLog.xml
+ true
+ GlobalSuppressions.cs
+ prompt
+ MinimumRecommendedRules.ruleset
+ ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets
+ true
+ ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
+ true
+ false
+
+
+ bin\x64\Release\
+ TRACE
+ true
+ pdbonly
+ x64
+ bin\Release\test_mapi.exe.CodeAnalysisLog.xml
+ true
+ GlobalSuppressions.cs
+ prompt
+ MinimumRecommendedRules.ruleset
+ ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets
+ true
+ ;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
+ true
+
@@ -44,15 +109,15 @@
+
+
+
{EC3DB697-B734-42F7-9468-5B62821EEB5A}
Microsoft.Z3
-
-
-
diff --git a/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj b/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
index bdf4c5229..ac99eef86 100644
--- a/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
+++ b/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
@@ -1,14 +1,6 @@
-
+
-
- bench
- Win32
-
-
- bench
- x64
-
commercial
Win32
@@ -17,14 +9,6 @@
commercial
x64
-
- debug_opt
- Win32
-
-
- debug_opt
- x64
-
Debug
Win32
@@ -33,38 +17,6 @@
Debug
x64
-
- external_64
- Win32
-
-
- external_64
- x64
-
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
external
Win32
@@ -73,54 +25,6 @@
external
x64
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
-
- ReleaseD
- Win32
-
-
- ReleaseD
- x64
-
-
- Release_delaysign
- Win32
-
-
- Release_delaysign
- x64
-
release_mt
Win32
@@ -129,14 +33,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -145,14 +41,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
Trace
Win32
@@ -169,76 +57,6 @@
Microsoft.Z3V3
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
DynamicLibrary
Unicode
@@ -257,18 +75,6 @@
true
true
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
DynamicLibrary
Unicode
@@ -286,69 +92,6 @@
Unicode
true
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- Application
-
-
- DynamicLibrary
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- Application
-
DynamicLibrary
Unicode
@@ -364,18 +107,6 @@
Application
-
- DynamicLibrary
- Unicode
- true
- true
-
-
- DynamicLibrary
- Unicode
- true
- true
-
DynamicLibrary
Unicode
@@ -396,42 +127,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -441,12 +136,6 @@
-
-
-
-
-
-
@@ -456,42 +145,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -501,12 +154,6 @@
-
-
-
-
-
-
@@ -537,18 +184,6 @@
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
$(SolutionDir)$(Configuration)\
$(Configuration)\
false
@@ -566,114 +201,13 @@
$(Platform)\$(Configuration)\
false
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
@@ -686,66 +220,18 @@
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -894,106 +380,6 @@
sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
- Disabled
- false
- D:\tvm\src\zofty\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;Z3DEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- /LTCG %(AdditionalOptions)
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- Disabled
- false
- D:\tvm\src\zofty\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- /LTCG %(AdditionalOptions)
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
false
@@ -1116,535 +502,6 @@
sn.exe -Ra "$(TargetPath)" "$(ProjectDir)35MSSharedLib1024.snk"
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- Disabled
- WIN32;_DEBUG;Z3DEBUG;_WINDOWS;_TRACE;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- Disabled
- WIN32;_DEBUG;Z3DEBUG;_WINDOWS;_TRACE;_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
- Create
- Level3
- ProgramDatabase
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- true
- false
-
-
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
- Create
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
- Create
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- MultiThreadedDLL
-
-
- $(OutDir)Microsoft.Z3V3.dll
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- Disabled
- WIN32;_DEBUG;Z3DEBUG;_WINDOWS;_TRACE;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX86
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;_BUILD_PARALLEL_SMT;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
- Create
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
- false
- WIN32;NDEBUG;_WINDOWS;DELAYSIGN;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- false
-
-
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)35MSSharedLib1024.snk"
-
-
-
-
- X64
-
-
- false
- WIN32;NDEBUG;_WINDOWS;DELAYSIGN;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- $(OutDir)Microsoft.Z3V3.dll
- true
- MachineX64
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)35MSSharedLib1024.snk"
-
-
-
-
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
-
-
-
-
- sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"
-
-
diff --git a/README b/README
index ab68e4911..390c81702 100644
--- a/README
+++ b/README
@@ -9,15 +9,15 @@ Z3 can be built using Visual Studio Command Prompt, Visual Studio and make/gcc.
- For building all components, execute
msbuild z3-prover.sln /p:configuration=external
- All components will be located at /external
+ All components will be located at \external
- For building all components (64-bit), execute
- msbuild z3-prover.sln /p:configuration=external_64 /p:platform=x64
- All components will be located at /external_64
+ msbuild z3-prover.sln /p:configuration=external /p:platform=x64
+ All components will be located at \x64\external
- For building all components (in debug mode), execute
msbuild z3-prover.sln
- All components will be located at /debug
+ All components will be located at \Debug
2) Building Z3 using g++/make
Your machine must also have the following commands to be able to build Z3:
diff --git a/dll/dll.vcxproj b/dll/dll.vcxproj
index 7da34f583..a38f94287 100644
--- a/dll/dll.vcxproj
+++ b/dll/dll.vcxproj
@@ -25,30 +25,6 @@
external_64
x64
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
external
Win32
@@ -57,38 +33,6 @@
external
x64
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
release_mt
Win32
@@ -97,14 +41,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -113,14 +49,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
trace
Win32
@@ -141,54 +69,11 @@
Unicode
true
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
-
DynamicLibrary
Unicode
true
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
-
-
- DynamicLibrary
- Unicode
- true
-
DynamicLibrary
Unicode
@@ -218,51 +103,11 @@
Unicode
true
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
-
DynamicLibrary
Unicode
true
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
- true
-
-
- Application
-
-
- DynamicLibrary
-
-
- DynamicLibrary
- Unicode
- true
-
-
- DynamicLibrary
- Unicode
-
-
- DynamicLibrary
- Unicode
- true
-
DynamicLibrary
Unicode
@@ -293,36 +138,9 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -341,36 +159,9 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -419,62 +210,12 @@
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
$(SolutionDir)$(Configuration)\
$(Configuration)\
false
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
$(SolutionDir)$(Configuration)\
$(Configuration)\
false
@@ -493,24 +234,6 @@
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
@@ -523,54 +246,18 @@
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -581,33 +268,15 @@
z3_dbg
z3
z3
- z3
- z3
- z3
z3
z3
- z3_dbg
- z3
- z3_dbg
- z3
z3
- z3
z3
- z3
z3
- z3_dbg
- z3
- z3
z3
z3
- z3_dbg
- z3
- z3_dbg
- z3
z3
- z3
z3
- z3
z3
@@ -755,7 +424,7 @@
X64
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
+ _AMD64_;WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
MultiThreadedDLL
@@ -844,287 +513,6 @@
MachineX64
-
-
- WIN32;NDEBUG;Z3DEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3_dbg.dll
- z3_dbg.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;Z3DEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3_dbg.dll
- z3_dbg.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- MachineX64
-
-
-
-
- Disabled
- WIN32;_DEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- EditAndContinue
-
-
- $(OutDir)z3_dbg.dll
- z3_dbg.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- false
-
-
- MachineX86
-
-
-
-
- Disabled
- WIN32;_DEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3_dbg.dll
- z3_dbg.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- false
-
-
- MachineX64
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;ASYNC_COMMANDS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX64
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- Disabled
- WIN32;_DEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
-
-
- Level3
- EditAndContinue
-
-
- $(OutDir)z3_dbg.dll
- z3_dbg.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- false
-
-
- MachineX86
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- MachineX64
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreaded
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreaded
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- MachineX64
-
-
WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
@@ -1171,104 +559,6 @@
MachineX64
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- MachineX64
-
-
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3.dll
- z3.def
- true
- $(TargetDir)z3_dll.pdb
- Windows
- true
- true
- false
-
-
- MachineX64
-
-
WIN32;NDEBUG;_WINDOWS;_USRDLL;DLL_EXPORTS;%(PreprocessorDefinitions)
diff --git a/lib/lib.vcxproj b/lib/lib.vcxproj
index 75e3faa24..e919ed609 100644
--- a/lib/lib.vcxproj
+++ b/lib/lib.vcxproj
@@ -1,14 +1,6 @@
-
+
-
- bench
- Win32
-
-
- bench
- x64
-
commercial
Win32
@@ -17,14 +9,6 @@
commercial
x64
-
- debug_opt
- Win32
-
-
- debug_opt
- x64
-
Debug
Win32
@@ -33,38 +17,6 @@
Debug
x64
-
- external_64
- Win32
-
-
- external_64
- x64
-
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
external
Win32
@@ -73,46 +25,6 @@
external
x64
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
-
- ReleaseD
- Win32
-
-
- ReleaseD
- x64
-
release_mt
Win32
@@ -121,14 +33,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -137,14 +41,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
Trace
Win32
@@ -160,59 +56,6 @@
Win32Proj
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
StaticLibrary
Unicode
@@ -228,16 +71,6 @@
Unicode
true
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
StaticLibrary
Unicode
@@ -252,54 +85,6 @@
StaticLibrary
Unicode
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
-
- Application
-
-
- StaticLibrary
-
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
-
-
- StaticLibrary
- Unicode
- true
-
-
- Application
-
StaticLibrary
Unicode
@@ -313,16 +98,6 @@
Application
-
- StaticLibrary
- Unicode
- true
-
-
- StaticLibrary
- Unicode
- true
-
StaticLibrary
Unicode
@@ -340,39 +115,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -382,12 +124,6 @@
-
-
-
-
-
-
@@ -397,39 +133,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -439,12 +142,6 @@
-
-
-
-
-
-
@@ -469,14 +166,6 @@
$(Configuration)\
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
$(SolutionDir)$(Configuration)\
$(Configuration)\
$(SolutionDir)$(Platform)\$(Configuration)\
@@ -489,89 +178,12 @@
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
@@ -584,60 +196,18 @@
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -646,41 +216,15 @@
z3lib
z3lib
- z3lib
- z3lib
- z3lib
- z3_dbg
- z3lib
- z3lib
z3lib
z3lib
- z3lib
- z3lib
- z3lib
- z3lib
- z3lib
z3lib
- z3lib
z3lib
- z3lib
z3lib
- z3lib
- z3lib
- z3lib
- z3_dbg
- z3lib
- z3lib
z3lib
z3lib
- z3lib
- z3lib
- z3lib
- z3lib
- z3lib
z3lib
- z3lib
z3lib
- z3lib
z3lib
@@ -785,75 +329,6 @@
ProgramDatabase
-
-
- /INCLUDE:compile_term %(AdditionalOptions)
- false
- WIN32;Z3DEBUG;_LIB;_WINDOWS;_TRACE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
-
-
- X64
-
-
- /INCLUDE:compile_term %(AdditionalOptions)
- false
- WIN32;_DEBUG;Z3DEBUG;_LIB;_WINDOWS;_TRACE;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- true
- Speed
- true
- WIN32;NDEBUG;_LIB;_WINDOWS;%(PreprocessorDefinitions)
-
-
- MultiThreadedDLL
- false
- StreamingSIMDExtensions2
- Fast
-
-
- Level3
- ProgramDatabase
-
-
-
-
- X64
-
-
- Full
- true
- Speed
- true
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
-
-
- MultiThreadedDLL
- false
- StreamingSIMDExtensions2
- Fast
-
-
- Level3
- ProgramDatabase
-
-
Full
@@ -911,7 +386,7 @@
MaxSpeed
false
- WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
+ _AMD64_;WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
MultiThreadedDLL
@@ -934,325 +409,6 @@
ProgramDatabase
-
-
- Full
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
-
-
- Full
- false
- WIN32;NDEBUG;Z3DEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3_dbg.lib
-
-
-
-
- X64
-
-
- MaxSpeed
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3_dbg.lib
-
-
-
-
- Disabled
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_LIB;_TRACE;ASYNC_COMMANDS;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- EditAndContinue
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3lib.lib
- %(AdditionalLibraryDirectories)
-
-
-
-
- Disabled
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_LIB;_TRACE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_AMD64_;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3lib.lib
- %(AdditionalLibraryDirectories)
-
-
-
-
- Full
- false
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;ASYNC_COMMANDS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3$(ProjectName).lib
-
-
-
-
- Full
- false
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- false
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
-
-
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
- Level3
- ProgramDatabase
-
-
-
-
- Disabled
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_LIB;_TRACE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- EditAndContinue
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3lib.lib
- %(AdditionalLibraryDirectories)
-
-
-
-
- Full
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;SMTCOMP;%(PreprocessorDefinitions)
- MultiThreadedDLL
- false
-
-
- Level4
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3lib.lib
-
-
-
-
- X64
-
-
- MaxSpeed
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreaded
- false
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
- $(OutDir)z3lib.lib
-
-
-
-
- X64
-
-
- MaxSpeed
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreaded
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3lib.lib
-
-
-
-
- X64
-
-
- MaxSpeed
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- $(OutDir)z3lib.lib
-
-
-
-
- X64
-
-
- MaxSpeed
- false
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
-
-
- Full
- false
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_EXTERNAL_RELEASE;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
- StreamingSIMDExtensions2
-
-
-
-
- X64
-
-
- Full
- false
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
false
diff --git a/maxsat/README.txt b/maxsat/README.txt
index 0e9e19077..82eb6bc2a 100644
--- a/maxsat/README.txt
+++ b/maxsat/README.txt
@@ -1,12 +1,19 @@
WARNING: this example still uses the old Z3 (version 3.x) C API.
The current version is backward compatible.
-This directory contains scripts to build the MaxSAT application using
-Microsoft C compiler, or gcc.
-
1) Using Visual Studio (with Z3 source code release)
-Use the maxsat.vcxproj project file.
+The maxsat example application is automatically built when the z3-prover.sln is processed. The following command should be used to compile z3-prover.sln in the Z3 root directory
+
+ msbuild /p:configuration=external
+
+The maxsat executable is located at
+
+ ..\external\maxsat
+
+To process ex.smt, use
+
+ ..\external\maxsat ex.smt
2) Using gcc (on Linux or OSX)
diff --git a/maxsat/maxsat.vcxproj b/maxsat/maxsat.vcxproj
index 1679dd545..4858316d4 100644
--- a/maxsat/maxsat.vcxproj
+++ b/maxsat/maxsat.vcxproj
@@ -1,22 +1,38 @@
-
- commercial_64
- Win32
-
commercial
Win32
+
+ commercial
+ x64
+
Debug
Win32
+
+ Debug
+ x64
+
+
+ external
+ Win32
+
+
+ external
+ x64
+
Release
Win32
+
+ Release
+ x64
+
{7C154132-AAAB-4F60-B652-F8C51A63D244}
@@ -29,13 +45,30 @@
true
Unicode
+
+ Application
+ true
+ Unicode
+
Application
false
true
Unicode
-
+
+ Application
+ false
+ true
+ Unicode
+
+
+ Application
+ false
+ true
+ Unicode
+
+
Application
false
true
@@ -47,34 +80,64 @@
true
Unicode
+
+ Application
+ false
+ true
+ Unicode
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
true
+
+ true
+
false
-
+
+ false
+
+
+ false
+
+
false
false
+
+ false
+
@@ -90,6 +153,21 @@
false
+
+
+
+
+ Level3
+ Disabled
+ WIN32;_DEBUG;_CONSOLE;%(PreprocessorDefinitions)
+ ..\lib
+
+
+ Console
+ true
+ false
+
+
Level3
@@ -108,7 +186,7 @@
true
-
+
Level3
@@ -126,6 +204,42 @@
true
+
+
+ Level3
+
+
+ MaxSpeed
+ true
+ true
+ WIN32;NDEBUG;_CONSOLE;%(PreprocessorDefinitions)
+ ..\lib
+
+
+ Console
+ true
+ true
+ true
+
+
+
+
+ Level3
+
+
+ MaxSpeed
+ true
+ true
+ _AMD64_;WIN32;NDEBUG;_CONSOLE;%(PreprocessorDefinitions)
+ ..\lib
+
+
+ Console
+ true
+ true
+ true
+
+
Level3
@@ -144,6 +258,24 @@
true
+
+
+ Level3
+
+
+ MaxSpeed
+ true
+ true
+ WIN32;NDEBUG;_CONSOLE;%(PreprocessorDefinitions)
+ ..\lib
+
+
+ Console
+ true
+ true
+ true
+
+
diff --git a/python/z3.py b/python/z3.py
index 9348e5b59..9d9d03e55 100644
--- a/python/z3.py
+++ b/python/z3.py
@@ -1328,6 +1328,21 @@ def Implies(a, b, ctx=None):
b = s.cast(b)
return BoolRef(Z3_mk_implies(ctx.ref(), a.as_ast(), b.as_ast()), ctx)
+def Xor(a, b, ctx=None):
+ """Create a Z3 Xor expression.
+
+ >>> p, q = Bools('p q')
+ >>> Xor(p, q)
+ Xor(p, q)
+ >>> simplify(Xor(p, q))
+ Not(p) == q
+ """
+ ctx = _get_ctx(_ctx_from_ast_arg_list([a, b], ctx))
+ s = BoolSort(ctx)
+ a = s.cast(a)
+ b = s.cast(b)
+ return BoolRef(Z3_mk_xor(ctx.ref(), a.as_ast(), b.as_ast()), ctx)
+
def Not(a, ctx=None):
"""Create a Z3 not expression or probe.
diff --git a/shell/main.cpp b/shell/main.cpp
index b426f2885..b5485e35d 100644
--- a/shell/main.cpp
+++ b/shell/main.cpp
@@ -56,7 +56,11 @@ void error(const char * msg) {
}
void display_usage() {
- std::cout << "Z3 [version " << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "]. (C) Copyright 2006 Microsoft Corp.\n";
+#ifdef _AMD64_
+ std::cout << "Z3 [version " << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << " - 64 bit]. (C) Copyright 2006 Microsoft Corp.\n";
+#else
+ std::cout << "Z3 [version " << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << " - 32 bit]. (C) Copyright 2006 Microsoft Corp.\n";
+#endif
std::cout << "Usage: z3 [options] [" << OPT << "file:]file\n";
std::cout << "\nInput format:\n";
std::cout << " " << OPT << "smt use parser for SMT input format.\n";
diff --git a/shell/shell.vcxproj b/shell/shell.vcxproj
index 35c11a5da..f39027d06 100644
--- a/shell/shell.vcxproj
+++ b/shell/shell.vcxproj
@@ -1,14 +1,6 @@
-
+
-
- bench
- Win32
-
-
- bench
- x64
-
commercial
Win32
@@ -33,38 +25,6 @@
Debug
x64
-
- external_64
- Win32
-
-
- external_64
- x64
-
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
external
Win32
@@ -73,46 +33,6 @@
external
x64
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
-
- ReleaseD
- Win32
-
-
- ReleaseD
- x64
-
release_mt
Win32
@@ -121,14 +41,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -137,14 +49,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
Trace
Win32
@@ -160,59 +64,6 @@
Win32Proj
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -228,11 +79,6 @@
Unicode
true
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -252,49 +98,6 @@
Application
Unicode
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
-
Application
Unicode
@@ -308,11 +111,6 @@
Application
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -335,39 +133,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -377,9 +142,6 @@
-
-
-
@@ -392,39 +154,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -434,9 +163,6 @@
-
-
-
@@ -476,12 +202,6 @@
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
$(SolutionDir)$(Configuration)\
$(Configuration)\
false
@@ -497,68 +217,6 @@
$(Platform)\$(Configuration)\
false
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -571,30 +229,6 @@
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
@@ -607,60 +241,18 @@
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -670,40 +262,16 @@
z3
z3
z3
- z3
z3
- z3
- z3
- z3
- z3
z3
z3
- z3
- z3
- z3
- z3
- z3
z3
- z3
- z3
z3
- z3
z3
- z3
- z3
- z3
- z3
z3
z3
- z3
- z3
- z3
- z3
- z3
z3
- z3
z3
- z3
z3
@@ -915,74 +483,6 @@
$(OutDir)z3shell.lib
-
-
- Full
- true
- Speed
- true
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
-
-
- MultiThreadedDLL
- false
- StreamingSIMDExtensions2
- Fast
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- Full
- true
- Speed
- true
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
-
-
- MultiThreadedDLL
- false
- StreamingSIMDExtensions2
- Fast
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
false
@@ -1068,7 +568,7 @@
false
..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
+ _AMD64_;WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
MultiThreadedDLL
@@ -1113,495 +613,6 @@
$(OutDir)z3shell.lib
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;Z3DEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_CONSOLE;_TRACE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Lib\i386;%(AdditionalLibraryDirectories)
- %(DelayLoadDLLs)
- true
- Console
- 8388608
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;Z3DEBUG;_DEBUG;_CONSOLE;_Z3_BUILD_PARALLEL_SMT;_TRACE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- true
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- %(AdditionalLibraryDirectories)
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;msmpi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Lib\i386;%(AdditionalLibraryDirectories)
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- ..\lib;C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_LIB;_WINDOWS;_AMD64_;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- psapi.lib;msmpi.lib;%(AdditionalDependencies)
- $(OutDir)z3shell.lib
-
-
-
-
- Disabled
- ..\lib;C:\Program Files\Microsoft HPC Pack 2008 SDK\Include;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_CONSOLE;_TRACE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_Z3_BUILD_PARALLEL_MPI;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- EditAndContinue
-
-
- psapi.lib;msmpi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Lib\i386;%(AdditionalLibraryDirectories)
- %(DelayLoadDLLs)
- true
- Console
- 8388608
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;SMTCOMP;%(PreprocessorDefinitions)
- MultiThreadedDLL
- false
-
-
- Level4
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;ASYNC_COMMANDS;%(PreprocessorDefinitions)
- MultiThreaded
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 33554432
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreaded
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- true
- Console
- 8388608
- true
- true
- MachineX64
- $(OutDir)z3shell.lib
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_EXTERNAL_RELEASE;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- %(AdditionalLibraryDirectories)
- true
- Console
- 8388608
- true
- true
- false
-
-
- MachineX86
- $(OutDir)z3shell.lib
- $(OutDir)z3shell.lib
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;_EXTERNAL_RELEASE;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- $(OutDir)z3.exe
- MachineX64
- $(OutDir)z3shell.lib
-
-
diff --git a/test/test.vcxproj b/test/test.vcxproj
index ea2ce4e97..8ba191476 100644
--- a/test/test.vcxproj
+++ b/test/test.vcxproj
@@ -1,22 +1,6 @@
-
+
-
- bench
- Win32
-
-
- bench
- x64
-
-
- commercial_64
- Win32
-
-
- commercial_64
- x64
-
commercial
Win32
@@ -25,14 +9,6 @@
commercial
x64
-
- debug_opt
- Win32
-
-
- debug_opt
- x64
-
Debug
Win32
@@ -41,38 +17,6 @@
Debug
x64
-
- external_64
- Win32
-
-
- external_64
- x64
-
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
external
Win32
@@ -81,46 +25,6 @@
external
x64
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
-
- ReleaseD
- Win32
-
-
- ReleaseD
- x64
-
release_mt
Win32
@@ -129,14 +33,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -145,14 +41,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
Trace
Win32
@@ -168,69 +56,6 @@
Win32Proj
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -246,11 +71,6 @@
Unicode
true
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -265,59 +85,6 @@
Application
Unicode
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
-
Application
Unicode
@@ -331,11 +98,6 @@
Application
-
- Application
- Unicode
- true
-
Application
Unicode
@@ -353,45 +115,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -401,9 +124,6 @@
-
-
-
@@ -413,45 +133,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -461,9 +142,6 @@
-
-
-
@@ -494,12 +172,6 @@
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
$(SolutionDir)$(Configuration)\
$(Configuration)\
false
@@ -515,116 +187,12 @@
$(Platform)\$(Configuration)\
false
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
-
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
-
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(Configuration)\
- false
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
- AllRules.ruleset
-
-
-
-
- AllRules.ruleset
- AllRules.ruleset
-
-
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
@@ -637,60 +205,18 @@
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
@@ -838,48 +364,6 @@
MachineX64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
false
@@ -953,7 +437,7 @@
false
..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
+ _AMD64_;WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
MultiThreadedDLL
@@ -990,472 +474,6 @@
MachineX64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;Z3DEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;Z3DEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_CONSOLE;_TRACE;_WINDOWS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
- true
-
-
- Level3
- EditAndContinue
-
-
- /debug /debugtype:cv,fixup %(AdditionalOptions)
- $(OutDir)test.exe
- C:\Program Files\Microsoft HPC Pack 2008 SDK\Lib\i386;%(AdditionalLibraryDirectories)
- true
- Console
- false
-
-
- MachineX86
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;ASYNC_COMMANDS;_Z3_BUILD_PARALLEL_SMT;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- psapi.lib;%(AdditionalDependencies)
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_DEBUG;Z3DEBUG;_CONSOLE;_TRACE;_WINDOWS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
-
-
- Level3
- EditAndContinue
-
-
- /debug /debugtype:cv,fixup %(AdditionalOptions)
- $(OutDir)test.exe
- true
- Console
- false
-
-
- MachineX86
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreaded
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- false
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;NDEBUG;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
- true
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- MachineX64
-
-
-
-
- X64
-
-
- ..\lib
- WIN32;_DEBUG;Z3DEBUG;_CONSOLE;_TRACE;_WINDOWS;_AMD64_;%(PreprocessorDefinitions)
-
-
diff --git a/test_capi/test_capi.vcxproj b/test_capi/test_capi.vcxproj
index 2c0959beb..91121ab1e 100644
--- a/test_capi/test_capi.vcxproj
+++ b/test_capi/test_capi.vcxproj
@@ -1,14 +1,6 @@
-
- commercial_64
- Win32
-
-
- commercial_64
- x64
-
commercial
Win32
@@ -17,14 +9,6 @@
commercial
x64
-
- debug_opt
- Win32
-
-
- debug_opt
- x64
-
Debug
Win32
@@ -33,76 +17,12 @@
Debug
x64
-
- external_64
+
+ external
Win32
-
- external_64
- x64
-
-
- external_dbg
- Win32
-
-
- external_dbg
- x64
-
-
- external_parallel_x64
- Win32
-
-
- external_parallel_x64
- x64
-
-
- external_parallel
- Win32
-
-
- external_parallel
- x64
-
-
- mpi_debug
- Win32
-
-
- mpi_debug
- x64
-
-
- mpi_release
- Win32
-
-
- mpi_release
- x64
-
-
- parallel_debug
- Win32
-
-
- parallel_debug
- x64
-
-
- parallel_release
- Win32
-
-
- parallel_release
- x64
-
-
- ReleaseD
- Win32
-
-
- ReleaseD
+
+ external
x64
@@ -113,14 +33,6 @@
release_mt
x64
-
- release_static
- Win32
-
-
- release_static
- x64
-
Release
Win32
@@ -129,14 +41,6 @@
Release
x64
-
- smtcomp
- Win32
-
-
- smtcomp
- x64
-
{9E76526D-EDA2-4B88-9616-A8FC08F31071}
@@ -144,73 +48,16 @@
Win32Proj
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
Application
Unicode
true
+
+ Application
+ Unicode
+ true
+
Application
Unicode
@@ -225,65 +72,16 @@
Application
Unicode
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
- true
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
-
-
- Application
- Unicode
- true
-
-
- Application
- Unicode
-
-
- Application
- Unicode
- true
-
Application
Unicode
true
+
+ Application
+ Unicode
+ true
+
Application
Unicode
@@ -301,48 +99,12 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
@@ -352,48 +114,12 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
@@ -419,184 +145,53 @@
$(Platform)\$(Configuration)\
false
$(SolutionDir)$(Configuration)\
+ $(SolutionDir)$(Configuration)\
$(SolutionDir)$(Configuration)\
$(Configuration)\
+ $(Configuration)\
$(Configuration)\
false
+ false
false
$(SolutionDir)$(Platform)\$(Configuration)\
+ $(SolutionDir)$(Platform)\$(Configuration)\
$(SolutionDir)$(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
+ $(Platform)\$(Configuration)\
$(Platform)\$(Configuration)\
false
+ false
false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- true
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- $(Configuration)\
- false
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- false
- $(SolutionDir)$(Configuration)\
- $(Configuration)\
- false
- $(SolutionDir)$(Platform)\$(Configuration)\
- $(Platform)\$(Configuration)\
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
- AllRules.ruleset
-
-
-
-
- AllRules.ruleset
- AllRules.ruleset
-
-
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
AllRules.ruleset
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
AllRules.ruleset
+ AllRules.ruleset
AllRules.ruleset
+
+
AllRules.ruleset
+ AllRules.ruleset
AllRules.ruleset
+
+
- AllRules.ruleset
-
-
- AllRules.ruleset
-
-
@@ -711,6 +306,27 @@
MachineX86
+
+
+ ..\lib;%(AdditionalIncludeDirectories)
+ WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
+ MultiThreadedDLL
+
+
+ Level3
+ ProgramDatabase
+
+
+ true
+ Console
+ true
+ true
+ false
+
+
+ MachineX86
+
+
..\lib;%(AdditionalIncludeDirectories)
@@ -753,6 +369,27 @@
MachineX64
+
+
+ X64
+
+
+ ..\lib;%(AdditionalIncludeDirectories)
+ WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
+ MultiThreadedDLL
+
+
+ Level3
+ ProgramDatabase
+
+
+ true
+ Console
+ true
+ true
+ MachineX64
+
+
X64
@@ -774,459 +411,6 @@
MachineX64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;NDEBUG;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;NDEBUG;%(PreprocessorDefinitions)
- MultiThreadedDebugDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;Z3DEBUG;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDLL
-
-
- Level3
- EditAndContinue
-
-
- true
- Console
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;Z3DEBUG;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- MachineX64
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;Z3DEBUG;_WINDOWS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
-
-
- Level3
- EditAndContinue
-
-
- true
- Console
- false
-
-
- MachineX86
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- Disabled
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;Z3DEBUG;_WINDOWS;%(PreprocessorDefinitions)
- true
- EnableFastChecks
- MultiThreadedDebugDLL
-
-
- Level3
- EditAndContinue
-
-
- true
- Console
- false
-
-
- MachineX86
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- MachineX64
-
-
-
-
- ..\lib;%(AdditionalIncludeDirectories)
- WIN32;_CONSOLE;_WINDOWS;%(PreprocessorDefinitions)
- MultiThreadedDLL
-
-
- Level3
- ProgramDatabase
-
-
- true
- Console
- true
- true
- false
-
-
- MachineX86
-
-
-
-
- X64
-
-
- MachineX64
-
-
diff --git a/z3-prover.sln b/z3-prover.sln
deleted file mode 100644
index 48d2b1169..000000000
--- a/z3-prover.sln
+++ /dev/null
@@ -1,1331 +0,0 @@
-
-Microsoft Visual Studio Solution File, Format Version 11.00
-# Visual Studio 2010
-Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "build", "build", "{012E9D8D-46CF-4536-9F34-7260C08C1E3C}"
-EndProject
-Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "lib", "lib\lib.vcxproj", "{4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}"
-EndProject
-Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "shell", "shell\shell.vcxproj", "{BF547582-F16D-4BE5-B9AB-8B6A9364B447}"
-EndProject
-Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "test", "test\test.vcxproj", "{21A10ECD-32E2-4F27-A03D-81D855A048CC}"
-EndProject
-Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "test_capi", "test_capi\test_capi.vcxproj", "{9E76526D-EDA2-4B88-9616-A8FC08F31071}"
-EndProject
-Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "dll", "dll\dll.vcxproj", "{0BF8CB94-61C7-4545-AE55-C58D858AA8B6}"
-EndProject
-Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "Microsoft.Z3V3", "Microsoft.Z3V3\Microsoft.Z3V3.vcxproj", "{F008F2C4-D652-4A58-8DEF-DB83E2355454}"
- ProjectSection(ProjectDependencies) = postProject
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6} = {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}
- EndProjectSection
-EndProject
-Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "maxsat", "maxsat\maxsat.vcxproj", "{7C154132-AAAB-4F60-B652-F8C51A63D244}"
- ProjectSection(ProjectDependencies) = postProject
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E} = {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6} = {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}
- EndProjectSection
-EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Microsoft.Z3", "Microsoft.Z3\Microsoft.Z3.csproj", "{EC3DB697-B734-42F7-9468-5B62821EEB5A}"
- ProjectSection(ProjectDependencies) = postProject
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6} = {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}
- EndProjectSection
-EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "test_managed", "test_managed\test_managed.csproj", "{B408E4BF-338D-446D-8D28-0DAB9BE91182}"
-EndProject
-Global
- GlobalSection(SolutionConfigurationPlatforms) = preSolution
- commercial|Any CPU = commercial|Any CPU
- commercial|Mixed Platforms = commercial|Mixed Platforms
- commercial|Win32 = commercial|Win32
- commercial|x64 = commercial|x64
- commercial|x86 = commercial|x86
- debug_opt|Any CPU = debug_opt|Any CPU
- debug_opt|Mixed Platforms = debug_opt|Mixed Platforms
- debug_opt|Win32 = debug_opt|Win32
- debug_opt|x64 = debug_opt|x64
- debug_opt|x86 = debug_opt|x86
- Debug|Any CPU = Debug|Any CPU
- Debug|Mixed Platforms = Debug|Mixed Platforms
- Debug|Win32 = Debug|Win32
- Debug|x64 = Debug|x64
- Debug|x86 = Debug|x86
- external_64|Any CPU = external_64|Any CPU
- external_64|Mixed Platforms = external_64|Mixed Platforms
- external_64|Win32 = external_64|Win32
- external_64|x64 = external_64|x64
- external_64|x86 = external_64|x86
- external_dbg|Any CPU = external_dbg|Any CPU
- external_dbg|Mixed Platforms = external_dbg|Mixed Platforms
- external_dbg|Win32 = external_dbg|Win32
- external_dbg|x64 = external_dbg|x64
- external_dbg|x86 = external_dbg|x86
- external_parallel|Any CPU = external_parallel|Any CPU
- external_parallel|Mixed Platforms = external_parallel|Mixed Platforms
- external_parallel|Win32 = external_parallel|Win32
- external_parallel|x64 = external_parallel|x64
- external_parallel|x86 = external_parallel|x86
- external|Any CPU = external|Any CPU
- external|Mixed Platforms = external|Mixed Platforms
- external|Win32 = external|Win32
- external|x64 = external|x64
- external|x86 = external|x86
- mpi_debug|Any CPU = mpi_debug|Any CPU
- mpi_debug|Mixed Platforms = mpi_debug|Mixed Platforms
- mpi_debug|Win32 = mpi_debug|Win32
- mpi_debug|x64 = mpi_debug|x64
- mpi_debug|x86 = mpi_debug|x86
- mpi_release|Any CPU = mpi_release|Any CPU
- mpi_release|Mixed Platforms = mpi_release|Mixed Platforms
- mpi_release|Win32 = mpi_release|Win32
- mpi_release|x64 = mpi_release|x64
- mpi_release|x86 = mpi_release|x86
- parallel_debug|Any CPU = parallel_debug|Any CPU
- parallel_debug|Mixed Platforms = parallel_debug|Mixed Platforms
- parallel_debug|Win32 = parallel_debug|Win32
- parallel_debug|x64 = parallel_debug|x64
- parallel_debug|x86 = parallel_debug|x86
- parallel_release|Any CPU = parallel_release|Any CPU
- parallel_release|Mixed Platforms = parallel_release|Mixed Platforms
- parallel_release|Win32 = parallel_release|Win32
- parallel_release|x64 = parallel_release|x64
- parallel_release|x86 = parallel_release|x86
- Release_delaysign|Any CPU = Release_delaysign|Any CPU
- Release_delaysign|Mixed Platforms = Release_delaysign|Mixed Platforms
- Release_delaysign|Win32 = Release_delaysign|Win32
- Release_delaysign|x64 = Release_delaysign|x64
- Release_delaysign|x86 = Release_delaysign|x86
- release_mt|Any CPU = release_mt|Any CPU
- release_mt|Mixed Platforms = release_mt|Mixed Platforms
- release_mt|Win32 = release_mt|Win32
- release_mt|x64 = release_mt|x64
- release_mt|x86 = release_mt|x86
- release_static|Any CPU = release_static|Any CPU
- release_static|Mixed Platforms = release_static|Mixed Platforms
- release_static|Win32 = release_static|Win32
- release_static|x64 = release_static|x64
- release_static|x86 = release_static|x86
- Release|Any CPU = Release|Any CPU
- Release|Mixed Platforms = Release|Mixed Platforms
- Release|Win32 = Release|Win32
- Release|x64 = Release|x64
- Release|x86 = Release|x86
- ReleaseD|Any CPU = ReleaseD|Any CPU
- ReleaseD|Mixed Platforms = ReleaseD|Mixed Platforms
- ReleaseD|Win32 = ReleaseD|Win32
- ReleaseD|x64 = ReleaseD|x64
- ReleaseD|x86 = ReleaseD|x86
- ReleaseShellOnly|Any CPU = ReleaseShellOnly|Any CPU
- ReleaseShellOnly|Mixed Platforms = ReleaseShellOnly|Mixed Platforms
- ReleaseShellOnly|Win32 = ReleaseShellOnly|Win32
- ReleaseShellOnly|x64 = ReleaseShellOnly|x64
- ReleaseShellOnly|x86 = ReleaseShellOnly|x86
- Setup|Any CPU = Setup|Any CPU
- Setup|Mixed Platforms = Setup|Mixed Platforms
- Setup|Win32 = Setup|Win32
- Setup|x64 = Setup|x64
- Setup|x86 = Setup|x86
- Trace|Any CPU = Trace|Any CPU
- Trace|Mixed Platforms = Trace|Mixed Platforms
- Trace|Win32 = Trace|Win32
- Trace|x64 = Trace|x64
- Trace|x86 = Trace|x86
- EndGlobalSection
- GlobalSection(ProjectConfigurationPlatforms) = postSolution
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|Any CPU.ActiveCfg = commercial|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|Mixed Platforms.ActiveCfg = commercial|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|Mixed Platforms.Build.0 = commercial|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|Win32.ActiveCfg = commercial|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|Win32.Build.0 = commercial|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|x64.ActiveCfg = commercial|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|x64.Build.0 = commercial|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.commercial|x86.ActiveCfg = commercial|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|Any CPU.ActiveCfg = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|Mixed Platforms.ActiveCfg = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|Mixed Platforms.Build.0 = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|Win32.ActiveCfg = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|Win32.Build.0 = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|x64.ActiveCfg = debug_opt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.debug_opt|x86.ActiveCfg = debug_opt|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|Any CPU.ActiveCfg = Debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|Any CPU.Build.0 = Debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|Mixed Platforms.Build.0 = Debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|Win32.ActiveCfg = Debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|Win32.Build.0 = Debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x64.ActiveCfg = Debug|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x64.Build.0 = Debug|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x86.ActiveCfg = Debug|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|Any CPU.ActiveCfg = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|Mixed Platforms.ActiveCfg = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|Mixed Platforms.Build.0 = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|Win32.ActiveCfg = external_64|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|x64.ActiveCfg = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|x64.Build.0 = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_64|x86.ActiveCfg = external_64|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Any CPU.Build.0 = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Mixed Platforms.Build.0 = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|Win32.Build.0 = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_dbg|x86.ActiveCfg = external_dbg|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_parallel|Any CPU.ActiveCfg = external_parallel|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_parallel|Mixed Platforms.ActiveCfg = external_parallel|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_parallel|Mixed Platforms.Build.0 = external_parallel|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_parallel|Win32.ActiveCfg = external_parallel|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_parallel|Win32.Build.0 = external_parallel|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_parallel|x64.ActiveCfg = external_parallel|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_parallel|x64.Build.0 = external_parallel|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external_parallel|x86.ActiveCfg = external_parallel|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Any CPU.ActiveCfg = external|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Any CPU.Build.0 = external|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Mixed Platforms.ActiveCfg = external|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Mixed Platforms.Build.0 = external|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Win32.ActiveCfg = external|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Win32.Build.0 = external|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|x64.ActiveCfg = external|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|x86.ActiveCfg = external|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_debug|Any CPU.ActiveCfg = mpi_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_debug|Mixed Platforms.ActiveCfg = mpi_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_debug|Mixed Platforms.Build.0 = mpi_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_debug|Win32.ActiveCfg = mpi_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_debug|Win32.Build.0 = mpi_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_debug|x64.ActiveCfg = mpi_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_debug|x86.ActiveCfg = mpi_debug|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_release|Any CPU.ActiveCfg = mpi_release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_release|Mixed Platforms.ActiveCfg = mpi_release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_release|Mixed Platforms.Build.0 = mpi_release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_release|Win32.ActiveCfg = mpi_release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_release|Win32.Build.0 = mpi_release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_release|x64.ActiveCfg = mpi_release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_release|x64.Build.0 = mpi_release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.mpi_release|x86.ActiveCfg = mpi_release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_debug|Any CPU.ActiveCfg = parallel_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_debug|Mixed Platforms.ActiveCfg = parallel_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_debug|Mixed Platforms.Build.0 = parallel_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_debug|Win32.ActiveCfg = parallel_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_debug|Win32.Build.0 = parallel_debug|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_debug|x64.ActiveCfg = parallel_debug|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_debug|x64.Build.0 = parallel_debug|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_debug|x86.ActiveCfg = parallel_debug|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_release|Any CPU.ActiveCfg = parallel_release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_release|Mixed Platforms.ActiveCfg = parallel_release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_release|Mixed Platforms.Build.0 = parallel_release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_release|Win32.ActiveCfg = parallel_release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_release|Win32.Build.0 = parallel_release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_release|x64.ActiveCfg = parallel_release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_release|x64.Build.0 = parallel_release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.parallel_release|x86.ActiveCfg = parallel_release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|Any CPU.ActiveCfg = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|Mixed Platforms.Build.0 = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|Win32.ActiveCfg = release_static|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|x64.ActiveCfg = Release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|x64.Build.0 = Release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release_delaysign|x86.ActiveCfg = release_static|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|Any CPU.ActiveCfg = release_mt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|Any CPU.Build.0 = release_mt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|Mixed Platforms.Build.0 = release_mt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|Win32.ActiveCfg = release_mt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|Win32.Build.0 = release_mt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|x64.ActiveCfg = release_mt|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_mt|x86.ActiveCfg = release_mt|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_static|Any CPU.ActiveCfg = release_static|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_static|Mixed Platforms.ActiveCfg = release_static|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_static|Mixed Platforms.Build.0 = release_static|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_static|Win32.ActiveCfg = release_static|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_static|Win32.Build.0 = release_static|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_static|x64.ActiveCfg = release_static|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_static|x64.Build.0 = release_static|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.release_static|x86.ActiveCfg = release_static|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|Any CPU.ActiveCfg = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|Any CPU.Build.0 = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|Mixed Platforms.ActiveCfg = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|Mixed Platforms.Build.0 = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|Win32.ActiveCfg = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|Win32.Build.0 = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|x64.ActiveCfg = Release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|x64.Build.0 = Release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Release|x86.ActiveCfg = Release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseD|Any CPU.ActiveCfg = ReleaseD|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseD|Mixed Platforms.ActiveCfg = ReleaseD|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseD|Mixed Platforms.Build.0 = ReleaseD|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseD|Win32.ActiveCfg = ReleaseD|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseD|Win32.Build.0 = ReleaseD|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseD|x64.ActiveCfg = ReleaseD|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseD|x86.ActiveCfg = ReleaseD|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseShellOnly|Any CPU.ActiveCfg = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseShellOnly|Mixed Platforms.Build.0 = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseShellOnly|Win32.ActiveCfg = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseShellOnly|Win32.Build.0 = Release|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseShellOnly|x64.ActiveCfg = Release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseShellOnly|x64.Build.0 = Release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.ReleaseShellOnly|x86.ActiveCfg = Release|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|Win32.ActiveCfg = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|x64.ActiveCfg = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|x64.Build.0 = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Setup|x86.ActiveCfg = smtcomp|x64
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Trace|Any CPU.ActiveCfg = Trace|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Trace|Mixed Platforms.ActiveCfg = Trace|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Trace|Mixed Platforms.Build.0 = Trace|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Trace|Win32.ActiveCfg = Trace|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Trace|Win32.Build.0 = Trace|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Trace|x64.ActiveCfg = Trace|Win32
- {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Trace|x86.ActiveCfg = Trace|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|Any CPU.ActiveCfg = commercial|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|Mixed Platforms.ActiveCfg = commercial|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|Mixed Platforms.Build.0 = commercial|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|Win32.ActiveCfg = commercial|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|Win32.Build.0 = commercial|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|x64.ActiveCfg = commercial|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|x64.Build.0 = commercial|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.commercial|x86.ActiveCfg = commercial|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|Any CPU.ActiveCfg = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|Mixed Platforms.ActiveCfg = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|Mixed Platforms.Build.0 = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|Win32.ActiveCfg = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|Win32.Build.0 = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|x64.ActiveCfg = debug_opt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.debug_opt|x86.ActiveCfg = debug_opt|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|Any CPU.ActiveCfg = Debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|Any CPU.Build.0 = Debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|Mixed Platforms.Build.0 = Debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|Win32.ActiveCfg = Debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|Win32.Build.0 = Debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x64.ActiveCfg = Debug|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x64.Build.0 = Debug|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x86.ActiveCfg = Debug|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|Any CPU.ActiveCfg = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|Mixed Platforms.ActiveCfg = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|Mixed Platforms.Build.0 = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|Win32.ActiveCfg = external_64|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|x64.ActiveCfg = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|x64.Build.0 = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_64|x86.ActiveCfg = external_64|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|Mixed Platforms.Build.0 = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|Win32.Build.0 = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_dbg|x86.ActiveCfg = external_dbg|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_parallel|Any CPU.ActiveCfg = external_parallel|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_parallel|Mixed Platforms.ActiveCfg = external_parallel|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_parallel|Mixed Platforms.Build.0 = external_parallel|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_parallel|Win32.ActiveCfg = external_parallel|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_parallel|Win32.Build.0 = external_parallel|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_parallel|x64.ActiveCfg = external_parallel|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_parallel|x64.Build.0 = external_parallel|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external_parallel|x86.ActiveCfg = external_parallel|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Any CPU.ActiveCfg = external|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Any CPU.Build.0 = external|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Mixed Platforms.ActiveCfg = external|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Mixed Platforms.Build.0 = external|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Win32.ActiveCfg = external|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Win32.Build.0 = external|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|x64.ActiveCfg = external|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|x86.ActiveCfg = external|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_debug|Any CPU.ActiveCfg = mpi_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_debug|Mixed Platforms.ActiveCfg = mpi_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_debug|Mixed Platforms.Build.0 = mpi_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_debug|Win32.ActiveCfg = mpi_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_debug|Win32.Build.0 = mpi_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_debug|x64.ActiveCfg = mpi_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_debug|x86.ActiveCfg = mpi_debug|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_release|Any CPU.ActiveCfg = mpi_release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_release|Mixed Platforms.ActiveCfg = mpi_release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_release|Mixed Platforms.Build.0 = mpi_release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_release|Win32.ActiveCfg = mpi_release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_release|Win32.Build.0 = mpi_release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_release|x64.ActiveCfg = mpi_release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_release|x64.Build.0 = mpi_release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.mpi_release|x86.ActiveCfg = mpi_release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_debug|Any CPU.ActiveCfg = parallel_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_debug|Mixed Platforms.ActiveCfg = parallel_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_debug|Mixed Platforms.Build.0 = parallel_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_debug|Win32.ActiveCfg = parallel_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_debug|Win32.Build.0 = parallel_debug|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_debug|x64.ActiveCfg = parallel_debug|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_debug|x64.Build.0 = parallel_debug|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_debug|x86.ActiveCfg = parallel_debug|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_release|Any CPU.ActiveCfg = parallel_release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_release|Mixed Platforms.ActiveCfg = parallel_release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_release|Mixed Platforms.Build.0 = parallel_release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_release|Win32.ActiveCfg = parallel_release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_release|Win32.Build.0 = parallel_release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_release|x64.ActiveCfg = parallel_release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_release|x64.Build.0 = parallel_release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.parallel_release|x86.ActiveCfg = parallel_release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|Any CPU.ActiveCfg = release_static|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|Mixed Platforms.Build.0 = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|Win32.ActiveCfg = release_static|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|x64.ActiveCfg = Release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|x64.Build.0 = Release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release_delaysign|x86.ActiveCfg = release_static|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|Any CPU.ActiveCfg = release_mt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|Any CPU.Build.0 = release_mt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|Mixed Platforms.Build.0 = release_mt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|Win32.ActiveCfg = release_mt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|Win32.Build.0 = release_mt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|x64.ActiveCfg = release_mt|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_mt|x86.ActiveCfg = release_mt|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_static|Any CPU.ActiveCfg = release_static|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_static|Mixed Platforms.ActiveCfg = release_static|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_static|Mixed Platforms.Build.0 = release_static|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_static|Win32.ActiveCfg = release_static|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_static|Win32.Build.0 = release_static|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_static|x64.ActiveCfg = release_static|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_static|x64.Build.0 = release_static|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.release_static|x86.ActiveCfg = release_static|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|Any CPU.ActiveCfg = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|Any CPU.Build.0 = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|Mixed Platforms.ActiveCfg = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|Mixed Platforms.Build.0 = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|Win32.ActiveCfg = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|Win32.Build.0 = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|x64.ActiveCfg = Release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|x64.Build.0 = Release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Release|x86.ActiveCfg = Release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseD|Any CPU.ActiveCfg = ReleaseD|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseD|Mixed Platforms.ActiveCfg = ReleaseD|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseD|Mixed Platforms.Build.0 = ReleaseD|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseD|Win32.ActiveCfg = ReleaseD|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseD|Win32.Build.0 = ReleaseD|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseD|x64.ActiveCfg = ReleaseD|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseD|x86.ActiveCfg = ReleaseD|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseShellOnly|Any CPU.ActiveCfg = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseShellOnly|Mixed Platforms.Build.0 = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseShellOnly|Win32.ActiveCfg = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseShellOnly|Win32.Build.0 = Release|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseShellOnly|x64.ActiveCfg = Release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseShellOnly|x64.Build.0 = Release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.ReleaseShellOnly|x86.ActiveCfg = Release|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|Win32.ActiveCfg = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|x64.ActiveCfg = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|x64.Build.0 = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Setup|x86.ActiveCfg = smtcomp|x64
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Trace|Any CPU.ActiveCfg = Trace|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Trace|Mixed Platforms.ActiveCfg = Trace|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Trace|Mixed Platforms.Build.0 = Trace|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Trace|Win32.ActiveCfg = Trace|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Trace|Win32.Build.0 = Trace|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Trace|x64.ActiveCfg = Trace|Win32
- {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Trace|x86.ActiveCfg = Trace|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.commercial|Any CPU.ActiveCfg = commercial|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.commercial|Mixed Platforms.ActiveCfg = commercial|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.commercial|Win32.ActiveCfg = commercial|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.commercial|x64.ActiveCfg = commercial|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.commercial|x86.ActiveCfg = commercial|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|Any CPU.ActiveCfg = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|Mixed Platforms.ActiveCfg = debug_opt|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|Mixed Platforms.Build.0 = debug_opt|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|Win32.ActiveCfg = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|x64.ActiveCfg = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.debug_opt|x86.ActiveCfg = debug_opt|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|Any CPU.ActiveCfg = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|Any CPU.Build.0 = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|Mixed Platforms.Build.0 = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|Win32.ActiveCfg = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|Win32.Build.0 = Debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x64.ActiveCfg = Debug|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x64.Build.0 = Debug|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x86.ActiveCfg = Debug|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|Any CPU.ActiveCfg = external_64|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|Mixed Platforms.ActiveCfg = external_64|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|Mixed Platforms.Build.0 = external_64|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|Win32.ActiveCfg = external_64|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|x64.ActiveCfg = external_64|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_64|x86.ActiveCfg = external_64|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_dbg|x86.ActiveCfg = external_dbg|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_parallel|Any CPU.ActiveCfg = external_parallel|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_parallel|Mixed Platforms.ActiveCfg = external_parallel|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_parallel|Mixed Platforms.Build.0 = external_parallel|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_parallel|Win32.ActiveCfg = external_parallel|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_parallel|x64.ActiveCfg = external_parallel|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external_parallel|x86.ActiveCfg = external_parallel|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|Any CPU.ActiveCfg = external|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|Mixed Platforms.ActiveCfg = external|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|Win32.ActiveCfg = external|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|x64.ActiveCfg = external|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|x86.ActiveCfg = external|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.mpi_debug|Any CPU.ActiveCfg = mpi_debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.mpi_debug|Mixed Platforms.ActiveCfg = mpi_debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.mpi_debug|Win32.ActiveCfg = mpi_debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.mpi_debug|x64.ActiveCfg = mpi_debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.mpi_debug|x86.ActiveCfg = mpi_debug|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.mpi_release|Any CPU.ActiveCfg = mpi_release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.mpi_release|Mixed Platforms.ActiveCfg = mpi_release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.mpi_release|Win32.ActiveCfg = mpi_release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.mpi_release|x64.ActiveCfg = mpi_release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.mpi_release|x86.ActiveCfg = mpi_release|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_debug|Any CPU.ActiveCfg = parallel_debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_debug|Mixed Platforms.ActiveCfg = parallel_debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_debug|Mixed Platforms.Build.0 = parallel_debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_debug|Win32.ActiveCfg = parallel_debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_debug|Win32.Build.0 = parallel_debug|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_debug|x64.ActiveCfg = parallel_debug|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_debug|x64.Build.0 = parallel_debug|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_debug|x86.ActiveCfg = parallel_debug|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_release|Any CPU.ActiveCfg = parallel_release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_release|Mixed Platforms.ActiveCfg = parallel_release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_release|Mixed Platforms.Build.0 = parallel_release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_release|Win32.ActiveCfg = parallel_release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_release|Win32.Build.0 = parallel_release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_release|x64.ActiveCfg = parallel_release|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_release|x64.Build.0 = parallel_release|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.parallel_release|x86.ActiveCfg = parallel_release|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|Any CPU.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|Win32.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|x64.ActiveCfg = release_delaysign|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release_delaysign|x86.ActiveCfg = release_delaysign|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_mt|Any CPU.ActiveCfg = release_mt|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_mt|Win32.ActiveCfg = release_mt|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_mt|x64.ActiveCfg = release_mt|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_mt|x86.ActiveCfg = release_mt|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_static|Any CPU.ActiveCfg = release_static|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_static|Mixed Platforms.ActiveCfg = release_static|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_static|Win32.ActiveCfg = release_static|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_static|x64.ActiveCfg = release_static|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.release_static|x86.ActiveCfg = release_static|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|Any CPU.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|Mixed Platforms.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|Mixed Platforms.Build.0 = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|Win32.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|Win32.Build.0 = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|x64.ActiveCfg = Release|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|x64.Build.0 = Release|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Release|x86.ActiveCfg = Release|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseD|Any CPU.ActiveCfg = ReleaseD|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseD|Mixed Platforms.ActiveCfg = ReleaseD|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseD|Win32.ActiveCfg = ReleaseD|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseD|Win32.Build.0 = ReleaseD|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseD|x64.ActiveCfg = ReleaseD|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseD|x86.ActiveCfg = ReleaseD|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseShellOnly|Any CPU.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseShellOnly|Win32.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseShellOnly|Win32.Build.0 = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseShellOnly|x64.ActiveCfg = Release|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.ReleaseShellOnly|x86.ActiveCfg = Release|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|Win32.ActiveCfg = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|x64.ActiveCfg = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|x64.Build.0 = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Setup|x86.ActiveCfg = smtcomp|x64
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Trace|Any CPU.ActiveCfg = Trace|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Trace|Mixed Platforms.ActiveCfg = Trace|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Trace|Mixed Platforms.Build.0 = Trace|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Trace|Win32.ActiveCfg = Trace|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Trace|Win32.Build.0 = Trace|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Trace|x64.ActiveCfg = Trace|Win32
- {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Trace|x86.ActiveCfg = Trace|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.commercial|Any CPU.ActiveCfg = commercial|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.commercial|Mixed Platforms.ActiveCfg = commercial|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.commercial|Win32.ActiveCfg = commercial|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.commercial|x64.ActiveCfg = commercial|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.commercial|x86.ActiveCfg = commercial|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|Any CPU.ActiveCfg = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|Mixed Platforms.ActiveCfg = debug_opt|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|Win32.ActiveCfg = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|Win32.Build.0 = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|x64.ActiveCfg = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.debug_opt|x86.ActiveCfg = debug_opt|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|Any CPU.ActiveCfg = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|Mixed Platforms.Build.0 = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|Win32.ActiveCfg = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|Win32.Build.0 = Debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x64.ActiveCfg = Debug|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x64.Build.0 = Debug|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x86.ActiveCfg = Debug|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|Any CPU.ActiveCfg = external_64|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|Mixed Platforms.ActiveCfg = external_64|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|Mixed Platforms.Build.0 = external_64|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|Win32.ActiveCfg = external_64|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|x64.ActiveCfg = external_64|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_64|x86.ActiveCfg = external_64|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|Win32.Build.0 = external_dbg|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_dbg|x86.ActiveCfg = external_dbg|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_parallel|Any CPU.ActiveCfg = external_parallel|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_parallel|Mixed Platforms.ActiveCfg = external_parallel|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_parallel|Mixed Platforms.Build.0 = external_parallel|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_parallel|Win32.ActiveCfg = external_parallel|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_parallel|x64.ActiveCfg = external_parallel|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external_parallel|x86.ActiveCfg = external_parallel|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Any CPU.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Mixed Platforms.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Win32.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|x64.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|x86.ActiveCfg = external_parallel|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.mpi_debug|Any CPU.ActiveCfg = mpi_debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.mpi_debug|Mixed Platforms.ActiveCfg = mpi_debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.mpi_debug|Win32.ActiveCfg = mpi_debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.mpi_debug|x64.ActiveCfg = mpi_debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.mpi_debug|x86.ActiveCfg = mpi_debug|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.mpi_release|Any CPU.ActiveCfg = mpi_release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.mpi_release|Mixed Platforms.ActiveCfg = mpi_release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.mpi_release|Win32.ActiveCfg = mpi_release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.mpi_release|x64.ActiveCfg = mpi_release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.mpi_release|x86.ActiveCfg = mpi_release|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_debug|Any CPU.ActiveCfg = parallel_debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_debug|Mixed Platforms.ActiveCfg = parallel_debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_debug|Win32.ActiveCfg = parallel_debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_debug|Win32.Build.0 = parallel_debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_debug|x64.ActiveCfg = parallel_debug|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_debug|x86.ActiveCfg = parallel_debug|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_release|Any CPU.ActiveCfg = parallel_release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_release|Mixed Platforms.ActiveCfg = parallel_release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_release|Win32.ActiveCfg = parallel_release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_release|x64.ActiveCfg = parallel_release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.parallel_release|x86.ActiveCfg = parallel_release|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|Any CPU.ActiveCfg = release_static|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|Win32.ActiveCfg = release_static|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|x64.ActiveCfg = release_static|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release_delaysign|x86.ActiveCfg = release_static|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_mt|Any CPU.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_mt|Win32.ActiveCfg = release_mt|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_mt|x64.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_mt|x86.ActiveCfg = release_mt|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_static|Any CPU.ActiveCfg = release_static|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_static|Mixed Platforms.ActiveCfg = release_static|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_static|Win32.ActiveCfg = release_static|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_static|x64.ActiveCfg = release_static|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.release_static|x86.ActiveCfg = release_static|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Any CPU.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Mixed Platforms.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Mixed Platforms.Build.0 = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Win32.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Win32.Build.0 = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|x64.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|x86.ActiveCfg = Release|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseD|Any CPU.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseD|Mixed Platforms.ActiveCfg = ReleaseD|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseD|Win32.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseD|Win32.Build.0 = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseD|x64.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseD|x86.ActiveCfg = ReleaseD|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseShellOnly|Any CPU.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseShellOnly|Win32.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseShellOnly|Win32.Build.0 = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseShellOnly|x64.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseShellOnly|x86.ActiveCfg = Release|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Win32.ActiveCfg = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x64.ActiveCfg = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x64.Build.0 = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x86.ActiveCfg = smtcomp|x64
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|Any CPU.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|Mixed Platforms.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|Win32.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|x64.ActiveCfg = Release|Win32
- {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|x86.ActiveCfg = commercial|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|Any CPU.ActiveCfg = commercial|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|Mixed Platforms.ActiveCfg = commercial|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|Mixed Platforms.Build.0 = commercial|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|Win32.ActiveCfg = commercial|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|Win32.Build.0 = commercial|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|x64.ActiveCfg = commercial|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|x64.Build.0 = commercial|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|x86.ActiveCfg = commercial|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|Any CPU.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|Mixed Platforms.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|Win32.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|Win32.Build.0 = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|x64.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.debug_opt|x86.ActiveCfg = Debug|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Any CPU.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Any CPU.Build.0 = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Mixed Platforms.Build.0 = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Win32.ActiveCfg = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Win32.Build.0 = Debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|x64.ActiveCfg = Debug|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|x64.Build.0 = Debug|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|x86.ActiveCfg = Debug|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|Any CPU.ActiveCfg = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|Mixed Platforms.ActiveCfg = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|Mixed Platforms.Build.0 = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|Win32.ActiveCfg = external_64|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|x64.ActiveCfg = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|x64.Build.0 = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_64|x86.ActiveCfg = external_64|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Any CPU.Build.0 = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Mixed Platforms.Build.0 = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|Win32.Build.0 = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_dbg|x86.ActiveCfg = external_dbg|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_parallel|Any CPU.ActiveCfg = external_parallel|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_parallel|Mixed Platforms.ActiveCfg = external_parallel|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_parallel|Mixed Platforms.Build.0 = external_parallel|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_parallel|Win32.ActiveCfg = external_parallel|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_parallel|Win32.Build.0 = external_parallel|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_parallel|x64.ActiveCfg = external_parallel|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_parallel|x64.Build.0 = external_parallel|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external_parallel|x86.ActiveCfg = external_parallel|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Any CPU.ActiveCfg = external|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Any CPU.Build.0 = external|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Mixed Platforms.ActiveCfg = external|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Mixed Platforms.Build.0 = external|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Win32.ActiveCfg = external|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Win32.Build.0 = external|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|x64.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|x86.ActiveCfg = external|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_debug|Any CPU.ActiveCfg = mpi_debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_debug|Mixed Platforms.ActiveCfg = mpi_debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_debug|Win32.ActiveCfg = mpi_debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_debug|x64.ActiveCfg = mpi_debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_debug|x86.ActiveCfg = mpi_debug|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_release|Any CPU.ActiveCfg = mpi_release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_release|Mixed Platforms.ActiveCfg = mpi_release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_release|Win32.ActiveCfg = mpi_release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_release|Win32.Build.0 = mpi_release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_release|x64.ActiveCfg = mpi_release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_release|x64.Build.0 = mpi_release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.mpi_release|x86.ActiveCfg = mpi_release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_debug|Any CPU.ActiveCfg = parallel_debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_debug|Mixed Platforms.ActiveCfg = parallel_debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_debug|Win32.ActiveCfg = parallel_debug|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_debug|x64.ActiveCfg = parallel_debug|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_debug|x64.Build.0 = parallel_debug|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_debug|x86.ActiveCfg = parallel_debug|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_release|Any CPU.ActiveCfg = parallel_release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_release|Mixed Platforms.ActiveCfg = parallel_release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_release|Win32.ActiveCfg = parallel_release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_release|Win32.Build.0 = parallel_release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_release|x64.ActiveCfg = parallel_release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_release|x64.Build.0 = parallel_release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.parallel_release|x86.ActiveCfg = parallel_release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|Any CPU.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|Win32.ActiveCfg = release_static|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|x64.ActiveCfg = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|x64.Build.0 = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|x86.ActiveCfg = release_static|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Any CPU.ActiveCfg = release_mt|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Any CPU.Build.0 = release_mt|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Mixed Platforms.Build.0 = release_mt|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Win32.ActiveCfg = release_mt|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Win32.Build.0 = release_mt|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|x64.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|x86.ActiveCfg = release_mt|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_static|Any CPU.ActiveCfg = release_static|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_static|Mixed Platforms.ActiveCfg = release_static|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_static|Mixed Platforms.Build.0 = release_static|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_static|Win32.ActiveCfg = release_static|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_static|Win32.Build.0 = release_static|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_static|x64.ActiveCfg = release_static|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_static|x64.Build.0 = release_static|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_static|x86.ActiveCfg = release_static|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|Any CPU.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|Any CPU.Build.0 = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|Mixed Platforms.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|Mixed Platforms.Build.0 = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|Win32.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|Win32.Build.0 = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|x64.ActiveCfg = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|x64.Build.0 = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|x86.ActiveCfg = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseD|Any CPU.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseD|Mixed Platforms.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseD|Win32.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseD|Win32.Build.0 = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseD|x64.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseD|x86.ActiveCfg = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseShellOnly|Any CPU.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseShellOnly|Win32.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseShellOnly|x64.ActiveCfg = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseShellOnly|x64.Build.0 = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.ReleaseShellOnly|x86.ActiveCfg = Release|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Win32.ActiveCfg = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x64.ActiveCfg = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x64.Build.0 = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x86.ActiveCfg = smtcomp|x64
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|Any CPU.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|Mixed Platforms.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|Win32.ActiveCfg = trace|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|Win32.Build.0 = trace|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|x64.ActiveCfg = Release|Win32
- {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|x86.ActiveCfg = trace|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|Any CPU.ActiveCfg = commercial|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|Mixed Platforms.ActiveCfg = commercial|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|Mixed Platforms.Build.0 = commercial|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|Win32.ActiveCfg = commercial|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|Win32.Build.0 = commercial|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|x64.ActiveCfg = commercial|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|x64.Build.0 = commercial|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|x86.ActiveCfg = commercial|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|Any CPU.ActiveCfg = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|Mixed Platforms.ActiveCfg = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|Mixed Platforms.Build.0 = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|Win32.ActiveCfg = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|Win32.Build.0 = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|x64.ActiveCfg = debug_opt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.debug_opt|x86.ActiveCfg = debug_opt|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Any CPU.ActiveCfg = Debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Any CPU.Build.0 = Debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Mixed Platforms.Build.0 = Debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Win32.ActiveCfg = Debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Win32.Build.0 = Debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|x64.ActiveCfg = Debug|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|x64.Build.0 = Debug|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|x86.ActiveCfg = Debug|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|Any CPU.ActiveCfg = external_64|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|Mixed Platforms.ActiveCfg = external_64|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|Mixed Platforms.Build.0 = external_64|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|Win32.ActiveCfg = external_64|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|Win32.Build.0 = external_64|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|x64.ActiveCfg = external_64|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|x64.Build.0 = external_64|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_64|x86.ActiveCfg = external_64|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|Any CPU.ActiveCfg = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|Mixed Platforms.ActiveCfg = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|Mixed Platforms.Build.0 = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|Win32.ActiveCfg = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|Win32.Build.0 = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|x64.ActiveCfg = external_dbg|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_dbg|x86.ActiveCfg = external_dbg|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_parallel|Any CPU.ActiveCfg = external_parallel|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_parallel|Mixed Platforms.ActiveCfg = external_parallel|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_parallel|Mixed Platforms.Build.0 = external_parallel|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_parallel|Win32.ActiveCfg = external_parallel|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_parallel|Win32.Build.0 = external_parallel|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_parallel|x64.ActiveCfg = external_parallel|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_parallel|x64.Build.0 = external_parallel|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external_parallel|x86.ActiveCfg = external_parallel|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Any CPU.ActiveCfg = external|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Any CPU.Build.0 = external|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Mixed Platforms.ActiveCfg = external|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Mixed Platforms.Build.0 = external|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Win32.ActiveCfg = external|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Win32.Build.0 = external|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|x64.ActiveCfg = external|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|x86.ActiveCfg = external|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_debug|Any CPU.ActiveCfg = mpi_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_debug|Mixed Platforms.ActiveCfg = mpi_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_debug|Mixed Platforms.Build.0 = mpi_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_debug|Win32.ActiveCfg = mpi_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_debug|Win32.Build.0 = mpi_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_debug|x64.ActiveCfg = mpi_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_debug|x86.ActiveCfg = mpi_debug|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_release|Any CPU.ActiveCfg = mpi_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_release|Mixed Platforms.ActiveCfg = mpi_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_release|Mixed Platforms.Build.0 = mpi_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_release|Win32.ActiveCfg = mpi_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_release|Win32.Build.0 = mpi_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_release|x64.ActiveCfg = mpi_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.mpi_release|x86.ActiveCfg = mpi_release|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_debug|Any CPU.ActiveCfg = parallel_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_debug|Mixed Platforms.ActiveCfg = parallel_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_debug|Mixed Platforms.Build.0 = parallel_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_debug|Win32.ActiveCfg = parallel_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_debug|Win32.Build.0 = parallel_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_debug|x64.ActiveCfg = parallel_debug|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_debug|x86.ActiveCfg = parallel_debug|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_release|Any CPU.ActiveCfg = parallel_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_release|Mixed Platforms.ActiveCfg = parallel_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_release|Mixed Platforms.Build.0 = parallel_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_release|Win32.ActiveCfg = parallel_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_release|Win32.Build.0 = parallel_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_release|x64.ActiveCfg = parallel_release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.parallel_release|x86.ActiveCfg = parallel_release|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Any CPU.ActiveCfg = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Mixed Platforms.ActiveCfg = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Mixed Platforms.Build.0 = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Win32.ActiveCfg = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x64.ActiveCfg = Release_delaysign|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x64.Build.0 = Release_delaysign|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x86.ActiveCfg = Release_delaysign|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|Any CPU.ActiveCfg = release_mt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|Mixed Platforms.ActiveCfg = release_mt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|Win32.ActiveCfg = release_mt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|x64.ActiveCfg = release_mt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|x64.Build.0 = release_mt|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|x86.ActiveCfg = release_mt|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_static|Any CPU.ActiveCfg = release_static|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_static|Mixed Platforms.ActiveCfg = release_static|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_static|Mixed Platforms.Build.0 = release_static|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_static|Win32.ActiveCfg = release_static|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_static|Win32.Build.0 = release_static|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_static|x64.ActiveCfg = release_static|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_static|x86.ActiveCfg = release_static|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|Any CPU.ActiveCfg = Release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|Any CPU.Build.0 = Release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|Mixed Platforms.ActiveCfg = Release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|Mixed Platforms.Build.0 = Release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|Win32.ActiveCfg = Release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|Win32.Build.0 = Release|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|x64.ActiveCfg = Release|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|x64.Build.0 = Release|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|x86.ActiveCfg = Release|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseD|Any CPU.ActiveCfg = ReleaseD|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseD|Mixed Platforms.ActiveCfg = ReleaseD|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseD|Mixed Platforms.Build.0 = ReleaseD|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseD|Win32.ActiveCfg = ReleaseD|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseD|Win32.Build.0 = ReleaseD|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseD|x64.ActiveCfg = ReleaseD|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseD|x86.ActiveCfg = ReleaseD|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseShellOnly|Any CPU.ActiveCfg = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseShellOnly|Mixed Platforms.Build.0 = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseShellOnly|Win32.ActiveCfg = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseShellOnly|Win32.Build.0 = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseShellOnly|x64.ActiveCfg = Release_delaysign|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.ReleaseShellOnly|x86.ActiveCfg = Release|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Any CPU.ActiveCfg = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Mixed Platforms.ActiveCfg = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Mixed Platforms.Build.0 = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Win32.ActiveCfg = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x64.ActiveCfg = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x64.Build.0 = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x86.ActiveCfg = smtcomp|x64
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|Any CPU.ActiveCfg = Trace|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|Mixed Platforms.ActiveCfg = Trace|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|Win32.ActiveCfg = Trace|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|Win32.Build.0 = Trace|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|x64.ActiveCfg = Trace|Win32
- {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|x86.ActiveCfg = Trace|x64
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|Any CPU.ActiveCfg = commercial|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|Mixed Platforms.ActiveCfg = commercial|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|Win32.ActiveCfg = commercial|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|x64.ActiveCfg = commercial|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|x86.ActiveCfg = commercial|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|Any CPU.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|Mixed Platforms.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|Mixed Platforms.Build.0 = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|Win32.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|Win32.Build.0 = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|x64.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.debug_opt|x86.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Any CPU.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Any CPU.Build.0 = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Mixed Platforms.Build.0 = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Win32.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Win32.Build.0 = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|x64.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|x86.ActiveCfg = Debug|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_64|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_dbg|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_parallel|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_parallel|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_parallel|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_parallel|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_parallel|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_parallel|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external_parallel|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_debug|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_debug|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_debug|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_debug|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_debug|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_debug|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_debug|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_release|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_release|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_release|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_release|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_release|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_release|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.mpi_release|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_debug|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_debug|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_debug|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_debug|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_debug|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_debug|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_debug|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_release|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_release|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_release|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_release|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_release|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_release|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.parallel_release|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_mt|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_mt|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_mt|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_mt|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_mt|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_static|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_static|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_static|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_static|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_static|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_static|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_static|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseD|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseD|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseD|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseD|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseD|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseD|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseD|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseShellOnly|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseShellOnly|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseShellOnly|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseShellOnly|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseShellOnly|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.ReleaseShellOnly|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|x86.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|Any CPU.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|Mixed Platforms.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|Mixed Platforms.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|Win32.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|Win32.Build.0 = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|x64.ActiveCfg = Release|Win32
- {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|x86.ActiveCfg = Release|Win32
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|Any CPU.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|Any CPU.Build.0 = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|Mixed Platforms.Build.0 = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|Win32.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|x64.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.debug_opt|x86.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Win32.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Win32.Build.0 = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x64.ActiveCfg = Debug|x64
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x64.Build.0 = Debug|x64
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x86.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|x64.ActiveCfg = external_64|x64
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|x64.Build.0 = external_64|x64
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_64|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_dbg|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_parallel|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_parallel|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_parallel|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_parallel|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_parallel|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_parallel|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external_parallel|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Any CPU.ActiveCfg = external|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Any CPU.Build.0 = external|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Win32.ActiveCfg = external|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Win32.Build.0 = external|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_debug|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_debug|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_debug|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_debug|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_debug|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_debug|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_debug|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_release|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_release|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_release|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_release|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_release|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_release|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_debug|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_debug|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_debug|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_debug|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_debug|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_debug|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_debug|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_release|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_release|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_release|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_release|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_release|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.parallel_release|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|Win32.ActiveCfg = Release_delaysign|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_static|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_static|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_static|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_static|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_static|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_static|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_static|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Win32.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|x64.ActiveCfg = Release|x64
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|x64.Build.0 = Release|x64
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseD|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseD|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseD|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseD|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseD|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseD|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseD|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseShellOnly|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseShellOnly|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseShellOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseShellOnly|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseShellOnly|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.ReleaseShellOnly|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|Mixed Platforms.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|Mixed Platforms.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|Win32.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|x64.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|x86.ActiveCfg = Release|Any CPU
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Any CPU.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Mixed Platforms.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Mixed Platforms.Build.0 = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Win32.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|x64.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|x86.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|x86.Build.0 = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Any CPU.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Mixed Platforms.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Mixed Platforms.Build.0 = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Win32.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x64.ActiveCfg = Debug|x64
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x64.Build.0 = Debug|x64
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x86.ActiveCfg = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x86.Build.0 = Debug|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|x64.ActiveCfg = Release|x64
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|x64.Build.0 = Release|x64
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|x86.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|Any CPU.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|Mixed Platforms.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|Mixed Platforms.Build.0 = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|Win32.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|x64.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|x86.ActiveCfg = Release|x86
- {B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|x86.Build.0 = Release|x86
- EndGlobalSection
- GlobalSection(SolutionProperties) = preSolution
- HideSolutionNode = FALSE
- EndGlobalSection
-EndGlobal